Add x0 Add Add -3 asech Pow x5 cosh x0 sinh x0 
Add 1 Add Mul Mul Pow x5 Add cosh x0 -1 Mul Mul x5 log x5 sinh x0 Pow Mul Mul Pow x5 cosh x0 Pow x5 cosh x0 sqrt Add 1 Mul -1 Pow Mul Pow x5 cosh x0 Pow x5 cosh x0 -1 -1 cosh x0 