acos sec Mul Pow Pow Pow pi -2 x0 x0 x0 
Mul -1 Mul Mul Mul tan Mul Pow Pow Pow pi -2 x0 x0 x0 sec Mul Pow Pow Pow pi -2 x0 x0 x0 Add Mul x0 Mul Pow Pow Pow pi -2 x0 Add x0 -1 Add Mul x0 Mul Pow Pow pi -2 Add x0 -1 Mul Pow pi -2 log Pow pi -2 Mul Pow Pow pi -2 x0 log Pow Pow pi -2 x0 Pow Pow Pow pi -2 x0 x0 Pow sqrt Add 1 Mul -1 Mul sec Mul Pow Pow Pow pi -2 x0 x0 x0 sec Mul Pow Pow Pow pi -2 x0 x0 x0 -1 