Mul Mul sqrt Mul sec x0 csch E Pow acsch acoth Add 1 atan Mul x2 x0 x0 x0 
Add Mul x0 Add Mul Pow acsch acoth Add 1 atan Mul x2 x0 x0 Mul Pow Mul 2 sqrt Mul sec x0 csch E -1 Mul csch E Mul tan x0 sec x0 Mul sqrt Mul sec x0 csch E Mul Pow acsch acoth Add 1 atan Mul x2 x0 Add x0 -1 Add Mul x0 Mul Mul -1 Mul Mul x2 Pow Add 1 Mul Mul x2 x0 Mul x2 x0 -1 Pow Add 1 Mul -1 Mul Add 1 atan Mul x2 x0 Add 1 atan Mul x2 x0 -1 Pow Mul Mul acoth Add 1 atan Mul x2 x0 acoth Add 1 atan Mul x2 x0 sqrt Add 1 Mul -1 Pow Mul acoth Add 1 atan Mul x2 x0 acoth Add 1 atan Mul x2 x0 -1 -1 Mul acsch acoth Add 1 atan Mul x2 x0 log acsch acoth Add 1 atan Mul x2 x0 Mul sqrt Mul sec x0 csch E Pow acsch acoth Add 1 atan Mul x2 x0 x0 