Add Mul sin Pow x1 2 x0 Add Pow coth sec csc x0 x0 asec Pow -4 x7 
Add sin Pow x1 2 Mul Pow coth sec csc x0 Add x0 -1 Add Mul x0 Mul Mul -1 Pow csch sec csc x0 2 Mul Mul tan csc x0 sec csc x0 Mul Mul -1 cot x0 csc x0 Mul coth sec csc x0 log coth sec csc x0 