Mul Add x0 Pow x1 Mul -2 Mul 5 asin acoth x0 Add x0 8.74869155323932 
Add Mul Add x0 8.74869155323932 Add 1 Mul Pow x1 Add Mul -2 Mul 5 asin acoth x0 -1 Mul Mul x1 log x1 Mul -2 Mul 5 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul acoth x0 acoth x0 -1 Add x0 Pow x1 Mul -2 Mul 5 asin acoth x0 