Mul Add acot x4 Mul sqrt asec Mul Pow Mul x0 2 log Add x0 asec x0 -2 Add Mul x0 -5 x0 x2 
Mul x2 Add Mul Add Mul x0 -5 x0 Mul Pow Mul 2 sqrt asec Mul Pow Mul x0 2 log Add x0 asec x0 -2 -1 Mul Mul -2 Mul Pow Mul x0 2 Add log Add x0 asec x0 -1 Add Mul log Add x0 asec x0 2 Mul Mul Mul x0 2 log Mul x0 2 Mul Add 1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Add x0 asec x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Pow Mul x0 2 log Add x0 asec x0 -2 Mul Pow Mul x0 2 log Add x0 asec x0 -2 -1 Mul Pow Mul x0 2 log Add x0 asec x0 -2 Mul Pow Mul x0 2 log Add x0 asec x0 -2 -1 Mul sqrt asec Mul Pow Mul x0 2 log Add x0 asec x0 -2 4 