# \#symbolics

**URL:** https://discourse.julialang.org/tag/symbolics/640.md

[Latest](https://discourse.julialang.org/latest.md) · [Categories](https://discourse.julialang.org/categories.md) · [Tags](https://discourse.julialang.org/tags.md)

---

## [Symbolics Equality](https://discourse.julialang.org/t/symbolics-equality/102803)

<div class="topic-metadata">

**Author:** [@Allan\_Baker](https://discourse.julialang.org/u/Allan_Baker)\
**Replies:** 9\
**Last updated:** [September 12, 2026, 9:16am UTC](https://discourse.julialang.org/t/symbolics-equality/102803 "2026-09-12T09:16:21Z")

</div>

I’m trying to extend some modules to work with Symbolics by getting rid of Bool conditionals and divide by zero checks etc. I’m trying to add some unit tests and I want to test if two symbolic equations are equivalent. …

---

## [Can Symbolics/MTK split the generated RHS into multiple smaller functions?](https://discourse.julialang.org/t/can-symbolics-mtk-split-the-generated-rhs-into-multiple-smaller-functions/138469)

<div class="topic-metadata">

**Author:** [@Bart\_van\_de\_Lint](https://discourse.julialang.org/u/Bart_van_de_Lint)\
**Replies:** 1\
**Last updated:** [July 26, 2026, 7:39pm UTC](https://discourse.julialang.org/t/can-symbolics-mtk-split-the-generated-rhs-into-multiple-smaller-functions/138469 "2026-07-26T19:39:39Z")

</div>

I have a large ModelingToolkit model. mtkcompile inlines ~32k observed equations into a single big RHS function in around 60 seconds, and first-call compilation of that one function takes \>1000 s (dominated by type infer…

---

## [Trying Julia for Analytic combinatorics](https://discourse.julialang.org/t/trying-julia-for-analytic-combinatorics/103682)

<div class="topic-metadata">

**Author:** [@fargolo](https://discourse.julialang.org/u/fargolo)\
**Replies:** 10\
**Last updated:** [July 9, 2026, 10:22pm UTC](https://discourse.julialang.org/t/trying-julia-for-analytic-combinatorics/103682 "2026-07-09T22:22:11Z")

</div>

Hello, fellow colleagues in the Julia community. This question may not be a good fit for the Julia Discourse, but any help is appreciated. I was exploring Analytic Combinatorics (by Flajolet & Sedgewick). The part abou…

---

## [Symbolics Build Function and Display of Code in Pluto](https://discourse.julialang.org/t/symbolics-build-function-and-display-of-code-in-pluto/102395)

<div class="topic-metadata">

**Author:** [@Allan\_Baker](https://discourse.julialang.org/u/Allan_Baker)\
**Replies:** 3\
**Last updated:** [June 14, 2026, 2:11pm UTC](https://discourse.julialang.org/t/symbolics-build-function-and-display-of-code-in-pluto/102395 "2026-06-14T14:11:19Z")

</div>

I’m trying to make an example Pluto notebook, showing how some Julia functions can be manipulated by Symbolics and Converted to C. This all looks nice. But I don’t know the syntax once the function has generated C code…

---

## [Converting an expression to a specific form with Symbolics.jl](https://discourse.julialang.org/t/converting-an-expression-to-a-specific-form-with-symbolics-jl/137160)

<div class="topic-metadata">

**Author:** [@owiecc](https://discourse.julialang.org/u/owiecc)\
**Replies:** 1\
**Last updated:** [May 19, 2026, 8:14pm UTC](https://discourse.julialang.org/t/converting-an-expression-to-a-specific-form-with-symbolics-jl/137160 "2026-05-19T20:14:31Z")

</div>

I would like to convert an expression to a specific mathematical form. Is this possible to do with Symbolics.jl (or any other package for that matter)? Specifically I would like to convert an arbitrary transfer function G…

---

## [Unpredictable Compilation Performance of MTK-Generated Functions](https://discourse.julialang.org/t/unpredictable-compilation-performance-of-mtk-generated-functions/136827)

<div class="topic-metadata">

**Author:** [@chen\_hardworking](https://discourse.julialang.org/u/chen_hardworking)\
**Replies:** 19\
**Last updated:** [April 24, 2026, 5:14am UTC](https://discourse.julialang.org/t/unpredictable-compilation-performance-of-mtk-generated-functions/136827 "2026-04-24T05:14:18Z")

</div>

Problem Statement: I am reporting a critical bottleneck regarding the compilation and loading stability of functions generated by ModelingToolkit.jl. My experience shows that the complexity of the generated symbolic Jaco…

---

## [Symbolics.jl simplify exp(0) to 1](https://discourse.julialang.org/t/symbolics-jl-simplify-exp-0-to-1/135970)

<div class="topic-metadata">

**Author:** [@jhai](https://discourse.julialang.org/u/jhai)\
**Replies:** 1\
**Last updated:** [March 2, 2026, 6:47pm UTC](https://discourse.julialang.org/t/symbolics-jl-simplify-exp-0-to-1/135970 "2026-03-02T18:47:55Z")

</div>

I’m trying to check a system of linear differential equations using symbolic variables: X'(t)=R(\\alpha)X(t) This is my code using Symbolics using SymbolicUtils using LinearAlgebra @variables α t R = \[cos(α) -sin(α);…

---

## [How to continue (vector calculus) abuse of notation in Julia?](https://discourse.julialang.org/t/how-to-continue-vector-calculus-abuse-of-notation-in-julia/135593)

<div class="topic-metadata">

**Author:** [@Abhro](https://discourse.julialang.org/u/Abhro)\
**Replies:** 2\
**Last updated:** [February 13, 2026, 6:24pm UTC](https://discourse.julialang.org/t/how-to-continue-vector-calculus-abuse-of-notation-in-julia/135593 "2026-02-13T18:24:47Z")

</div>

Is there an idiomatic way to get the curl of a symbolic vector field using Symbolics.jl? I’m trying the following using Symbolics, LinearAlgebra @variables x y z @variables A₁(x,y,z) A₂(x,y,z) A₃(x,y,z) ∇ = \[Differentia…

---

## [Circular dependencies detected](https://discourse.julialang.org/t/circular-dependencies-detected/135481)

<div class="topic-metadata">

**Author:** [@ufechner7](https://discourse.julialang.org/u/ufechner7)\
**Replies:** 3\
**Last updated:** [February 5, 2026, 5:44pm UTC](https://discourse.julialang.org/t/circular-dependencies-detected/135481 "2026-02-05T17:44:12Z")

</div>

I am getting this warning: ┌ Warning: Circular dependency detected. │ Precompilation will be skipped for dependencies in this cycle: │ ┌ Symbolics → SymbolicsPreallocationToolsExt │ └─ Symbolics → SymbolicsForwardDiff…

---

## [Convert symbolic expression to floating point?](https://discourse.julialang.org/t/convert-symbolic-expression-to-floating-point/107788)

<div class="topic-metadata">

**Author:** [@Krastanov](https://discourse.julialang.org/u/Krastanov)\
**Replies:** 2\
**Last updated:** [February 5, 2026, 12:05pm UTC](https://discourse.julialang.org/t/convert-symbolic-expression-to-floating-point/107788 "2026-02-05T12:05:55Z")

</div>

This is about Symbolics.jl I have a variableless symbolic expression wrap(Term(sqrt, \[2\])) as a way to represent an irrational constant symbolically. But at some point I want to actually compute the floating point value…

---

## [Interactive equation solver](https://discourse.julialang.org/t/interactive-equation-solver/135367)

<div class="topic-metadata">

**Author:** [@dharmatech](https://discourse.julialang.org/u/dharmatech)\
**Replies:** 1\
**Last updated:** [January 31, 2026, 11:02am UTC](https://discourse.julialang.org/t/interactive-equation-solver/135367 "2026-01-31T11:02:23Z")

</div>

Hello :man\_raising\_hand: Are there any projects that provide an interactive equation solver for Symbolics.jl? Here’s an example of what I mean, but for sympy/Python: Just curious to review any existing w…

---

## [Symbolic.jl: testing for equality of expressions (with no unknown variables)](https://discourse.julialang.org/t/symbolic-jl-testing-for-equality-of-expressions-with-no-unknown-variables/135188)

<div class="topic-metadata">

**Author:** [@Grass](https://discourse.julialang.org/u/Grass)\
**Replies:** 1\
**Last updated:** [January 21, 2026, 5:42pm UTC](https://discourse.julialang.org/t/symbolic-jl-testing-for-equality-of-expressions-with-no-unknown-variables/135188 "2026-01-21T17:42:29Z")

</div>

The purpose of this script is to show that the bijection f (represented by the matrix bijection below) I constructed, from the dihedral group D\_6 to the symmetric group S\_3 on 3 letters, is an isomorphism. I tried to ex…

---

## [Is it possible to apply rules on Differentials in Symbolics.jl?](https://discourse.julialang.org/t/is-it-possible-to-apply-rules-on-differentials-in-symbolics-jl/134936)

<div class="topic-metadata">

**Author:** [@AwesomeQuest](https://discourse.julialang.org/u/AwesomeQuest)\
**Replies:** 3\
**Last updated:** [January 9, 2026, 10:01am UTC](https://discourse.julialang.org/t/is-it-possible-to-apply-rules-on-differentials-in-symbolics-jl/134936 "2026-01-09T10:01:08Z")

</div>

I’m trying to apply the chain rule to effectively do a change of variables but I can’t figure out a rule that works. Here is an example that I think should work. @variables a b c(a,b) r = @rule Differential(a)(~x) =\> D…

---

## [\[ANN\] SymbolicIntegration.jl - indefinite integration with Symbolics.jl symbols](https://discourse.julialang.org/t/ann-symbolicintegration-jl-indefinite-integration-with-symbolics-jl-symbols/134777)

<div class="topic-metadata">

**Author:** [@CiccioPasticcio](https://discourse.julialang.org/u/CiccioPasticcio)\
**Replies:** 28\
**Last updated:** [January 5, 2026, 10:12am UTC](https://discourse.julialang.org/t/ann-symbolicintegration-jl-indefinite-integration-with-symbolics-jl-symbols/134777 "2026-01-05T10:12:25Z")

</div>

For a while now I have been developing SymbolicIntegration.jl, that lets you solve symbolic integrals in julia! it has for now two different methods to arrive at the antiderivative: Risch algorithm Rule based method us…

---

## [Second derivatives in Latexify](https://discourse.julialang.org/t/second-derivatives-in-latexify/134140)

<div class="topic-metadata">

**Author:** [@omerc](https://discourse.julialang.org/u/omerc)\
**Replies:** 0\
**Last updated:** [November 26, 2025, 12:10pm UTC](https://discourse.julialang.org/t/second-derivatives-in-latexify/134140 "2025-11-26T12:10:25Z")

</div>

Hi, I’m using the Symbolics package to generate a partial differential equation, and then Latexify to turn that into a Latex string for use in a manuscript that I’m writing. Essentially, I’m trying to write down the La…

---

## [\`Symbolics.value\` behavior change](https://discourse.julialang.org/t/symbolics-value-behavior-change/134024)

<div class="topic-metadata">

**Author:** [@AronT](https://discourse.julialang.org/u/AronT)\
**Replies:** 3\
**Last updated:** [November 26, 2025, 11:13am UTC](https://discourse.julialang.org/t/symbolics-value-behavior-change/134024 "2025-11-26T11:13:25Z")

</div>

A preface to this question. I use Symbolics.jl purely for study purposes and this is not an urgent question that impacts my work. Nor am I in anyway an expert in either mathematics or Julia. So a few weeks ago as parts …

---

## [Symbolic Fourier Transforms for Educational DSP](https://discourse.julialang.org/t/symbolic-fourier-transforms-for-educational-dsp/134001)

<div class="topic-metadata">

**Author:** [@franalbani](https://discourse.julialang.org/u/franalbani)\
**Replies:** 1\
**Last updated:** [November 20, 2025, 1:58pm UTC](https://discourse.julialang.org/t/symbolic-fourier-transforms-for-educational-dsp/134001 "2025-11-20T13:58:38Z")

</div>

Hi! I’m new to Julia and wondering if its the right tool for a educational project. I would like to make a program that lets the user (a teacher or student) to select and customize some elemental signals that will then…

---

## [Simplification in Symbolics v7](https://discourse.julialang.org/t/simplification-in-symbolics-v7/133974)

<div class="topic-metadata">

**Author:** [@bernardofpc](https://discourse.julialang.org/u/bernardofpc)\
**Replies:** 1\
**Last updated:** [November 19, 2025, 3:55pm UTC](https://discourse.julialang.org/t/simplification-in-symbolics-v7/133974 "2025-11-19T15:55:58Z")

</div>

I have read Basic expression manipulation with Symbolics.jl - #2 by Gravlax but found no issue, so I’m asking again with some very simple examples to understand if there is a reason for the three results below: julia\> s…

---

## [Taylor series from symbolics uses wrong rational approximations](https://discourse.julialang.org/t/taylor-series-from-symbolics-uses-wrong-rational-approximations/133971)

<div class="topic-metadata">

**Author:** [@bernardofpc](https://discourse.julialang.org/u/bernardofpc)\
**Replies:** 6\
**Last updated:** [November 19, 2025, 8:11am UTC](https://discourse.julialang.org/t/taylor-series-from-symbolics-uses-wrong-rational-approximations/133971 "2025-11-19T08:11:14Z")

</div>

I am calculating a Taylor series and I get strange rational numbers where they should not appear. A minimal example is the following: pkg\> st Status \[REDACTED\] \[163ba53b\] DiffResults v1.1.0 \[f6369f11\] ForwardDiff v…

---

## [Symbolics.jl: \`simplify\` is inconsistent when changing the number of terms](https://discourse.julialang.org/t/symbolics-jl-simplify-is-inconsistent-when-changing-the-number-of-terms/133751)

<div class="topic-metadata">

**Author:** [@JaydevSR](https://discourse.julialang.org/u/JaydevSR)\
**Replies:** 3\
**Last updated:** [November 9, 2025, 4:15pm UTC](https://discourse.julialang.org/t/symbolics-jl-simplify-is-inconsistent-when-changing-the-number-of-terms/133751 "2025-11-09T16:15:31Z")

</div>

I am using simplify for the below terms: for which I get the following result: As you can see that depending on the number of terms in the expressions, it gives inconsistent results. For some terms it’s able to c…

---

## [Automatic symbolic function barrier generation](https://discourse.julialang.org/t/automatic-symbolic-function-barrier-generation/133487)

<div class="topic-metadata">

**Author:** [@sablonl](https://discourse.julialang.org/u/sablonl)\
**Replies:** 0\
**Last updated:** [October 28, 2025, 4:00pm UTC](https://discourse.julialang.org/t/automatic-symbolic-function-barrier-generation/133487 "2025-10-28T16:00:10Z")

</div>

Hi, I’m working with ModelingToolkit.jl and I have an issue with complex symbolic expressions, on which mtkcompile takes a lot of time. I discovered that I can hide expressions behind a function barrier using @register…

---

## [How to extract the free term of a polynomial with symbolic coefficients?](https://discourse.julialang.org/t/how-to-extract-the-free-term-of-a-polynomial-with-symbolic-coefficients/132326)

<div class="topic-metadata">

**Author:** [@Gregstrq](https://discourse.julialang.org/u/Gregstrq)\
**Replies:** 2\
**Last updated:** [October 9, 2025, 7:37am UTC](https://discourse.julialang.org/t/how-to-extract-the-free-term-of-a-polynomial-with-symbolic-coefficients/132326 "2025-10-09T07:37:18Z")

</div>

Let’s say, I use Symbolics.jl to define a polynomial in λ with symbolic coefficients. using Symbolics @variables λ p q f = λ^3 + p\*λ + q How do I get the free term of the polynomial with respect to λ? I can use Symbo…

---

## [Seek efficient fast manipulation of power series](https://discourse.julialang.org/t/seek-efficient-fast-manipulation-of-power-series/132084)

<div class="topic-metadata">

**Author:** [@TonyRoberts](https://discourse.julialang.org/u/TonyRoberts)\
**Replies:** 19\
**Last updated:** [September 19, 2025, 12:36am UTC](https://discourse.julialang.org/t/seek-efficient-fast-manipulation-of-power-series/132084 "2025-09-19T00:36:14Z")

</div>

I am investigating changing from Reduce computer algebra to Julia symbolics. My main first need is efficient manipulation of power series (aiming for multiple small variables, and coefficients being complicated algebr…

---

## [Simplifying trigonometric expressions in \`Symbolics\` and \`SymbolicUtils\`](https://discourse.julialang.org/t/simplifying-trigonometric-expressions-in-symbolics-and-symbolicutils/132160)

<div class="topic-metadata">

**Author:** [@Shuvomoy\_Das\_Gupta](https://discourse.julialang.org/u/Shuvomoy_Das_Gupta)\
**Replies:** 1\
**Last updated:** [September 7, 2025, 10:33pm UTC](https://discourse.julialang.org/t/simplifying-trigonometric-expressions-in-symbolics-and-symbolicutils/132160 "2025-09-07T22:33:42Z")

</div>

Hi, I am new to Symbolics.jl and trying to verify the following trigonometric expression arising in energy system using the package: \\begin{align\*} v\_k(t) &= \\bar{V} \\cos(\\omega t + \\phi\_k) \\\\ i\_k(t) &=…

---

## [Metaprogramming | String to Symbolics Num; eval(Meta.parse(. . .))](https://discourse.julialang.org/t/metaprogramming-string-to-symbolics-num-eval-meta-parse/132078)

<div class="topic-metadata">

**Author:** [@Audrius-St](https://discourse.julialang.org/u/Audrius-St)\
**Replies:** 3\
**Last updated:** [September 4, 2025, 7:32pm UTC](https://discourse.julialang.org/t/metaprogramming-string-to-symbolics-num-eval-meta-parse/132078 "2025-09-04T19:32:36Z")

</div>

Hello, Context. I am using SymPy.solveset(. . .) within a function to solve an equation. I first convert the Symbolics Num equation to a string, pass it to the function, and within the function use SymPy.sympy.parse\_ex…

---

## [Complex Piecewise function](https://discourse.julialang.org/t/complex-piecewise-function/131681)

<div class="topic-metadata">

**Author:** [@Sergey\_Novak](https://discourse.julialang.org/u/Sergey_Novak)\
**Replies:** 1\
**Last updated:** [August 18, 2025, 3:48pm UTC](https://discourse.julialang.org/t/complex-piecewise-function/131681 "2025-08-18T15:48:06Z")

</div>

Hello, Can I add this function using Symbolics.jl? I know about ifelse, but I haven’t found any examples with multiple conditions. Thanks for your help

---

## [Symbolics.jl and Latexify.jl: customize latex representations?](https://discourse.julialang.org/t/symbolics-jl-and-latexify-jl-customize-latex-representations/72180)

<div class="topic-metadata">

**Author:** [@adomasbaliuka](https://discourse.julialang.org/u/adomasbaliuka)\
**Replies:** 4\
**Last updated:** [August 15, 2025, 3:00pm UTC](https://discourse.julialang.org/t/symbolics-jl-and-latexify-jl-customize-latex-representations/72180 "2025-08-15T15:00:52Z")

</div>

(Julia 1.6) I deal with equations from publications and the variables there have lots of subscripts and superscripts. They cannot be represented as Julia variable names and I would prefer not to compromise. For example,…

---

## [Questions about Simplification and Performance in Symbolics.jl](https://discourse.julialang.org/t/questions-about-simplification-and-performance-in-symbolics-jl/130942)

<div class="topic-metadata">

**Author:** [@Maysam\_Gholampour](https://discourse.julialang.org/u/Maysam_Gholampour)\
**Replies:** 0\
**Last updated:** [July 22, 2025, 1:07pm UTC](https://discourse.julialang.org/t/questions-about-simplification-and-performance-in-symbolics-jl/130942 "2025-07-22T13:07:01Z")

</div>

Dear all, I have two questions regarding the use of Symbolics.jl, particularly around simplification and performance behavior. 1. Mathematical Identity Simplification It seems that Symbolics.jl does not simplify certa…

---

## [Solving a free-boundary PDE by mapping to a fixed domain](https://discourse.julialang.org/t/solving-a-free-boundary-pde-by-mapping-to-a-fixed-domain/131006)

<div class="topic-metadata">

**Author:** [@naoufelcre](https://discourse.julialang.org/u/naoufelcre)\
**Replies:** 0\
**Last updated:** [July 24, 2025, 2:21pm UTC](https://discourse.julialang.org/t/solving-a-free-boundary-pde-by-mapping-to-a-fixed-domain/131006 "2025-07-24T14:21:34Z")

</div>

Hello everyone, I’m trying to solve a 1-D Free Boundary PDE using Julia and it is my first time manipulating the language for such a complex problem so I apologize if this sounds trivial to most of you. Basically, the …

---

## [Getting warning, but model works well](https://discourse.julialang.org/t/getting-warning-but-model-works-well/130850)

<div class="topic-metadata">

**Author:** [@Bart\_van\_de\_Lint](https://discourse.julialang.org/u/Bart_van_de_Lint)\
**Replies:** 5\
**Last updated:** [July 19, 2025, 2:11am UTC](https://discourse.julialang.org/t/getting-warning-but-model-works-well/130850 "2025-07-19T02:11:41Z")

</div>

I am getting this warning during mtkcompile, while I was not getting it before. It might be related to an update in StructuralTransformations. The model still works fine. How can I disable the warning? ┌ Warning: Intern…

[Next page](https://discourse.julialang.org/tag/symbolics/640.md?match_all_tags=true&page=1&tags%5B%5D=symbolics)