acot Pow exp E Pow sinh x0 x1 
Mul -1 Mul Mul Pow exp E Add Pow sinh x0 x1 -1 Mul Mul exp E log exp E Mul Pow sinh x0 Add x1 -1 Mul x1 cosh x0 Pow Add 1 Mul Pow exp E Pow sinh x0 x1 Pow exp E Pow sinh x0 x1 -1 