Add atan Mul Pow x0 Mul 0.506465597479073 x0 x0 asec exp Mul Pow E 2 csch x2 
Mul Add Mul x0 Mul Pow x0 Add Mul 0.506465597479073 x0 -1 Add Mul 0.506465597479073 x0 Mul Mul x0 log x0 0.506465597479073 Pow x0 Mul 0.506465597479073 x0 Pow Add 1 Mul Mul Pow x0 Mul 0.506465597479073 x0 x0 Mul Pow x0 Mul 0.506465597479073 x0 x0 -1 