Add 4 Mul -1 Pow atanh pi Mul x0 cosh Mul 0.0366189934736865 acosh x3 
Mul -1 Mul Pow atanh pi Add Mul x0 cosh Mul 0.0366189934736865 acosh x3 -1 Mul Mul atanh pi log atanh pi cosh Mul 0.0366189934736865 acosh x3 