Pow Pow asinh sqrt x7 Add sin acoth x0 4 5 
Mul Pow Pow asinh sqrt x7 Add sin acoth x0 4 4 Mul 5 Mul Pow asinh sqrt x7 Add Add sin acoth x0 4 -1 Mul Mul asinh sqrt x7 log asinh sqrt x7 Mul cos acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 