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