Mul tan Mul Mul cosh Pow x0 Mul Add x0 x5 x0 -2 acsch Mul x0 Add x0 6 x5 
Mul x5 Mul Pow sec Mul Mul cosh Pow x0 Mul Add x0 x5 x0 -2 acsch Mul x0 Add x0 6 2 Add Mul acsch Mul x0 Add x0 6 Mul -2 Mul sinh Pow x0 Mul Add x0 x5 x0 Mul Pow x0 Add Mul Add x0 x5 x0 -1 Add Mul Add x0 x5 x0 Mul Mul x0 log x0 Add x0 Add x0 x5 Mul Mul cosh Pow x0 Mul Add x0 x5 x0 -2 Mul Mul -1 Add Add x0 6 x0 Pow Mul Mul Mul x0 Add x0 6 Mul x0 Add x0 6 sqrt Add 1 Mul -1 Pow Mul Mul x0 Add x0 6 Mul x0 Add x0 6 -1 -1 