acot sinh Mul x0 Add x0 -0.841470984807897 
Mul -1 Mul Mul cosh Mul x0 Add x0 -0.841470984807897 Add Add x0 -0.841470984807897 x0 Pow Add 1 Mul sinh Mul x0 Add x0 -0.841470984807897 sinh Mul x0 Add x0 -0.841470984807897 -1 