Mul cosh Pow Mul acos E Add x0 10 Add Mul 3 x3 x0 x0 
Add Mul x0 Mul sinh Pow Mul acos E Add x0 10 Add Mul 3 x3 x0 Mul Pow Mul acos E Add x0 10 Add Add Mul 3 x3 x0 -1 Add Mul Add Mul 3 x3 x0 acos E Mul Mul acos E Add x0 10 log Mul acos E Add x0 10 cosh Pow Mul acos E Add x0 10 Add Mul 3 x3 x0 