Pow exp Pow x0 cot x7 Pow Mul 3 x0 Mul x0 x0 
Mul Pow exp Pow x0 cot x7 Add Pow Mul 3 x0 Mul x0 x0 -1 Add Mul Pow Mul 3 x0 Mul x0 x0 Mul exp Pow x0 cot x7 Mul Pow x0 Add cot x7 -1 cot x7 Mul Mul exp Pow x0 cot x7 log exp Pow x0 cot x7 Mul Pow Mul 3 x0 Add Mul x0 x0 -1 Add Mul Mul x0 x0 3 Mul Mul Mul 3 x0 log Mul 3 x0 Add x0 x0 