Add exp exp x0 acos Pow acosh Add x0 5 Mul 4 atan Add x0 cot x4 
Add Mul exp exp x0 exp x0 Mul -1 Mul Mul Pow acosh Add x0 5 Add Mul 4 atan Add x0 cot x4 -1 Add Mul Mul 4 atan Add x0 cot x4 Pow Mul sqrt Add Add x0 5 -1 sqrt Add 1 Add x0 5 -1 Mul Mul acosh Add x0 5 log acosh Add x0 5 Mul 4 Pow Add 1 Mul Add x0 cot x4 Add x0 cot x4 -1 Pow sqrt Add 1 Mul -1 Mul Pow acosh Add x0 5 Mul 4 atan Add x0 cot x4 Pow acosh Add x0 5 Mul 4 atan Add x0 cot x4 -1 