Mul Pow sec Mul x0 x0 Add sinh Mul sech x0 sech x0 x0 sinh x6 
Mul sinh x6 Mul Pow sec Mul x0 x0 Add Add sinh Mul sech x0 sech x0 x0 -1 Add Mul Add sinh Mul sech x0 sech x0 x0 Mul Mul tan Mul x0 x0 sec Mul x0 x0 Add x0 x0 Mul Mul sec Mul x0 x0 log sec Mul x0 x0 Add Mul cosh Mul sech x0 sech x0 Add Mul sech x0 Mul tanh x0 Mul -1 sech x0 Mul sech x0 Mul tanh x0 Mul -1 sech x0 1 