Pow Pow Pow log E cot x3 x0 Mul x0 x2 
Mul Pow Pow Pow log E cot x3 x0 Add Mul x0 x2 -1 Add Mul Mul x0 x2 Mul Pow Pow log E cot x3 Add x0 -1 Mul Pow log E cot x3 log Pow log E cot x3 Mul Mul Pow Pow log E cot x3 x0 log Pow Pow log E cot x3 x0 x2 