Add Add acoth Pow Pow Add x0 x1 coth asec x1 Mul pi x6 x0 Add Pow x7 -2 Pow log atan x5 Add -4 x0 
Add Add Mul Mul Pow Pow Add x0 x1 coth asec x1 Add Mul pi x6 -1 Mul Mul pi x6 Mul Pow Add x0 x1 Add coth asec x1 -1 coth asec x1 Pow Add 1 Mul -1 Mul Pow Pow Add x0 x1 coth asec x1 Mul pi x6 Pow Pow Add x0 x1 coth asec x1 Mul pi x6 -1 1 Mul Pow log atan x5 Add Add -4 x0 -1 Mul log atan x5 log log atan x5 