Mul E Pow log x4 Add Mul 5 Pow x0 Mul x0 cot E x0 
Mul E Mul Pow log x4 Add Add Mul 5 Pow x0 Mul x0 cot E x0 -1 Mul Mul log x4 log log x4 Add Mul 5 Mul Pow x0 Add Mul x0 cot E -1 Add Mul x0 cot E Mul Mul x0 log x0 cot E 1 