Pow sech x7 Pow exp Add x5 x1 Pow Mul x5 atan x0 sech x5 
Mul Pow sech x7 Add Pow exp Add x5 x1 Pow Mul x5 atan x0 sech x5 -1 Mul Mul sech x7 log sech x7 Mul Pow exp Add x5 x1 Add Pow Mul x5 atan x0 sech x5 -1 Mul Mul exp Add x5 x1 log exp Add x5 x1 Mul Pow Mul x5 atan x0 Add sech x5 -1 Mul sech x5 Mul x5 Pow Add 1 Mul x0 x0 -1 