Add Pow Mul acot Mul 1.57079632679490 Add Add x0 x0 x0 -3 acos x0 atan Add x2 2.18503986326152 
Mul Pow Mul acot Mul 1.57079632679490 Add Add x0 x0 x0 -3 Add acos x0 -1 Add Mul acos x0 Mul -3 Mul -1 Mul 4.57079632679490 Pow Add 1 Mul Mul 1.57079632679490 Add Add x0 x0 x0 Mul 1.57079632679490 Add Add x0 x0 x0 -1 Mul Mul Mul acot Mul 1.57079632679490 Add Add x0 x0 x0 -3 log Mul acot Mul 1.57079632679490 Add Add x0 x0 x0 -3 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 