csc log Mul Mul Pow x0 E x3 acot x3 
Mul Mul Mul -1 cot log Mul Mul Pow x0 E x3 acot x3 csc log Mul Mul Pow x0 E x3 acot x3 Mul Mul acot x3 Mul x3 Mul Pow x0 Add E -1 E Pow Mul Mul Pow x0 E x3 acot x3 -1 