Mul x7 Mul -1 Mul -5 Add asinh acosh Mul Pow Add x4 x0 x7 x0 Add coth x3 tan acoth x0 
Mul x7 Mul -1 Mul -5 Add Mul Mul Add Mul x0 Mul Pow Add x4 x0 Add x7 -1 x7 Pow Add x4 x0 x7 Pow Mul sqrt Add Mul Pow Add x4 x0 x7 x0 -1 sqrt Add 1 Mul Pow Add x4 x0 x7 x0 -1 Pow sqrt Add 1 Mul acosh Mul Pow Add x4 x0 x7 x0 acosh Mul Pow Add x4 x0 x7 x0 -1 Mul Pow sec acoth x0 2 Pow Add 1 Mul -1 Mul x0 x0 -1 