Mul cosh Mul 4 Mul -1 x0 Pow Mul asin Add x0 Mul 5 x7 5 x6 
Add Mul Pow Mul asin Add x0 Mul 5 x7 5 x6 Mul sinh Mul 4 Mul -1 x0 3 Mul cosh Mul 4 Mul -1 x0 Mul Pow Mul asin Add x0 Mul 5 x7 5 Add x6 -1 Mul x6 Mul 5 Pow sqrt Add 1 Mul -1 Mul Add x0 Mul 5 x7 Add x0 Mul 5 x7 -1 