atan Pow csch E Mul Pow sqrt exp x0 3 x1 
Mul Mul Pow csch E Add Mul Pow sqrt exp x0 3 x1 -1 Mul Mul csch E log csch E Mul x1 Mul Pow sqrt exp x0 2 Mul 3 Mul Pow Mul 2 sqrt exp x0 -1 exp x0 Pow Add 1 Mul Pow csch E Mul Pow sqrt exp x0 3 x1 Pow csch E Mul Pow sqrt exp x0 3 x1 -1 