Algoritmo para leitura de fórmulas

Galera bom dia a todos,

Gostaria de receber algumas sugestões para elaboração de um algoritmo que leia formulas customizadas , até pensei em fazer um serviço em nodeJs , mas minha aplicação está em Laravel PHP , seria fórmulas com variavéis e operações mais ou menos assim e até mesmo recursivas (encadeamentos dentro das operações)

SE(P1*2 (P2+P3 / SE(R1-R2): SENAO (P4+P4) ))

Alguém tem alguma fonte de pesquisa ? Li a respeito dessa biblioteca https://github.com/doctrine/lexer mas não sei se atenderia ao que eu preciso ( O algoritmo será para calculos finais de avaliações)

Qualquer ajuda é bem vinda ..