cosh acot Pow exp x0 1.55740772465490 
Mul sinh acot Pow exp x0 1.55740772465490 Mul -1 Mul Mul Pow exp x0 0.557407724654902 Mul 1.55740772465490 exp x0 Pow Add 1 Mul Pow exp x0 1.55740772465490 Pow exp x0 1.55740772465490 -1 