cot acoth Add Mul x0 Add x6 Add Pow x0 Add Add -4 sec x0 acos x7 x0 -1.52988565646640 
Mul Mul -1 Pow csc acoth Add Mul x0 Add x6 Add Pow x0 Add Add -4 sec x0 acos x7 x0 -1.52988565646640 2 Mul Add Add x6 Add Pow x0 Add Add -4 sec x0 acos x7 x0 Mul x0 Add Mul Pow x0 Add Add Add -4 sec x0 acos x7 -1 Add Add Add -4 sec x0 acos x7 Mul Mul x0 log x0 Mul tan x0 sec x0 1 Pow Add 1 Mul -1 Mul Add Mul x0 Add x6 Add Pow x0 Add Add -4 sec x0 acos x7 x0 -1.52988565646640 Add Mul x0 Add x6 Add Pow x0 Add Add -4 sec x0 acos x7 x0 -1.52988565646640 -1 