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