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