Add x2 Pow Mul 3 Mul Add acoth Pow Pow -5 pi -2 acos x0 tan x0 sqrt x4 
Mul Pow Mul 3 Mul Add acoth Pow Pow -5 pi -2 acos x0 tan x0 Add sqrt x4 -1 Mul sqrt x4 Mul 3 Add Mul tan x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Add acoth Pow Pow -5 pi -2 acos x0 Pow sec x0 2 