Mul Mul Mul exp atanh cosh Pow sec acsch Pow x7 4 x0 x0 -2 x0 
Add Mul x0 Mul -2 Add Mul x0 Mul exp atanh cosh Pow sec acsch Pow x7 4 x0 Mul Mul sinh Pow sec acsch Pow x7 4 x0 Mul Pow sec acsch Pow x7 4 Add x0 -1 Mul sec acsch Pow x7 4 log sec acsch Pow x7 4 Pow Add 1 Mul -1 Mul cosh Pow sec acsch Pow x7 4 x0 cosh Pow sec acsch Pow x7 4 x0 -1 exp atanh cosh Pow sec acsch Pow x7 4 x0 Mul Mul exp atanh cosh Pow sec acsch Pow x7 4 x0 x0 -2 