Mul asec sinh cosh Pow atanh x6 -0.250000000000000 asech atanh Mul Mul -3 x0 x5 
Mul asec sinh cosh Pow atanh x6 -0.250000000000000 Mul Mul Mul x5 -3 Pow Add 1 Mul -1 Mul Mul Mul -3 x0 x5 Mul Mul -3 x0 x5 -1 Pow Mul Mul atanh Mul Mul -3 x0 x5 atanh Mul Mul -3 x0 x5 sqrt Add 1 Mul -1 Pow Mul atanh Mul Mul -3 x0 x5 atanh Mul Mul -3 x0 x5 -1 -1 