Mul 4 Pow atanh asec Mul -2 sqrt x0 x0 
Mul 4 Mul Pow atanh asec Mul -2 sqrt x0 Add x0 -1 Add Mul x0 Mul Mul Mul -2 Pow Mul 2 sqrt x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul -2 sqrt x0 Mul -2 sqrt x0 -1 Mul -2 sqrt x0 Mul -2 sqrt x0 -1 Pow Add 1 Mul -1 Mul asec Mul -2 sqrt x0 asec Mul -2 sqrt x0 -1 Mul atanh asec Mul -2 sqrt x0 log atanh asec Mul -2 sqrt x0 