EquationSymbolicSolveRequest[List[Equal[Minus[μ,Sqrt[2]],Product[PI,a]]],List[μ]]Solution[{μ,ExpressionSetPoint[Sum[Product[PI,a],Sqrt[2]],False,ReservedReal]}]