Pow Mul acos acoth log x0 Add x4 Add x0 x7 x6 
Mul Pow Mul acos acoth log x0 Add x4 Add x0 x7 Add x6 -1 Mul x6 Add Mul Add x4 Add x0 x7 Mul -1 Mul Mul Pow x0 -1 Pow Add 1 Mul -1 Mul log x0 log x0 -1 Pow sqrt Add 1 Mul -1 Mul acoth log x0 acoth log x0 -1 acos acoth log x0 