Add Pow acot Add x0 3 Pow Pow x1 Mul -1 tanh x0 Pow x0 Add 4 x4 atanh Mul x0 Add x0 -4 
Add Mul Pow acot Add x0 3 Add Pow Pow x1 Mul -1 tanh x0 Pow x0 Add 4 x4 -1 Add Mul Pow Pow x1 Mul -1 tanh x0 Pow x0 Add 4 x4 Mul -1 Pow Add 1 Mul Add x0 3 Add x0 3 -1 Mul Mul acot Add x0 3 log acot Add x0 3 Mul Pow Pow x1 Mul -1 tanh x0 Add Pow x0 Add 4 x4 -1 Add Mul Pow x0 Add 4 x4 Mul Pow x1 Add Mul -1 tanh x0 -1 Mul Mul x1 log x1 Mul -1 Pow sech x0 2 Mul Mul Pow x1 Mul -1 tanh x0 log Pow x1 Mul -1 tanh x0 Mul Pow x0 Add Add 4 x4 -1 Add 4 x4 Mul Add Add x0 -4 x0 Pow Add 1 Mul -1 Mul Mul x0 Add x0 -4 Mul x0 Add x0 -4 -1 