Pow atan cosh Pow x0 acsch x1 sinh x3 
Mul Pow atan cosh Pow x0 acsch x1 Add sinh x3 -1 Mul sinh x3 Mul Mul sinh Pow x0 acsch x1 Mul Pow x0 Add acsch x1 -1 acsch x1 Pow Add 1 Mul cosh Pow x0 acsch x1 cosh Pow x0 acsch x1 -1 