sec Add 1 Pow cosh Add x5 Pow Add x0 x0 x0 exp Mul x4 tan Mul atanh x0 x5 
Mul Mul tan Add 1 Pow cosh Add x5 Pow Add x0 x0 x0 exp Mul x4 tan Mul atanh x0 x5 sec Add 1 Pow cosh Add x5 Pow Add x0 x0 x0 exp Mul x4 tan Mul atanh x0 x5 Mul Pow cosh Add x5 Pow Add x0 x0 x0 Add exp Mul x4 tan Mul atanh x0 x5 -1 Add Mul exp Mul x4 tan Mul atanh x0 x5 Mul sinh Add x5 Pow Add x0 x0 x0 Mul Pow Add x0 x0 Add x0 -1 Add Mul x0 2 Mul Add x0 x0 log Add x0 x0 Mul Mul cosh Add x5 Pow Add x0 x0 x0 log cosh Add x5 Pow Add x0 x0 x0 Mul exp Mul x4 tan Mul atanh x0 x5 Mul x4 Mul Pow sec Mul atanh x0 x5 2 Mul x5 Pow Add 1 Mul -1 Mul x0 x0 -1 