Add Mul Mul 4 Mul x0 x7 acot x0 Mul Mul Mul Pow Mul Add x0 x0 x4 2 asec Add x0 exp pi 4 x5 
Add Add Mul acot x0 Mul 4 x7 Mul Mul 4 Mul x0 x7 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul x5 Mul 4 Add Mul asec Add x0 exp pi Mul Mul Add x0 x0 x4 Mul 2 Mul x4 2 Mul Pow Mul Add x0 x0 x4 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add x0 exp pi Add x0 exp pi -1 Add x0 exp pi Add x0 exp pi -1 