Mul Pow Mul asec sinh sinh log x0 Mul x0 x7 5 pi 
Mul pi Mul Pow Mul asec sinh sinh log x0 Mul x0 x7 4 Mul 5 Add Mul Mul x0 x7 Mul Mul cosh sinh log x0 Mul cosh log x0 Pow x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul sinh sinh log x0 sinh sinh log x0 -1 sinh sinh log x0 sinh sinh log x0 -1 Mul asec sinh sinh log x0 x7 