Pow acoth Add Mul E Pow x0 Pow 1.10714871779409 x7 4 atan Add x0 x0 
Mul Pow acoth Add Mul E Pow x0 Pow 1.10714871779409 x7 4 Add atan Add x0 x0 -1 Add Mul atan Add x0 x0 Mul Mul E Mul Pow x0 Add Pow 1.10714871779409 x7 -1 Pow 1.10714871779409 x7 Pow Add 1 Mul -1 Mul Add Mul E Pow x0 Pow 1.10714871779409 x7 4 Add Mul E Pow x0 Pow 1.10714871779409 x7 4 -1 Mul Mul acoth Add Mul E Pow x0 Pow 1.10714871779409 x7 4 log acoth Add Mul E Pow x0 Pow 1.10714871779409 x7 4 Mul 2 Pow Add 1 Mul Add x0 x0 Add x0 x0 -1 