asech atanh Add Mul -4 x0 x2 
Mul Mul -4 Pow Add 1 Mul -1 Mul Add Mul -4 x0 x2 Add Mul -4 x0 x2 -1 Pow Mul Mul atanh Add Mul -4 x0 x2 atanh Add Mul -4 x0 x2 sqrt Add 1 Mul -1 Pow Mul atanh Add Mul -4 x0 x2 atanh Add Mul -4 x0 x2 -1 -1 