Pow exp Add acot x0 x7 csc x0 
Mul Pow exp Add acot x0 x7 Add csc x0 -1 Add Mul csc x0 Mul exp Add acot x0 x7 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul exp Add acot x0 x7 log exp Add acot x0 x7 Mul Mul -1 cot x0 csc x0 