exp Pow x0 Mul sech Pow asech x4 x5 atan x0 
Mul exp Pow x0 Mul sech Pow asech x4 x5 atan x0 Mul Pow x0 Add Mul sech Pow asech x4 x5 atan x0 -1 Add Mul sech Pow asech x4 x5 atan x0 Mul Mul x0 log x0 Mul sech Pow asech x4 x5 Pow Add 1 Mul x0 x0 -1 