Mul Mul x0 0.540302305868140 Pow Mul tan x0 acot tan Pow x0 pi Mul acoth Add 5 Mul x0 x0 3 
Add Mul Pow Mul tan x0 acot tan Pow x0 pi Mul acoth Add 5 Mul x0 x0 3 0.540302305868140 Mul Mul x0 0.540302305868140 Mul Pow Mul tan x0 acot tan Pow x0 pi Add Mul acoth Add 5 Mul x0 x0 3 -1 Add Mul Mul acoth Add 5 Mul x0 x0 3 Add Mul acot tan Pow x0 pi Pow sec x0 2 Mul tan x0 Mul -1 Mul Mul Pow sec Pow x0 pi 2 Mul Pow x0 Add pi -1 pi Pow Add 1 Mul tan Pow x0 pi tan Pow x0 pi -1 Mul Mul Mul tan x0 acot tan Pow x0 pi log Mul tan x0 acot tan Pow x0 pi Mul 3 Mul Add x0 x0 Pow Add 1 Mul -1 Mul Add 5 Mul x0 x0 Add 5 Mul x0 x0 -1 