atanh Pow Mul -3 Add cosh atanh x1 -1 Pow Pow x0 0.540302305868140 -3 
Mul Mul Pow Mul -3 Add cosh atanh x1 -1 Add Pow Pow x0 0.540302305868140 -3 -1 Mul Mul Mul -3 Add cosh atanh x1 -1 log Mul -3 Add cosh atanh x1 -1 Mul Pow Pow x0 0.540302305868140 4 Mul -3 Mul Pow x0 -0.459697694131860 0.540302305868140 Pow Add 1 Mul -1 Mul Pow Mul -3 Add cosh atanh x1 -1 Pow Pow x0 0.540302305868140 -3 Pow Mul -3 Add cosh atanh x1 -1 Pow Pow x0 0.540302305868140 -3 -1 