Pow Pow cosh Pow x1 acot Mul -2.40299796172238 Pow 2 x0 x3 x0 
Mul Pow Pow cosh Pow x1 acot Mul -2.40299796172238 Pow 2 x0 x3 Add x0 -1 Add Mul x0 Mul Pow cosh Pow x1 acot Mul -2.40299796172238 Pow 2 x0 Add x3 -1 Mul x3 Mul sinh Pow x1 acot Mul -2.40299796172238 Pow 2 x0 Mul Pow x1 Add acot Mul -2.40299796172238 Pow 2 x0 -1 Mul Mul x1 log x1 Mul -1 Mul Mul -2.40299796172238 Mul Pow 2 Add x0 -1 2.69314718055995 Pow Add 1 Mul Mul -2.40299796172238 Pow 2 x0 Mul -2.40299796172238 Pow 2 x0 -1 Mul Pow cosh Pow x1 acot Mul -2.40299796172238 Pow 2 x0 x3 log Pow cosh Pow x1 acot Mul -2.40299796172238 Pow 2 x0 x3 