Add Add -2 Pow pi Pow cos Pow x7 coth x3 x0 Mul atanh Add x2 -2 Add x1 Add x0 4 
Add Mul Pow pi Add Pow cos Pow x7 coth x3 x0 -1 Mul Mul pi log pi Mul Pow cos Pow x7 coth x3 Add x0 -1 Mul cos Pow x7 coth x3 log cos Pow x7 coth x3 atanh Add x2 -2 