atanh Pow Add Add x0 cosh x4 Mul x0 Pow Mul acoth Mul x0 Mul x0 E Pow -1 E x7 E 
Mul Mul Pow Add Add x0 cosh x4 Mul x0 Pow Mul acoth Mul x0 Mul x0 E Pow -1 E x7 Add E -1 Mul E Add 1 Add Pow Mul acoth Mul x0 Mul x0 E Pow -1 E x7 Mul x0 Mul Pow Mul acoth Mul x0 Mul x0 E Pow -1 E Add x7 -1 Mul x7 Mul Pow -1 E Mul Add Mul x0 E Mul x0 E Pow Add 1 Mul -1 Mul Mul x0 Mul x0 E Mul x0 Mul x0 E -1 Pow Add 1 Mul -1 Mul Pow Add Add x0 cosh x4 Mul x0 Pow Mul acoth Mul x0 Mul x0 E Pow -1 E x7 E Pow Add Add x0 cosh x4 Mul x0 Pow Mul acoth Mul x0 Mul x0 E Pow -1 E x7 E -1 