Add Mul Add x0 Add E Pow acosh x2 cot x0 atanh Pow x7 x4 acosh Pow x0 x7 
Add Mul atanh Pow x7 x4 Add 1 Mul Pow acosh x2 Add cot x0 -1 Mul Mul acosh x2 log acosh x2 Mul -1 Pow csc x0 2 Mul Mul Pow x0 Add x7 -1 x7 Pow Mul sqrt Add Pow x0 x7 -1 sqrt Add 1 Pow x0 x7 -1 