exp Add Pow asinh x0 x2 Add Add E -3 Pow cosh asinh x7 x0 
Mul exp Add Pow asinh x0 x2 Add Add E -3 Pow cosh asinh x7 x0 Add Mul Pow asinh x0 Add x2 -1 Mul x2 Pow sqrt Add 1 Mul x0 x0 -1 Mul Pow cosh asinh x7 Add x0 -1 Mul cosh asinh x7 log cosh asinh x7 