Mul Pow x0 x1 Add Mul cot atanh x5 x3 Pow Add pi x0 x0 
Add Mul Add Mul cot atanh x5 x3 Pow Add pi x0 x0 Mul Pow x0 Add x1 -1 x1 Mul Pow x0 x1 Mul Pow Add pi x0 Add x0 -1 Add x0 Mul Add pi x0 log Add pi x0 