Mul Add x6 Mul asin Pow cosh Mul x7 -4 x0 Pow x1 x0 Pow x1 x0 
Add Mul Pow x1 x0 Add Mul Pow x1 x0 Mul Mul Pow cosh Mul x7 -4 Add x0 -1 Mul cosh Mul x7 -4 log cosh Mul x7 -4 Pow sqrt Add 1 Mul -1 Mul Pow cosh Mul x7 -4 x0 Pow cosh Mul x7 -4 x0 -1 Mul asin Pow cosh Mul x7 -4 x0 Mul Pow x1 Add x0 -1 Mul x1 log x1 Mul Add x6 Mul asin Pow cosh Mul x7 -4 x0 Pow x1 x0 Mul Pow x1 Add x0 -1 Mul x1 log x1 