Details

Time bar (total: 2.4s)

analyze2.0ms (0.1%)

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

Compiled 17 to 12 computations (29.4% saved)

sample1.3s (54.8%)

Symmetry

(sort d2 d3)

Results
1.2s8227×body128valid
52.0ms14×body512valid
2.0ms7×body1024valid
1.0ms8×body256valid
Compiler

Compiled 50 to 35 computations (30% saved)

simplify10.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
114×fma-def_binary64
61×associate-+l+_binary64
40×associate-+r+_binary64
34×distribute-lft-out_binary64
33×+-commutative_binary64
Counts
1 → 2
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01217
12114
25010
312510
421610
523710
624910
723510

prune87.0ms (3.6%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Compiled 75 to 51 computations (32% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series8.0ms (0.3%)

Counts
1 → 36
Calls

1 calls:

8.0ms
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))

rewrite11.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
8×*-un-lft-identity_binary64
5×associate-*r*_binary64
5×add-sqr-sqrt_binary64
3×distribute-lft-out_binary64
3×associate-*l*_binary64
Counts
1 → 26
Calls

1 calls:

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

simplify64.0ms (2.7%)

Algorithm
1×egg-herbie
Rules
961×distribute-rgt-in_binary64
953×distribute-lft-in_binary64
416×associate-*l*_binary64
318×associate-*r*_binary64
261×fma-def_binary64
Counts
62 → 50
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
065687
1163645
2700643
34006643
44316643
55142643

prune75.0ms (3.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New48250
Fresh101
Picked011
Done000
Total49352
Error
0b
Counts
52 → 3
Alt Table
StatusErrorProgram
▶1.5b
(+.f64 (*.f64 d2 d1) (+.f64 (*.f64 d1 d3) (*.f64 37 d1)))
18.7b
(/.f64 (*.f64 d1 (fma.f64 (+.f64 37 d3) (-.f64 -37 d3) (*.f64 d2 d2))) (-.f64 d2 (+.f64 d3 37)))
✓0.0b
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
Compiler

Compiled 712 to 419 computations (41.2% saved)

localize7.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

series19.0ms (0.8%)

Counts
2 → 54
Calls

2 calls:

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

rewrite9.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
9×add-log-exp_binary64
4×sum-log_binary64
2×+-commutative_binary64
2×flip-+_binary64
2×*-un-lft-identity_binary64
Counts
2 → 30
Calls

2 calls:

5.0ms
(+.f64 (*.f64 d2 d1) (+.f64 (*.f64 d1 d3) (*.f64 37 d1)))
3.0ms
(+.f64 (*.f64 d1 d3) (*.f64 37 d1))

simplify75.0ms (3.1%)

Algorithm
1×egg-herbie
Rules
539×fma-def_binary64
530×associate-*l*_binary64
468×fma-neg_binary64
414×associate-*r*_binary64
378×distribute-rgt-in_binary64
Counts
84 → 63
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
065918
1233834
2852826
33375821
44728821
55046821

prune42.0ms (1.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New63063
Fresh011
Picked011
Done011
Total63366
Error
0b
Counts
66 → 3
Alt Table
StatusErrorProgram
✓1.5b
(+.f64 (*.f64 d2 d1) (+.f64 (*.f64 d1 d3) (*.f64 37 d1)))
▶18.7b
(/.f64 (*.f64 d1 (fma.f64 (+.f64 37 d3) (-.f64 -37 d3) (*.f64 d2 d2))) (-.f64 d2 (+.f64 d3 37)))
✓0.0b
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
Compiler

Compiled 1034 to 525 computations (49.2% saved)

localize38.0ms (1.6%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓2.0b
(fma.f64 (+.f64 37 d3) (-.f64 -37 d3) (*.f64 d2 d2))
✓6.5b
(*.f64 d1 (fma.f64 (+.f64 37 d3) (-.f64 -37 d3) (*.f64 d2 d2)))
✓10.7b
(/.f64 (*.f64 d1 (fma.f64 (+.f64 37 d3) (-.f64 -37 d3) (*.f64 d2 d2))) (-.f64 d2 (+.f64 d3 37)))

series115.0ms (4.8%)

Counts
3 → 96
Calls

3 calls:

70.0ms
(/.f64 (*.f64 d1 (fma.f64 (+.f64 37 d3) (-.f64 -37 d3) (*.f64 d2 d2))) (-.f64 d2 (+.f64 d3 37)))
34.0ms
(*.f64 d1 (fma.f64 (+.f64 37 d3) (-.f64 -37 d3) (*.f64 d2 d2)))
10.0ms
(fma.f64 (+.f64 37 d3) (-.f64 -37 d3) (*.f64 d2 d2))

rewrite17.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
17×*-un-lft-identity_binary64
13×add-sqr-sqrt_binary64
10×add-cbrt-cube_binary64
10×add-exp-log_binary64
7×add-cube-cbrt_binary64
Counts
3 → 63
Calls

3 calls:

9.0ms
(/.f64 (*.f64 d1 (fma.f64 (+.f64 37 d3) (-.f64 -37 d3) (*.f64 d2 d2))) (-.f64 d2 (+.f64 d3 37)))
3.0ms
(*.f64 d1 (fma.f64 (+.f64 37 d3) (-.f64 -37 d3) (*.f64 d2 d2)))
0.0ms
(fma.f64 (+.f64 37 d3) (-.f64 -37 d3) (*.f64 d2 d2))

simplify129.0ms (5.4%)

Algorithm
1×egg-herbie
Rules
419×fma-neg_binary64
248×associate-/l*_binary64
220×cancel-sign-sub-inv_binary64
202×times-frac_binary64
179×sub-neg_binary64
Counts
159 → 154
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02514238
17383715
232143593
346203589
449673589

prune119.0ms (5%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1540154
Fresh000
Picked011
Done022
Total1543157
Error
0b
Counts
157 → 3
Alt Table
StatusErrorProgram
✓1.5b
(+.f64 (*.f64 d2 d1) (+.f64 (*.f64 d1 d3) (*.f64 37 d1)))
✓18.7b
(/.f64 (*.f64 d1 (fma.f64 (+.f64 37 d3) (-.f64 -37 d3) (*.f64 d2 d2))) (-.f64 d2 (+.f64 d3 37)))
✓0.0b
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
Compiler

Compiled 4595 to 2834 computations (38.3% saved)

regimes187.0ms (7.8%)

Accuracy

Total 0.0b remaining (69.1%)

Threshold costs 0.0b (69.1%)

Counts
35 → 1
Compiler

Compiled 2502 to 1749 computations (30.1% saved)

simplify2.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
11110
21110

end59.0ms (2.5%)

Remove

(sort d2 d3)

Compiler

Compiled 85 to 58 computations (31.8% saved)

Profiling

Loading profile data...