sec Mul x0 sinh Mul sech x0 x0 
Mul Mul tan Mul x0 sinh Mul sech x0 x0 sec Mul x0 sinh Mul sech x0 x0 Add sinh Mul sech x0 x0 Mul x0 Mul cosh Mul sech x0 x0 Add Mul x0 Mul tanh x0 Mul -1 sech x0 sech x0 