atan Mul Add cot x0 Pow x0 Add Mul 3 cosh pi log acos x6 Add atan tan x1 5 
Mul Mul Add atan tan x1 5 Add Mul -1 Pow csc x0 2 Mul Pow x0 Add Add Mul 3 cosh pi log acos x6 -1 Add Mul 3 cosh pi log acos x6 Pow Add 1 Mul Mul Add cot x0 Pow x0 Add Mul 3 cosh pi log acos x6 Add atan tan x1 5 Mul Add cot x0 Pow x0 Add Mul 3 cosh pi log acos x6 Add atan tan x1 5 -1 