atanh asech Pow Mul x7 x0 Pow Mul Add x0 -2.25000000000000 x0 -3 
Mul Mul Mul Pow Mul x7 x0 Add Pow Mul Add x0 -2.25000000000000 x0 -3 -1 Add Mul Pow Mul Add x0 -2.25000000000000 x0 -3 x7 Mul Mul Mul x7 x0 log Mul x7 x0 Mul Pow Mul Add x0 -2.25000000000000 x0 4 Mul -3 Add x0 Add x0 -2.25000000000000 Pow Mul Mul Pow Mul x7 x0 Pow Mul Add x0 -2.25000000000000 x0 -3 Pow Mul x7 x0 Pow Mul Add x0 -2.25000000000000 x0 -3 sqrt Add 1 Mul -1 Pow Mul Pow Mul x7 x0 Pow Mul Add x0 -2.25000000000000 x0 -3 Pow Mul x7 x0 Pow Mul Add x0 -2.25000000000000 x0 -3 -1 -1 Pow Add 1 Mul -1 Mul asech Pow Mul x7 x0 Pow Mul Add x0 -2.25000000000000 x0 -3 asech Pow Mul x7 x0 Pow Mul Add x0 -2.25000000000000 x0 -3 -1 