Add Add Pow csc x2 x0 Mul Pow x0 acosh x1 atan x0 sin x7 
Add Mul Pow csc x2 Add x0 -1 Mul csc x2 log csc x2 Add Mul atan x0 Mul Pow x0 Add acosh x1 -1 acosh x1 Mul Pow x0 acosh x1 Pow Add 1 Mul x0 x0 -1 