Add Pow acot sec x0 Pow Add x0 2 Add Pow Pow 4 x0 x0 1.25992104989487 x0 
Add Mul Pow acot sec x0 Add Pow Add x0 2 Add Pow Pow 4 x0 x0 1.25992104989487 -1 Add Mul Pow Add x0 2 Add Pow Pow 4 x0 x0 1.25992104989487 Mul -1 Mul Mul tan x0 sec x0 Pow Add 1 Mul sec x0 sec x0 -1 Mul Mul acot sec x0 log acot sec x0 Mul Pow Add x0 2 Add Add Pow Pow 4 x0 x0 1.25992104989487 -1 Add Add Pow Pow 4 x0 x0 1.25992104989487 Mul Mul Add x0 2 log Add x0 2 Mul Pow Pow 4 x0 Add x0 -1 Add Mul x0 Mul Pow 4 Add x0 -1 5.38629436111989 Mul Pow 4 x0 log Pow 4 x0 1 