Details

Time bar (total: 2.3s)

analyze475.0ms (20.5%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
0%99.9%0.1%6
12.5%87.4%0.1%7
37.4%62.4%0.1%8
40.6%56.9%2.5%9
45.2%50.7%4%10
57.7%33.5%8.7%11
59.7%29.4%11%12
62%25%13%13
68.3%17.4%14.4%14
Compiler

Compiled 17 to 12 computations (29.4% saved)

sample1.1s (49.3%)

Symmetry

(sort d2 d3)

Results
996.0ms8208×body128valid
75.0ms683×body128invalid
20.0ms19×body1024valid
6.0ms18×body512valid
2.0ms11×body256valid
Compiler

Compiled 50 to 35 computations (30% saved)

simplify10.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
114×fma-def_binary64
59×associate-+l+_binary64
40×associate-+r+_binary64
34×distribute-lft-out_binary64
27×+-commutative_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01217
12114
25110
315910
430510
540810
642010
Stop Event
1×saturated
Counts
1 → 2

prune3.0ms (0.1%)

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
▶0.0b
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
0.0b
(+.f64 (+.f64 (*.f64 d1 d2) (*.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
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 37 (+.f64 d2 d3)))

series8.0ms (0.3%)

Counts
1 → 36
Calls

1 calls:

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

rewrite51.0ms (2.2%)

Algorithm
1×batch-egg-rewrite
Rules
680×prod-diff_binary64
301×fma-def_binary64
173×expm1-udef_binary64
173×log1p-udef_binary64
149×fma-neg_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
118710
2271210
Stop Event
1×node limit
Counts
1 → 53
Calls

1 calls:

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

simplify21.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
27×fma-def_binary64
9×+-commutative_binary64
8×*-commutative_binary64
4×associate-+r+_binary64
4×distribute-rgt-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
021330
149330
269330
381330
Stop Event
1×saturated
Counts
89 → 65

prune45.0ms (1.9%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New63265
Fresh101
Picked011
Done000
Total64367
Error
0b
Counts
67 → 3
Alt Table
StatusErrorProgram
▶0.0b
(fma.f64 d1 37 (*.f64 d1 (+.f64 d2 d3)))
✓0.0b
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
0.0b
(+.f64 (*.f64 (+.f64 37 d2) d1) (*.f64 d3 d1))
Compiler

Compiled 826 to 381 computations (53.9% saved)

localize6.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

series15.0ms (0.7%)

Counts
2 → 60
Calls

2 calls:

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

rewrite44.0ms (1.9%)

Algorithm
1×batch-egg-rewrite
Rules
901×expm1-log1p-u_binary64
813×prod-diff_binary64
91×add-sqr-sqrt_binary64
87×log1p-expm1-u_binary64
86×add-cbrt-cube_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0818
117617
2240917
Stop Event
1×node limit
Counts
2 → 51
Calls

2 calls:

43.0ms
(*.f64 d1 (+.f64 d2 d3))
43.0ms
(fma.f64 d1 37 (*.f64 d1 (+.f64 d2 d3)))

simplify18.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
28×fma-def_binary64
9×+-commutative_binary64
8×*-commutative_binary64
5×associate-+r+_binary64
5×distribute-rgt-in_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
017499
138480
267480
386480
487480
Stop Event
1×saturated
Counts
111 → 64

prune32.0ms (1.4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New64064
Fresh011
Picked011
Done011
Total64367
Error
0b
Counts
67 → 3
Alt Table
StatusErrorProgram
✓0.0b
(fma.f64 d1 37 (*.f64 d1 (+.f64 d2 d3)))
✓0.0b
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
▶0.0b
(+.f64 (*.f64 (+.f64 37 d2) d1) (*.f64 d3 d1))
Compiler

Compiled 806 to 388 computations (51.9% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series9.0ms (0.4%)

Counts
1 → 36
Calls

1 calls:

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

rewrite46.0ms (2%)

Algorithm
1×batch-egg-rewrite
Rules
501×log-prod_binary64
422×fma-def_binary64
196×fma-neg_binary64
187×expm1-udef_binary64
187×log1p-udef_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0910
120210
2278710
Stop Event
1×node limit
Counts
1 → 69
Calls

1 calls:

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

simplify14.0ms (0.6%)

Algorithm
1×egg-herbie
Rules
29×fma-def_binary64
10×+-commutative_binary64
8×*-commutative_binary64
6×distribute-rgt-in_binary64
5×associate-+l+_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
019391
144330
272330
387330
Stop Event
1×saturated
Counts
105 → 80

prune44.0ms (1.9%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New80080
Fresh000
Picked011
Done022
Total80383
Error
0b
Counts
83 → 3
Alt Table
StatusErrorProgram
✓0.0b
(fma.f64 d1 37 (*.f64 d1 (+.f64 d2 d3)))
✓0.0b
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
✓0.0b
(+.f64 (*.f64 (+.f64 37 d2) d1) (*.f64 d3 d1))
Compiler

Compiled 1140 to 625 computations (45.2% saved)

regimes123.0ms (5.3%)

Accuracy

Total 0.0b remaining (70.8%)

Threshold costs 0.0b (70.8%)

Counts
26 → 1
Compiler

Compiled 1554 to 1066 computations (31.4% saved)

simplify2.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0811
11011
Stop Event
1×saturated

end201.0ms (8.7%)

Compiler

Compiled 77 to 50 computations (35.1% saved)

Profiling

Loading profile data...