Mul Pow asinh x0 acosh Pow E Add x0 x0 x1 
Mul x1 Mul Pow asinh x0 Add acosh Pow E Add x0 x0 -1 Add Mul acosh Pow E Add x0 x0 Pow sqrt Add 1 Mul x0 x0 -1 Mul Mul asinh x0 log asinh x0 Mul Mul Pow E Add Add x0 x0 -1 Mul Mul E log E 2 Pow Mul sqrt Add Pow E Add x0 x0 -1 sqrt Add 1 Pow E Add x0 x0 -1 