Add Pow atan acoth Mul 4 Pow Add x2 5 exp x0 Mul 5 x5 x0 
Add Mul Pow atan acoth Mul 4 Pow Add x2 5 exp x0 Add Mul 5 x5 -1 Mul Mul 5 x5 Mul Mul Mul 4 Mul Pow Add x2 5 Add exp x0 -1 Mul Mul Add x2 5 log Add x2 5 exp x0 Pow Add 1 Mul -1 Mul Mul 4 Pow Add x2 5 exp x0 Mul 4 Pow Add x2 5 exp x0 -1 Pow Add 1 Mul acoth Mul 4 Pow Add x2 5 exp x0 acoth Mul 4 Pow Add x2 5 exp x0 -1 1 