Pow Add x3 csch exp Mul x7 Mul x0 Pow acos Add 2 x7 Mul x7 exp E Add x0 x0 
Mul Pow Add x3 csch exp Mul x7 Mul x0 Pow acos Add 2 x7 Mul x7 exp E Add Add x0 x0 -1 Add Mul Add x0 x0 Mul Mul Mul -1 coth exp Mul x7 Mul x0 Pow acos Add 2 x7 Mul x7 exp E csch exp Mul x7 Mul x0 Pow acos Add 2 x7 Mul x7 exp E Mul exp Mul x7 Mul x0 Pow acos Add 2 x7 Mul x7 exp E Mul x7 Pow acos Add 2 x7 Mul x7 exp E Mul Mul Add x3 csch exp Mul x7 Mul x0 Pow acos Add 2 x7 Mul x7 exp E log Add x3 csch exp Mul x7 Mul x0 Pow acos Add 2 x7 Mul x7 exp E 2 