atanh Mul Add -3 Mul Pow 7.38905609893065 Add x1 asech x0 4 x5 
Mul Mul x5 Mul 4 Mul Pow 7.38905609893065 Add Add x1 asech x0 -1 Mul 9.38905609893065 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Add 1 Mul -1 Mul Mul Add -3 Mul Pow 7.38905609893065 Add x1 asech x0 4 x5 Mul Add -3 Mul Pow 7.38905609893065 Add x1 asech x0 4 x5 -1 