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