Mul Mul x0 Mul asinh Add cosh x6 Mul coth sqrt x0 -4 x7 x0 
Add Mul x0 Add Mul asinh Add cosh x6 Mul coth sqrt x0 -4 x7 Mul x0 Mul x7 Mul Mul -4 Mul Mul -1 Pow csch sqrt x0 2 Pow Mul 2 sqrt x0 -1 Pow sqrt Add 1 Mul Add cosh x6 Mul coth sqrt x0 -4 Add cosh x6 Mul coth sqrt x0 -4 -1 Mul x0 Mul asinh Add cosh x6 Mul coth sqrt x0 -4 x7 