Mul asec Mul Pow x0 x0 -0.653643620863612 sec Mul x0 acosh pi 
Add Mul sec Mul x0 acosh pi Mul Mul -0.653643620863612 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Pow x0 x0 -0.653643620863612 Mul Pow x0 x0 -0.653643620863612 -1 Mul Pow x0 x0 -0.653643620863612 Mul Pow x0 x0 -0.653643620863612 -1 Mul asec Mul Pow x0 x0 -0.653643620863612 Mul Mul tan Mul x0 acosh pi sec Mul x0 acosh pi acosh pi 