Pow Add x7 Add Mul acosh Mul x0 x0 x0 Mul Add Add x0 3 x0 acoth x0 Mul x1 5 
Mul Pow Add x7 Add Mul acosh Mul x0 x0 x0 Mul Add Add x0 3 x0 acoth x0 Add Mul x1 5 -1 Mul Mul x1 5 Add Add Mul x0 Mul Add x0 x0 Pow Mul sqrt Add Mul x0 x0 -1 sqrt Add 1 Mul x0 x0 -1 acosh Mul x0 x0 Add Mul acoth x0 2 Mul Add Add x0 3 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 