Mul Add log Pow x0 -0.339836909454122 Pow x4 acoth atan acosh x1 x0 
Add Mul x0 Mul Mul Pow x0 -1.33983690945412 -0.339836909454122 Pow Pow x0 -0.339836909454122 -1 Add log Pow x0 -0.339836909454122 Pow x4 acoth atan acosh x1 