Mul Pow x6 Mul x0 x0 cosh asin Add x0 Mul x3 -4 
Add Mul cosh asin Add x0 Mul x3 -4 Mul Pow x6 Add Mul x0 x0 -1 Mul Mul x6 log x6 Add x0 x0 Mul Pow x6 Mul x0 x0 Mul sinh asin Add x0 Mul x3 -4 Pow sqrt Add 1 Mul -1 Mul Add x0 Mul x3 -4 Add x0 Mul x3 -4 -1 