Mul Mul x0 Mul acot x0 Pow atanh x0 64 acsch coth csch Pow Add pi -5 -2 
Mul acsch coth csch Pow Add pi -5 -2 Add Mul acot x0 Pow atanh x0 64 Mul x0 Add Mul Pow atanh x0 64 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Mul Pow atanh x0 63 Mul 64 Pow Add 1 Mul -1 Mul x0 x0 -1 