Add Pow Mul x7 -0.995054753686730 Pow cot x1 acos Add x0 -5 x3 
Mul Pow Mul x7 -0.995054753686730 Add Pow cot x1 acos Add x0 -5 -1 Mul Mul Mul x7 -0.995054753686730 log Mul x7 -0.995054753686730 Mul Pow cot x1 Add acos Add x0 -5 -1 Mul Mul cot x1 log cot x1 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add x0 -5 Add x0 -5 -1 