Pow asinh exp x7 Pow cosh Add Mul 3 x0 x0 x0 
Mul Pow asinh exp x7 Add Pow cosh Add Mul 3 x0 x0 x0 -1 Mul Mul asinh exp x7 log asinh exp x7 Mul Pow cosh Add Mul 3 x0 x0 Add x0 -1 Add Mul x0 Mul sinh Add Mul 3 x0 x0 4 Mul cosh Add Mul 3 x0 x0 log cosh Add Mul 3 x0 x0 