Mul Pow exp x0 atan Add Mul Add Mul x1 -4 sech E Mul -3 x0 Pow x0 Add x1 x0 -4 
Mul -4 Mul Pow exp x0 Add atan Add Mul Add Mul x1 -4 sech E Mul -3 x0 Pow x0 Add x1 x0 -1 Add Mul atan Add Mul Add Mul x1 -4 sech E Mul -3 x0 Pow x0 Add x1 x0 exp x0 Mul Mul exp x0 log exp x0 Mul Add Mul Add Mul x1 -4 sech E -3 Mul Pow x0 Add Add x1 x0 -1 Add Add x1 x0 Mul x0 log x0 Pow Add 1 Mul Add Mul Add Mul x1 -4 sech E Mul -3 x0 Pow x0 Add x1 x0 Add Mul Add Mul x1 -4 sech E Mul -3 x0 Pow x0 Add x1 x0 -1 