Pow Pow x0 Mul asec x0 pi asinh x0 
Mul Pow Pow x0 Mul asec x0 pi Add asinh x0 -1 Add Mul asinh x0 Mul Pow x0 Add Mul asec x0 pi -1 Add Mul asec x0 pi Mul Mul x0 log x0 Mul pi Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul Mul Pow x0 Mul asec x0 pi log Pow x0 Mul asec x0 pi Pow sqrt Add 1 Mul x0 x0 -1 