Mul Mul x0 x7 sqrt Mul x0 Add pi Add acsch acos Pow atanh x6 5 E 
Add Mul sqrt Mul x0 Add pi Add acsch acos Pow atanh x6 5 E x7 Mul Mul x0 x7 Mul Pow Mul 2 sqrt Mul x0 Add pi Add acsch acos Pow atanh x6 5 E -1 Add pi Add acsch acos Pow atanh x6 5 E 