Add Mul -4 Pow x1 acosh Add x0 sinh Mul x0 4 x7 
Mul -4 Mul Pow x1 Add acosh Add x0 sinh Mul x0 4 -1 Mul Mul x1 log x1 Mul Add 1 Mul cosh Mul x0 4 4 Pow Mul sqrt Add Add x0 sinh Mul x0 4 -1 sqrt Add 1 Add x0 sinh Mul x0 4 -1 