sinh Pow x0 Mul x0 Add x2 sqrt acosh x0 
Mul cosh Pow x0 Mul x0 Add x2 sqrt acosh x0 Mul Pow x0 Add Mul x0 Add x2 sqrt acosh x0 -1 Add Mul x0 Add x2 sqrt acosh x0 Mul Mul x0 log x0 Add Add x2 sqrt acosh x0 Mul x0 Mul Pow Mul 2 sqrt acosh x0 -1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 