Add Pow Mul Mul cot x0 Pow acosh x2 atan E Add 3 x0 x4 x0 
Add Mul Pow Mul Mul cot x0 Pow acosh x2 atan E Add 3 x0 Add x4 -1 Mul x4 Add Mul Add 3 x0 Mul Pow acosh x2 atan E Mul -1 Pow csc x0 2 Mul cot x0 Pow acosh x2 atan E 1 