Pow x0 Add Pow Mul -3 x0 atan x5 tanh x0 
Mul Pow x0 Add Add Pow Mul -3 x0 atan x5 tanh x0 -1 Add Add Pow Mul -3 x0 atan x5 tanh x0 Mul Mul x0 log x0 Add Mul Pow Mul -3 x0 Add atan x5 -1 Mul atan x5 -3 Pow sech x0 2 