acoth Add x0 Mul exp x0 Pow Add Mul x0 asech x3 -3 Mul 16384 pi 
Mul Add 1 Add Mul Pow Add Mul x0 asech x3 -3 Mul 16384 pi exp x0 Mul exp x0 Mul Pow Add Mul x0 asech x3 -3 Add Mul 16384 pi -1 Mul Mul 16384 pi asech x3 Pow Add 1 Mul -1 Mul Add x0 Mul exp x0 Pow Add Mul x0 asech x3 -3 Mul 16384 pi Add x0 Mul exp x0 Pow Add Mul x0 asech x3 -3 Mul 16384 pi -1 