acot Mul x0 Add x0 Mul x0 3.54086655911043 
Mul -1 Mul Add Add x0 Mul x0 3.54086655911043 Mul x0 4.54086655911043 Pow Add 1 Mul Mul x0 Add x0 Mul x0 3.54086655911043 Mul x0 Add x0 Mul x0 3.54086655911043 -1 