Pow Add x0 sqrt cosh x0 Mul x0 Add x7 acot Mul Add 3 Mul -0.962962962962963 x0 E 
Mul Pow Add x0 sqrt cosh x0 Add Mul x0 Add x7 acot Mul Add 3 Mul -0.962962962962963 x0 E -1 Add Mul Mul x0 Add x7 acot Mul Add 3 Mul -0.962962962962963 x0 E Add 1 Mul Pow Mul 2 sqrt cosh x0 -1 sinh x0 Mul Mul Add x0 sqrt cosh x0 log Add x0 sqrt cosh x0 Add Add x7 acot Mul Add 3 Mul -0.962962962962963 x0 E Mul x0 Mul -1 Mul Mul E -0.962962962962963 Pow Add 1 Mul Mul Add 3 Mul -0.962962962962963 x0 E Mul Add 3 Mul -0.962962962962963 x0 E -1 