atan Pow x0 sech Pow Pow x3 E Mul x3 x5 
Mul Mul Pow x0 Add sech Pow Pow x3 E Mul x3 x5 -1 sech Pow Pow x3 E Mul x3 x5 Pow Add 1 Mul Pow x0 sech Pow Pow x3 E Mul x3 x5 Pow x0 sech Pow Pow x3 E Mul x3 x5 -1 