Mul Mul pi Mul Pow acsch asec x0 5 Mul 0.785398163397448 x2 x0 
Add Mul x0 Mul pi Mul Mul 0.785398163397448 x2 Mul Pow acsch asec x0 4 Mul 5 Mul Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Mul Mul asec x0 asec x0 sqrt Add 1 Mul -1 Pow Mul asec x0 asec x0 -1 -1 Mul pi Mul Pow acsch asec x0 5 Mul 0.785398163397448 x2 