Pow x7 asin Add Mul Add x0 3 x0 sinh x0 
Mul Pow x7 Add asin Add Mul Add x0 3 x0 sinh x0 -1 Mul Mul x7 log x7 Mul Add Add x0 Add x0 3 cosh x0 Pow sqrt Add 1 Mul -1 Mul Add Mul Add x0 3 x0 sinh x0 Add Mul Add x0 3 x0 sinh x0 -1 