Add Pow Add x0 5 3 atanh Mul x0 acoth Mul x0 Pow acot exp x0 -2 
Add Mul Pow Add x0 5 2 3 Mul Add acoth Mul x0 Pow acot exp x0 -2 Mul x0 Mul Add Pow acot exp x0 -2 Mul x0 Mul Pow acot exp x0 3 Mul -2 Mul -1 Mul exp x0 Pow Add 1 Mul exp x0 exp x0 -1 Pow Add 1 Mul -1 Mul Mul x0 Pow acot exp x0 -2 Mul x0 Pow acot exp x0 -2 -1 Pow Add 1 Mul -1 Mul Mul x0 acoth Mul x0 Pow acot exp x0 -2 Mul x0 acoth Mul x0 Pow acot exp x0 -2 -1 