Pow Add x0 exp Mul x3 Mul Pow x1 2 cot acot x1 Mul x0 x1 
Mul Pow Add x0 exp Mul x3 Mul Pow x1 2 cot acot x1 Add Mul x0 x1 -1 Add Mul x0 x1 Mul Mul Add x0 exp Mul x3 Mul Pow x1 2 cot acot x1 log Add x0 exp Mul x3 Mul Pow x1 2 cot acot x1 x1 