Mul sqrt Mul Mul Pow asech x0 x0 x2 Add sec Mul cosh exp Mul x0 x0 x0 log Mul x5 pi -3 
Mul -3 Mul Pow Mul 2 sqrt Mul Mul Pow asech x0 x0 x2 Add sec Mul cosh exp Mul x0 x0 x0 log Mul x5 pi -1 Add Mul Add sec Mul cosh exp Mul x0 x0 x0 log Mul x5 pi Mul x2 Mul Pow asech x0 Add x0 -1 Add Mul x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul asech x0 log asech x0 Mul Mul Pow asech x0 x0 x2 Mul Mul tan Mul cosh exp Mul x0 x0 x0 sec Mul cosh exp Mul x0 x0 x0 Add Mul x0 Mul sinh exp Mul x0 x0 Mul exp Mul x0 x0 Add x0 x0 cosh exp Mul x0 x0 