Details

Time bar (total: 1.6s)

analyze2.0ms (0.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
99.9%0%0.1%1
Compiler

Compiled 11 to 7 computations (36.4% saved)

sample1.0s (64.5%)

Symmetry

(sort d2 d3)

Results
978.0ms8256×body128valid
Compiler

Compiled 32 to 20 computations (37.5% saved)

simplify11.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
4×fma-def_binary64
3×*-commutative_binary64
2×+-commutative_binary64
1×distribute-lft-out_binary64
1×distribute-rgt-out_binary64
Counts
1 → 2
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
077
1137
2187
3187

prune5.0ms (0.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶0.0b
(*.f64 d1 (+.f64 d2 d3))
0.8b
(+.f64 (*.f64 d1 d2) (*.f64 d1 d3))
Compiler

Compiled 51 to 30 computations (41.2% saved)

localize8.0ms (0.5%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 d1 (+.f64 d2 d3))

series12.0ms (0.8%)

Counts
1 → 24
Calls

1 calls:

12.0ms
(*.f64 d1 (+.f64 d2 d3))

rewrite9.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
5×*-un-lft-identity_binary64
5×add-sqr-sqrt_binary64
4×associate-*r*_binary64
3×associate-*l*_binary64
3×add-cube-cbrt_binary64
Counts
1 → 25
Calls

1 calls:

7.0ms
(*.f64 d1 (+.f64 d2 d3))

simplify157.0ms (9.8%)

Algorithm
1×egg-herbie
Rules
935×distribute-rgt-in_binary64
925×distribute-lft-in_binary64
590×fma-def_binary64
549×fma-neg_binary64
280×associate-*l*_binary64
Counts
49 → 42
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
049416
1133386
2419386
31050386
43209386
53409386
64244386
74814386
84885386

prune31.0ms (1.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New42042
Fresh011
Picked011
Done000
Total42244
Error
0b
Counts
44 → 2
Alt Table
StatusErrorProgram
✓0.0b
(*.f64 d1 (+.f64 d2 d3))
▶0.8b
(+.f64 (*.f64 d1 d2) (*.f64 d1 d3))
Compiler

Compiled 445 to 131 computations (70.6% saved)

localize7.0ms (0.5%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.7b
(+.f64 (*.f64 d1 d2) (*.f64 d1 d3))

series9.0ms (0.6%)

Counts
1 → 36
Calls

1 calls:

9.0ms
(+.f64 (*.f64 d1 d2) (*.f64 d1 d3))

rewrite12.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
3×add-log-exp_binary64
1×+-commutative_binary64
1×distribute-lft-out_binary64
1×flip-+_binary64
1×*-un-lft-identity_binary64
Counts
1 → 15
Calls

1 calls:

11.0ms
(+.f64 (*.f64 d1 d2) (*.f64 d1 d3))

simplify129.0ms (8%)

Algorithm
1×egg-herbie
Rules
791×unsub-neg_binary64
551×distribute-rgt-out_binary64
343×distribute-rgt-in_binary64
309×distribute-lft-in_binary64
288×unswap-sqr_binary64
Counts
51 → 28
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
034420
1116402
2419401
31259398
42596398
53843398
64403398
75351398

prune23.0ms (1.4%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New28028
Fresh000
Picked011
Done011
Total28230
Error
0b
Counts
30 → 2
Alt Table
StatusErrorProgram
✓0.0b
(*.f64 d1 (+.f64 d2 d3))
✓0.8b
(+.f64 (*.f64 d1 d2) (*.f64 d1 d3))
Compiler

Compiled 355 to 94 computations (73.5% saved)

regimes73.0ms (4.5%)

Accuracy

Total 0.0b remaining (73.3%)

Threshold costs 0.0b (73.3%)

Counts
6 → 1
Compiler

Compiled 224 to 142 computations (36.6% saved)

simplify4.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
1×+-commutative_binary64
1×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
187
287

end77.0ms (4.8%)

Remove

(sort d2 d3)

Compiler

Compiled 50 to 31 computations (38% saved)

Profiling

Loading profile data...