Mul acosh csch Mul x4 Add -3 x0 atan Add x0 -1 
Add Mul atan Add x0 -1 Mul Mul Mul Mul -1 coth Mul x4 Add -3 x0 csch Mul x4 Add -3 x0 x4 Pow Mul sqrt Add csch Mul x4 Add -3 x0 -1 sqrt Add 1 csch Mul x4 Add -3 x0 -1 Mul acosh csch Mul x4 Add -3 x0 Pow Add 1 Mul Add x0 -1 Add x0 -1 -1 