Mul Add Add cosh x0 Mul Add 3 Pow Mul atan Mul x0 x7 x0 Pow acoth cosh x0 2 Pow x0 E pi x0 
Add Mul x0 Add sinh x0 Add Mul Pow x0 E Mul Pow Mul atan Mul x0 x7 x0 Add Pow acoth cosh x0 2 -1 Add Mul Pow acoth cosh x0 2 Add Mul x0 Mul x7 Pow Add 1 Mul Mul x0 x7 Mul x0 x7 -1 atan Mul x0 x7 Mul Mul Mul atan Mul x0 x7 x0 log Mul atan Mul x0 x7 x0 Mul acoth cosh x0 Mul 2 Mul sinh x0 Pow Add 1 Mul -1 Mul cosh x0 cosh x0 -1 Mul Add 3 Pow Mul atan Mul x0 x7 x0 Pow acoth cosh x0 2 Mul Pow x0 Add E -1 E Add Add cosh x0 Mul Add 3 Pow Mul atan Mul x0 x7 x0 Pow acoth cosh x0 2 Pow x0 E pi 