Add Pow Add Add x0 x7 Pow acosh cot x1 4 Mul E Add x0 sin x7 atan Add x1 x0 
Add Mul Pow Add Add x0 x7 Pow acosh cot x1 4 Add Mul E Add x0 sin x7 -1 Add Mul E Add x0 sin x7 Mul Mul Add Add x0 x7 Pow acosh cot x1 4 log Add Add x0 x7 Pow acosh cot x1 4 E Pow Add 1 Mul Add x1 x0 Add x1 x0 -1 