Pow acos x2 Add 4 sinh Pow Mul x7 Add x0 3 x0 
Mul Pow acos x2 Add Add 4 sinh Pow Mul x7 Add x0 3 x0 -1 Mul Mul acos x2 log acos x2 Mul cosh Pow Mul x7 Add x0 3 x0 Mul Pow Mul x7 Add x0 3 Add x0 -1 Add Mul x0 x7 Mul Mul x7 Add x0 3 log Mul x7 Add x0 3 