sech Add 4 atanh Pow Mul x0 -2 sqrt x2 
Mul Mul tanh Add 4 atanh Pow Mul x0 -2 sqrt x2 Mul -1 sech Add 4 atanh Pow Mul x0 -2 sqrt x2 Mul Mul Pow Mul x0 -2 Add sqrt x2 -1 Mul sqrt x2 -2 Pow Add 1 Mul -1 Mul Pow Mul x0 -2 sqrt x2 Pow Mul x0 -2 sqrt x2 -1 