Pow Mul Add Mul acosh cot exp x1 x0 x2 coth Mul -3 x0 x3 
Mul Pow Mul Add Mul acosh cot exp x1 x0 x2 coth Mul -3 x0 Add x3 -1 Mul x3 Add Mul coth Mul -3 x0 acosh cot exp x1 Mul Add Mul acosh cot exp x1 x0 x2 Mul Mul -1 Pow csch Mul -3 x0 2 -3 