Pow Pow x0 Pow x1 atan acos E exp asech csch asech E 
Mul Pow Pow x0 Pow x1 atan acos E Add exp asech csch asech E -1 Mul exp asech csch asech E Mul Pow x0 Add Pow x1 atan acos E -1 Pow x1 atan acos E 