Mul x2 Mul Pow Mul cosh x3 acsch x1 x7 tanh Mul -4 Pow Mul x0 4 Pow Add 2 x0 -4 
Mul x2 Mul Pow Mul cosh x3 acsch x1 x7 Mul Pow sech Mul -4 Pow Mul x0 4 Pow Add 2 x0 -4 2 Mul -4 Mul Pow Mul x0 4 Add Pow Add 2 x0 -4 -1 Add Mul Pow Add 2 x0 -4 4 Mul Mul Mul x0 4 log Mul x0 4 Mul Pow Add 2 x0 5 -4 