Mul sqrt asin x0 Add Add E Mul Mul Pow x0 2 coth E atan Mul E 3 Mul x0 0.878564142905297 
Add Mul Add Add E Mul Mul Pow x0 2 coth E atan Mul E 3 Mul x0 0.878564142905297 Mul Pow Mul 2 sqrt asin x0 -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul sqrt asin x0 Add Mul atan Mul E 3 Mul coth E Mul x0 2 0.878564142905297 