acosh Pow acsch Add -2 csc atan x4 atan x0 
Mul Mul Pow acsch Add -2 csc atan x4 Add atan x0 -1 Mul Mul acsch Add -2 csc atan x4 log acsch Add -2 csc atan x4 Pow Add 1 Mul x0 x0 -1 Pow Mul sqrt Add Pow acsch Add -2 csc atan x4 atan x0 -1 sqrt Add 1 Pow acsch Add -2 csc atan x4 atan x0 -1 