Pow Add Mul x3 x0 Add x3 -3 atan Pow acot sin x1 x0 
Mul Pow Add Mul x3 x0 Add x3 -3 Add atan Pow acot sin x1 x0 -1 Add Mul atan Pow acot sin x1 x0 x3 Mul Mul Add Mul x3 x0 Add x3 -3 log Add Mul x3 x0 Add x3 -3 Mul Mul Pow acot sin x1 Add x0 -1 Mul acot sin x1 log acot sin x1 Pow Add 1 Mul Pow acot sin x1 x0 Pow acot sin x1 x0 -1 