Pow x1 asec Mul sqrt x0 2 
Mul Pow x1 Add asec Mul sqrt x0 2 -1 Mul Mul x1 log x1 Mul Mul 2 Pow Mul 2 sqrt x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul sqrt x0 2 Mul sqrt x0 2 -1 Mul sqrt x0 2 Mul sqrt x0 2 -1 