Add Mul x0 sqrt Pow atan sech x5 x0 Add x0 Pow x0 1.57079632679490 
Add Add sqrt Pow atan sech x5 x0 Mul x0 Mul Pow Mul 2 sqrt Pow atan sech x5 x0 -1 Mul Pow atan sech x5 Add x0 -1 Mul atan sech x5 log atan sech x5 Add 1 Mul Pow x0 0.570796326794897 1.57079632679490 