Add Mul x0 Mul Mul 3.76219569108363 x1 Pow acot Mul acosh Add x4 x0 x0 x0 x0 
Add Add Mul Mul 3.76219569108363 x1 Pow acot Mul acosh Add x4 x0 x0 x0 Mul x0 Mul Mul 3.76219569108363 x1 Mul Pow acot Mul acosh Add x4 x0 x0 Add x0 -1 Add Mul x0 Mul -1 Mul Add Mul x0 Pow Mul sqrt Add Add x4 x0 -1 sqrt Add 1 Add x4 x0 -1 acosh Add x4 x0 Pow Add 1 Mul Mul acosh Add x4 x0 x0 Mul acosh Add x4 x0 x0 -1 Mul acot Mul acosh Add x4 x0 x0 log acot Mul acosh Add x4 x0 x0 1 