Add acosh x0 Pow Mul x7 sinh Pow x7 Mul x4 Pow Add x0 2 sqrt x6 2 
Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul x7 sinh Pow x7 Mul x4 Pow Add x0 2 sqrt x6 Mul 2 Mul x7 Mul cosh Pow x7 Mul x4 Pow Add x0 2 sqrt x6 Mul Pow x7 Add Mul x4 Pow Add x0 2 sqrt x6 -1 Mul Mul x7 log x7 Mul x4 Mul Pow Add x0 2 Add sqrt x6 -1 sqrt x6 