Mul pi exp Mul Pow acoth tan asinh x7 Add Mul Mul -2 x0 E 3 x0 
Mul pi Mul exp Mul Pow acoth tan asinh x7 Add Mul Mul -2 x0 E 3 x0 Add Mul x0 Mul Pow acoth tan asinh x7 Add Add Mul Mul -2 x0 E 3 -1 Mul Mul acoth tan asinh x7 log acoth tan asinh x7 Mul E -2 Pow acoth tan asinh x7 Add Mul Mul -2 x0 E 3 