Mul x6 Mul Pow acosh acoth Add x0 -4 x0 Mul x3 Add Pow x7 Add x3 Add x0 4 x0 
Mul x6 Add Mul Mul x3 Add Pow x7 Add x3 Add x0 4 x0 Mul Pow acosh acoth Add x0 -4 Add x0 -1 Add Mul x0 Mul Pow Add 1 Mul -1 Mul Add x0 -4 Add x0 -4 -1 Pow Mul sqrt Add acoth Add x0 -4 -1 sqrt Add 1 acoth Add x0 -4 -1 Mul acosh acoth Add x0 -4 log acosh acoth Add x0 -4 Mul Pow acosh acoth Add x0 -4 x0 Mul x3 Add Mul Pow x7 Add Add x3 Add x0 4 -1 Mul x7 log x7 1 