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