Add acot Mul pi x0 Mul exp Mul cosh x6 acosh Add Add -1 Add x0 -0.756802495307928 5 Mul Add Add x0 -4 4 -3 
Add Mul -1 Mul pi Pow Add 1 Mul Mul pi x0 Mul pi x0 -1 Add Mul Mul Add Add x0 -4 4 -3 Mul exp Mul cosh x6 acosh Add Add -1 Add x0 -0.756802495307928 5 Mul cosh x6 Pow Mul sqrt Add Add Add -1 Add x0 -0.756802495307928 5 -1 sqrt Add 1 Add Add -1 Add x0 -0.756802495307928 5 -1 Mul exp Mul cosh x6 acosh Add Add -1 Add x0 -0.756802495307928 5 -3 