Add Add Mul sec Pow Pow x0 x0 coth pi x3 x7 x0 
Add Mul x3 Mul Mul tan Pow Pow x0 x0 coth pi sec Pow Pow x0 x0 coth pi Mul Pow Pow x0 x0 Add coth pi -1 Mul coth pi Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 1 