atan Mul x0 Mul -4 Add Add x0 tanh exp x0 x0 
Mul Add Mul -4 Add Add x0 tanh exp x0 x0 Mul x0 Mul -4 Add Add 1 Mul Pow sech exp x0 2 exp x0 1 Pow Add 1 Mul Mul x0 Mul -4 Add Add x0 tanh exp x0 x0 Mul x0 Mul -4 Add Add x0 tanh exp x0 x0 -1 