Mul Pow Add acos acoth Add x0 log x1 x5 x0 Mul x6 x0 
Add Mul Mul x6 x0 Mul Pow Add acos acoth Add x0 log x1 x5 Add x0 -1 Add Mul x0 Mul -1 Mul Pow Add 1 Mul -1 Mul Add x0 log x1 Add x0 log x1 -1 Pow sqrt Add 1 Mul -1 Mul acoth Add x0 log x1 acoth Add x0 log x1 -1 Mul Add acos acoth Add x0 log x1 x5 log Add acos acoth Add x0 log x1 x5 Mul Pow Add acos acoth Add x0 log x1 x5 x0 x6 