Mul Mul x0 x0 Add Pow asinh x6 sqrt acosh x0 Mul x3 x5 
Add Mul Add Pow asinh x6 sqrt acosh x0 Mul x3 x5 Add x0 x0 Mul Mul x0 x0 Mul Pow asinh x6 Add sqrt acosh x0 -1 Mul Mul asinh x6 log asinh x6 Mul Pow Mul 2 sqrt acosh x0 -1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 