Add Mul sec Add Mul Pow x0 Pow x5 sin x0 Add atan pi x0 Pow x0 coth x5 4 x7 
Mul 4 Mul Mul tan Add Mul Pow x0 Pow x5 sin x0 Add atan pi x0 Pow x0 coth x5 sec Add Mul Pow x0 Pow x5 sin x0 Add atan pi x0 Pow x0 coth x5 Add Add Mul Add atan pi x0 Mul Pow x0 Add Pow x5 sin x0 -1 Add Pow x5 sin x0 Mul Mul x0 log x0 Mul Pow x5 Add sin x0 -1 Mul Mul x5 log x5 cos x0 Pow x0 Pow x5 sin x0 Mul Pow x0 Add coth x5 -1 coth x5 