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