log Add Pow Pow cosh x6 Mul -2 acot acsch x0 1.24904577239825 cosh Mul x0 x0 
Mul Add Mul Pow Pow cosh x6 Mul -2 acot acsch x0 0.249045772398254 Mul 1.24904577239825 Mul Pow cosh x6 Add Mul -2 acot acsch x0 -1 Mul Mul cosh x6 log cosh x6 Mul -2 Mul -1 Mul Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Add 1 Mul acsch x0 acsch x0 -1 Mul sinh Mul x0 x0 Add x0 x0 Pow Add Pow Pow cosh x6 Mul -2 acot acsch x0 1.24904577239825 cosh Mul x0 x0 -1 