Pow x0 Pow acot Add Add cbrt log Mul -2 Add acos x7 acoth Pow x0 x3 asinh x0 pi Add -2 tan x0 
Mul Pow x0 Add Pow acot Add Add cbrt log Mul -2 Add acos x7 acoth Pow x0 x3 asinh x0 pi Add -2 tan x0 -1 Add Pow acot Add Add cbrt log Mul -2 Add acos x7 acoth Pow x0 x3 asinh x0 pi Add -2 tan x0 Mul Mul x0 log x0 Mul Pow acot Add Add cbrt log Mul -2 Add acos x7 acoth Pow x0 x3 asinh x0 pi Add Add -2 tan x0 -1 Add Mul Add -2 tan x0 Mul -1 Mul Add Mul Pow Mul Mul 3 cbrt log Mul -2 Add acos x7 acoth Pow x0 x3 cbrt log Mul -2 Add acos x7 acoth Pow x0 x3 -1 Mul Mul -2 Mul Mul Pow x0 Add x3 -1 x3 Pow Add 1 Mul -1 Mul Pow x0 x3 Pow x0 x3 -1 Pow Mul -2 Add acos x7 acoth Pow x0 x3 -1 Pow sqrt Add 1 Mul x0 x0 -1 Pow Add 1 Mul Add Add cbrt log Mul -2 Add acos x7 acoth Pow x0 x3 asinh x0 pi Add Add cbrt log Mul -2 Add acos x7 acoth Pow x0 x3 asinh x0 pi -1 Mul Mul acot Add Add cbrt log Mul -2 Add acos x7 acoth Pow x0 x3 asinh x0 pi log acot Add Add cbrt log Mul -2 Add acos x7 acoth Pow x0 x3 asinh x0 pi Pow sec x0 2 