Add Mul Add Add cos Add E 4 x0 Pow 4 x0 Add Pow acoth Pow x6 x0 x0 4 Mul acot tan x0 -3 
Add Add Mul Add Pow acoth Pow x6 x0 x0 4 Add 1 Mul Pow 4 Add x0 -1 5.38629436111989 Mul Add Add cos Add E 4 x0 Pow 4 x0 Mul Pow acoth Pow x6 x0 Add x0 -1 Add Mul x0 Mul Mul Pow x6 Add x0 -1 Mul x6 log x6 Pow Add 1 Mul -1 Mul Pow x6 x0 Pow x6 x0 -1 Mul acoth Pow x6 x0 log acoth Pow x6 x0 Mul -3 Mul -1 Mul Pow sec x0 2 Pow Add 1 Mul tan x0 tan x0 -1 