Mul x0 Add -4 Mul x1 Add Mul Mul Pow x5 x0 acsch sinh cosh x0 sinh x0 x0 
Add Add -4 Mul x1 Add Mul Mul Pow x5 x0 acsch sinh cosh x0 sinh x0 x0 Mul x0 Mul x1 Add Add Mul sinh x0 Add Mul acsch sinh cosh x0 Mul Pow x5 Add x0 -1 Mul x5 log x5 Mul Pow x5 x0 Mul Mul -1 Mul cosh cosh x0 sinh x0 Pow Mul Mul sinh cosh x0 sinh cosh x0 sqrt Add 1 Mul -1 Pow Mul sinh cosh x0 sinh cosh x0 -1 -1 Mul Mul Pow x5 x0 acsch sinh cosh x0 cosh x0 1 