Add Mul x0 Mul acot x0 Add Pow x0 Add x0 acot sec x0 Mul log x0 sqrt x4 x1 
Add Mul acot x0 Add Pow x0 Add x0 acot sec x0 Mul log x0 sqrt x4 Mul x0 Add Mul Add Pow x0 Add x0 acot sec x0 Mul log x0 sqrt x4 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Add Mul Pow x0 Add Add x0 acot sec x0 -1 Add Add x0 acot sec x0 Mul Mul x0 log x0 Add 1 Mul -1 Mul Mul tan x0 sec x0 Pow Add 1 Mul sec x0 sec x0 -1 Mul sqrt x4 Pow x0 -1 