Reverse mode automatic differentiation based on Spire