asin Pow sec Mul Mul -2 x0 2 x0 
Mul Mul Pow sec Mul Mul -2 x0 2 Add x0 -1 Mul sec Mul Mul -2 x0 2 log sec Mul Mul -2 x0 2 Pow sqrt Add 1 Mul -1 Mul Pow sec Mul Mul -2 x0 2 x0 Pow sec Mul Mul -2 x0 2 x0 -1 