Mul Pow Mul sec E -2 atan x0 tanh Add Mul 2 Mul x3 Mul x0 x0 E 
Add Mul tanh Add Mul 2 Mul x3 Mul x0 x0 E Mul Pow Mul sec E -2 Add atan x0 -1 Mul Mul Mul sec E -2 log Mul sec E -2 Pow Add 1 Mul x0 x0 -1 Mul Pow Mul sec E -2 atan x0 Mul Pow sech Add Mul 2 Mul x3 Mul x0 x0 E 2 Mul 2 Mul x3 Add x0 x0 