Add Pow coth acsc Mul E pi x0 Mul x7 Add x0 Pow Mul -5 Pow sec Mul x0 Add Mul x0 x0 x5 x0 -1 
Add Mul Pow coth acsc Mul E pi Add x0 -1 Mul coth acsc Mul E pi log coth acsc Mul E pi Mul x7 Add 1 Mul Pow Mul -5 Pow sec Mul x0 Add Mul x0 x0 x5 x0 2 Mul -1 Mul -5 Mul Pow sec Mul x0 Add Mul x0 x0 x5 Add x0 -1 Add Mul x0 Mul Mul tan Mul x0 Add Mul x0 x0 x5 sec Mul x0 Add Mul x0 x0 x5 Add Add Mul x0 x0 x5 Mul x0 Add x0 x0 Mul sec Mul x0 Add Mul x0 x0 x5 log sec Mul x0 Add Mul x0 x0 x5 