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