Pow Mul x2 Add 1 Mul acot x0 acos Mul x0 3.52532008581609 x0 
Mul Pow Mul x2 Add 1 Mul acot x0 acos Mul x0 3.52532008581609 Add x0 -1 Add Mul x0 Mul x2 Add Mul acos Mul x0 3.52532008581609 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Mul -1 Mul 3.52532008581609 Pow sqrt Add 1 Mul -1 Mul Mul x0 3.52532008581609 Mul x0 3.52532008581609 -1 Mul Mul x2 Add 1 Mul acot x0 acos Mul x0 3.52532008581609 log Mul x2 Add 1 Mul acot x0 acos Mul x0 3.52532008581609 