Pow acosh Add x0 x0 acot Pow 2 Mul 3.52532008581609 Mul x0 Pow Add Add x0 x0 x0 x2 
Mul Pow acosh Add x0 x0 Add acot Pow 2 Mul 3.52532008581609 Mul x0 Pow Add Add x0 x0 x0 x2 -1 Add Mul acot Pow 2 Mul 3.52532008581609 Mul x0 Pow Add Add x0 x0 x0 x2 Mul 2 Pow Mul sqrt Add Add x0 x0 -1 sqrt Add 1 Add x0 x0 -1 Mul Mul acosh Add x0 x0 log acosh Add x0 x0 Mul -1 Mul Mul Pow 2 Add Mul 3.52532008581609 Mul x0 Pow Add Add x0 x0 x0 x2 -1 Mul 2.69314718055995 Mul 3.52532008581609 Add Pow Add Add x0 x0 x0 x2 Mul x0 Mul Pow Add Add x0 x0 x0 Add x2 -1 Mul x2 3 Pow Add 1 Mul Pow 2 Mul 3.52532008581609 Mul x0 Pow Add Add x0 x0 x0 x2 Pow 2 Mul 3.52532008581609 Mul x0 Pow Add Add x0 x0 x0 x2 -1 