Add Add Add sqrt x7 -1 -4 coth Pow Pow Pow Mul sqrt x0 exp x0 acot x0 pi cosh x0 
Mul Mul -1 Pow csch Pow Pow Pow Mul sqrt x0 exp x0 acot x0 pi cosh x0 2 Mul Pow Pow Pow Mul sqrt x0 exp x0 acot x0 pi Add cosh x0 -1 Add Mul cosh x0 Mul Pow Pow Mul sqrt x0 exp x0 acot x0 Add pi -1 Mul pi Mul Pow Mul sqrt x0 exp x0 Add acot x0 -1 Add Mul acot x0 Add Mul exp x0 Pow Mul 2 sqrt x0 -1 Mul sqrt x0 exp x0 Mul Mul Mul sqrt x0 exp x0 log Mul sqrt x0 exp x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul Pow Pow Mul sqrt x0 exp x0 acot x0 pi log Pow Pow Mul sqrt x0 exp x0 acot x0 pi sinh x0 