Mul Mul acoth sqrt x0 Mul Mul Pow x0 2 x4 348.567190113689 x0 
Add Mul x0 Add Mul Mul Mul Pow x0 2 x4 348.567190113689 Mul Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul -1 Mul sqrt x0 sqrt x0 -1 Mul acoth sqrt x0 Mul 348.567190113689 Mul x4 Mul x0 2 Mul acoth sqrt x0 Mul Mul Pow x0 2 x4 348.567190113689 