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