atan Mul Mul Mul acsch Mul x0 2 Mul exp x0 x0 x7 Add E 1.38629436111989 
Mul Mul Add E 1.38629436111989 Mul x7 Add Mul Mul exp x0 x0 Pow Mul Mul Mul x0 2 Mul x0 2 sqrt Add 1 Mul -1 Pow Mul Mul x0 2 Mul x0 2 -1 -1 Mul acsch Mul x0 2 Add Mul x0 exp x0 exp x0 Pow Add 1 Mul Mul Mul Mul acsch Mul x0 2 Mul exp x0 x0 x7 Add E 1.38629436111989 Mul Mul Mul acsch Mul x0 2 Mul exp x0 x0 x7 Add E 1.38629436111989 -1 