Mul Mul x0 Add Mul Add x0 sech asech sqrt x0 x4 x6 atanh x7 
Mul atanh x7 Add Add Mul Add x0 sech asech sqrt x0 x4 x6 Mul x0 Mul x4 Add 1 Mul Mul tanh asech sqrt x0 Mul -1 sech asech sqrt x0 Mul Pow Mul 2 sqrt x0 -1 Pow Mul Mul sqrt x0 sqrt x0 sqrt Add 1 Mul -1 Pow Mul sqrt x0 sqrt x0 -1 -1 