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