tan Pow x0 Mul Add sech cosh x0 log x0 atan x3 
Mul Pow sec Pow x0 Mul Add sech cosh x0 log x0 atan x3 2 Mul Pow x0 Add Mul Add sech cosh x0 log x0 atan x3 -1 Add Mul Add sech cosh x0 log x0 atan x3 Mul Mul x0 log x0 Mul atan x3 Add Mul Mul tanh cosh x0 Mul -1 sech cosh x0 sinh x0 Pow x0 -1 