Mul x3 Pow x0 sec sqrt Pow x0 Add Add x0 -2 acot Mul x0 1.42776256930711 
Mul x3 Mul Pow x0 Add sec sqrt Pow x0 Add Add x0 -2 acot Mul x0 1.42776256930711 -1 Add sec sqrt Pow x0 Add Add x0 -2 acot Mul x0 1.42776256930711 Mul Mul x0 log x0 Mul Mul tan sqrt Pow x0 Add Add x0 -2 acot Mul x0 1.42776256930711 sec sqrt Pow x0 Add Add x0 -2 acot Mul x0 1.42776256930711 Mul Pow Mul 2 sqrt Pow x0 Add Add x0 -2 acot Mul x0 1.42776256930711 -1 Mul Pow x0 Add Add Add x0 -2 acot Mul x0 1.42776256930711 -1 Add Add Add x0 -2 acot Mul x0 1.42776256930711 Mul Mul x0 log x0 Add 1 Mul -1 Mul 1.42776256930711 Pow Add 1 Mul Mul x0 1.42776256930711 Mul x0 1.42776256930711 -1 