Pow Add acot x7 x0 Mul exp Add atan x2 acosh x5 Mul x6 Add Add x7 -5 x0 
Mul Pow Add acot x7 x0 Add Mul exp Add atan x2 acosh x5 Mul x6 Add Add x7 -5 x0 -1 Add Mul exp Add atan x2 acosh x5 Mul x6 Add Add x7 -5 x0 Mul Mul Add acot x7 x0 log Add acot x7 x0 Mul exp Add atan x2 acosh x5 x6 