acot Pow acosh acos x4 Mul Add x4 x0 Mul Mul exp exp x1 -0.785398163397448 5 
Mul -1 Mul Mul Pow acosh acos x4 Add Mul Add x4 x0 Mul Mul exp exp x1 -0.785398163397448 5 -1 Mul Mul acosh acos x4 log acosh acos x4 Mul Mul exp exp x1 -0.785398163397448 5 Pow Add 1 Mul Pow acosh acos x4 Mul Add x4 x0 Mul Mul exp exp x1 -0.785398163397448 5 Pow acosh acos x4 Mul Add x4 x0 Mul Mul exp exp x1 -0.785398163397448 5 -1 