Add acoth x3 Pow acot Add x3 Add 1 x0 Pow x0 -5 
Mul Pow acot Add x3 Add 1 x0 Add Pow x0 -5 -1 Add Mul Pow x0 -5 Mul -1 Pow Add 1 Mul Add x3 Add 1 x0 Add x3 Add 1 x0 -1 Mul Mul acot Add x3 Add 1 x0 log acot Add x3 Add 1 x0 Mul Pow x0 6 -5 