Pow sech x0 Add 3 sec cosh Pow sec atan Add x0 x0 tanh log asinh x6 
Mul Pow sech x0 Add Add 3 sec cosh Pow sec atan Add x0 x0 tanh log asinh x6 -1 Add Mul Add 3 sec cosh Pow sec atan Add x0 x0 tanh log asinh x6 Mul tanh x0 Mul -1 sech x0 Mul Mul sech x0 log sech x0 Mul Mul tan cosh Pow sec atan Add x0 x0 tanh log asinh x6 sec cosh Pow sec atan Add x0 x0 tanh log asinh x6 Mul sinh Pow sec atan Add x0 x0 tanh log asinh x6 Mul Pow sec atan Add x0 x0 Add tanh log asinh x6 -1 Mul tanh log asinh x6 Mul Mul tan atan Add x0 x0 sec atan Add x0 x0 Mul 2 Pow Add 1 Mul Add x0 x0 Add x0 x0 -1 