Add x7 Pow cosh x4 asinh Mul x0 Mul x0 exp x0 
Mul Pow cosh x4 Add asinh Mul x0 Mul x0 exp x0 -1 Mul Mul cosh x4 log cosh x4 Mul Add Mul x0 exp x0 Mul x0 Add exp x0 Mul x0 exp x0 Pow sqrt Add 1 Mul Mul x0 Mul x0 exp x0 Mul x0 Mul x0 exp x0 -1 