Add Add Mul x2 x0 Add coth E Mul x0 Mul Mul x6 x0 acosh x5 Add x0 Pow Pow Add x0 E csc x0 x1 
Add Add x2 Add Mul Mul x6 x0 acosh x5 Mul x0 Mul acosh x5 x6 Add 1 Mul Pow Pow Add x0 E csc x0 Add x1 -1 Mul x1 Mul Pow Add x0 E Add csc x0 -1 Add csc x0 Mul Mul Add x0 E log Add x0 E Mul Mul -1 cot x0 csc x0 