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