Mul x0 sin Add Mul acos Add log x7 x6 x0 Pow Pow Mul x1 acoth acosh x0 x0 x0 
Add sin Add Mul acos Add log x7 x6 x0 Pow Pow Mul x1 acoth acosh x0 x0 x0 Mul x0 Mul cos Add Mul acos Add log x7 x6 x0 Pow Pow Mul x1 acoth acosh x0 x0 x0 Add acos Add log x7 x6 Mul Pow Pow Mul x1 acoth acosh x0 x0 Add x0 -1 Add Mul x0 Mul Pow Mul x1 acoth acosh x0 Add x0 -1 Add Mul x0 Mul x1 Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul -1 Mul acosh x0 acosh x0 -1 Mul Mul x1 acoth acosh x0 log Mul x1 acoth acosh x0 Mul Pow Mul x1 acoth acosh x0 x0 log Pow Mul x1 acoth acosh x0 x0 