Mul Mul Pow acot sinh log x0 x1 2.95627412467467 sqrt x0 
Add Mul sqrt x0 Mul 2.95627412467467 Mul Pow acot sinh log x0 Add x1 -1 Mul x1 Mul -1 Mul Mul cosh log x0 Pow x0 -1 Pow Add 1 Mul sinh log x0 sinh log x0 -1 Mul Mul Pow acot sinh log x0 x1 2.95627412467467 Pow Mul 2 sqrt x0 -1 