Pow sec Mul Pow x0 x0 Mul x7 acsch x7 Mul x0 5 
Mul Pow sec Mul Pow x0 x0 Mul x7 acsch x7 Add Mul x0 5 -1 Add Mul Mul x0 5 Mul Mul tan Mul Pow x0 x0 Mul x7 acsch x7 sec Mul Pow x0 x0 Mul x7 acsch x7 Mul Mul x7 acsch x7 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Mul sec Mul Pow x0 x0 Mul x7 acsch x7 log sec Mul Pow x0 x0 Mul x7 acsch x7 5 