asech Pow exp x0 Add Add Pow x1 x0 x0 sqrt cosh x0 
Mul Mul Pow exp x0 Add Add Add Pow x1 x0 x0 sqrt cosh x0 -1 Add Mul Add Add Pow x1 x0 x0 sqrt cosh x0 exp x0 Mul Mul exp x0 log exp x0 Add Add Mul Pow x1 Add x0 -1 Mul x1 log x1 1 Mul Pow Mul 2 sqrt cosh x0 -1 sinh x0 Pow Mul Mul Pow exp x0 Add Add Pow x1 x0 x0 sqrt cosh x0 Pow exp x0 Add Add Pow x1 x0 x0 sqrt cosh x0 sqrt Add 1 Mul -1 Pow Mul Pow exp x0 Add Add Pow x1 x0 x0 sqrt cosh x0 Pow exp x0 Add Add Pow x1 x0 x0 sqrt cosh x0 -1 -1 