Details

Time bar (total: 4.0s)

analyze3.0ms (0.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%0%100%0
0%0%100%1
Compiler

Compiled 53 to 38 computations (28.3% saved)

sample1.2s (28.9%)

Symmetry

(sort a b c d e)

Results
1.1s8256×body128valid
Compiler

Compiled 120 to 85 computations (29.2% saved)

simplify8.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
128×associate-+l+_binary64
99×associate-+r+_binary64
56×+-commutative_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01013
12013
25613
314313
418813
518613
618613

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.4b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶0.4b
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
Compiler

Compiled 42 to 27 computations (35.7% saved)

localize6.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.2b
(+.f64 (+.f64 e d) c)
✓0.3b
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
✓0.3b
(+.f64 (+.f64 (+.f64 e d) c) b)

series20.0ms (0.5%)

Counts
3 → 144
Calls

3 calls:

10.0ms
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
6.0ms
(+.f64 (+.f64 (+.f64 e d) c) b)
4.0ms
(+.f64 (+.f64 e d) c)

rewrite73.0ms (1.8%)

Algorithm
1×batch-egg-rewrite
Rules
436×fma-neg_binary64
236×expm1-udef_binary64
236×log1p-udef_binary64
156×hypot-def_binary64
128×add-sqr-sqrt_binary64
Counts
3 → 123
Calls

3 calls:

70.0ms
(+.f64 (+.f64 e d) c)
70.0ms
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
70.0ms
(+.f64 (+.f64 (+.f64 e d) c) b)
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01030
124230
2362530
3498730

simplify36.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
117×associate-+l+_binary64
52×associate-+r+_binary64
45×+-commutative_binary64
Counts
267 → 146
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0241248
1591248
21321248
31891248
41861248
51861248

prune125.0ms (3.1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New1406146
Fresh000
Picked101
Done000
Total1416147
Error
0b
Counts
147 → 6
Alt Table
StatusErrorProgram
0.5b
(+.f64 (fma.f64 (sqrt.f64 (+.f64 (+.f64 e d) c)) (sqrt.f64 (+.f64 (+.f64 e d) c)) b) a)
0.4b
(+.f64 (+.f64 c (+.f64 d (+.f64 b e))) a)
0.4b
(+.f64 (+.f64 (fma.f64 (sqrt.f64 e) (sqrt.f64 e) (+.f64 d c)) b) a)
1.2b
(pow.f64 (cbrt.f64 (+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)) 3)
▶0.3b
(+.f64 c (+.f64 e (+.f64 (+.f64 d b) a)))
0.3b
(fma.f64 1 (+.f64 (+.f64 e d) c) (+.f64 b a))
Compiler

Compiled 2530 to 802 computations (68.3% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.2b
(+.f64 e (+.f64 (+.f64 d b) a))
✓0.2b
(+.f64 (+.f64 d b) a)
✓0.2b
(+.f64 c (+.f64 e (+.f64 (+.f64 d b) a)))

series18.0ms (0.4%)

Counts
3 → 144
Calls

3 calls:

8.0ms
(+.f64 c (+.f64 e (+.f64 (+.f64 d b) a)))
6.0ms
(+.f64 e (+.f64 (+.f64 d b) a))
4.0ms
(+.f64 (+.f64 d b) a)

rewrite76.0ms (1.9%)

Algorithm
1×batch-egg-rewrite
Rules
868×fma-def_binary64
428×fma-neg_binary64
236×expm1-udef_binary64
236×log1p-udef_binary64
190×egg-rr
Counts
3 → 190
Calls

3 calls:

72.0ms
(+.f64 e (+.f64 (+.f64 d b) a))
72.0ms
(+.f64 (+.f64 d b) a)
72.0ms
(+.f64 c (+.f64 e (+.f64 (+.f64 d b) a)))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01030
124230
2364430
3567530

simplify36.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
127×associate-+l+_binary64
62×associate-+r+_binary64
48×+-commutative_binary64
Counts
334 → 210
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0211248
1481248
21231248
31871248
41861248
51861248

prune144.0ms (3.6%)

Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New2064210
Fresh415
Picked101
Done000
Total2115216
Error
0b
Counts
216 → 5
Alt Table
StatusErrorProgram
0.4b
(+.f64 (+.f64 (fma.f64 (sqrt.f64 e) (sqrt.f64 e) (+.f64 d c)) b) a)
1.2b
(pow.f64 (cbrt.f64 (+.f64 c (+.f64 e (+.f64 (+.f64 d b) a)))) 3)
0.4b
(+.f64 c (+.f64 e (exp.f64 (log.f64 (+.f64 (+.f64 d b) a)))))
▶0.2b
(fma.f64 (+.f64 c e) 1 (+.f64 (+.f64 d b) a))
0.2b
(fma.f64 1 (+.f64 e (+.f64 d b)) (+.f64 a c))
Compiler

Compiled 3430 to 1005 computations (70.7% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
0.2b
(+.f64 (+.f64 d b) a)
✓0.2b
(fma.f64 (+.f64 c e) 1 (+.f64 (+.f64 d b) a))

series11.0ms (0.3%)

Counts
1 → 60
Calls

1 calls:

11.0ms
(fma.f64 (+.f64 c e) 1 (+.f64 (+.f64 d b) a))

rewrite55.0ms (1.4%)

Algorithm
1×batch-egg-rewrite
Rules
610×fma-def_binary64
301×fma-neg_binary64
225×expm1-udef_binary64
225×log1p-udef_binary64
125×add-sqr-sqrt_binary64
Counts
1 → 25
Calls

1 calls:

54.0ms
(fma.f64 (+.f64 c e) 1 (+.f64 (+.f64 d b) a))
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01114
124213
2323613
3501813

simplify20.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
125×associate-+l+_binary64
60×associate-+r+_binary64
52×+-commutative_binary64
Counts
85 → 38
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
019645
146645
2121645
3187645
4186645
5186645

prune68.0ms (1.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New1040104
Fresh044
Picked011
Done000
Total1045109
Error
0b
Counts
109 → 5
Alt Table
StatusErrorProgram
0.4b
(+.f64 (+.f64 (fma.f64 (sqrt.f64 e) (sqrt.f64 e) (+.f64 d c)) b) a)
1.2b
(pow.f64 (cbrt.f64 (+.f64 c (+.f64 e (+.f64 (+.f64 d b) a)))) 3)
0.4b
(+.f64 c (+.f64 e (exp.f64 (log.f64 (+.f64 (+.f64 d b) a)))))
✓0.2b
(fma.f64 (+.f64 c e) 1 (+.f64 (+.f64 d b) a))
▶0.2b
(fma.f64 1 (+.f64 e (+.f64 d b)) (+.f64 a c))
Compiler

Compiled 1616 to 559 computations (65.4% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.1b
(+.f64 e (+.f64 d b))
✓0.3b
(fma.f64 1 (+.f64 e (+.f64 d b)) (+.f64 a c))

series14.0ms (0.4%)

Counts
2 → 96
Calls

2 calls:

10.0ms
(fma.f64 1 (+.f64 e (+.f64 d b)) (+.f64 a c))
4.0ms
(+.f64 e (+.f64 d b))

rewrite62.0ms (1.5%)

Algorithm
1×batch-egg-rewrite
Rules
598×fma-def_binary64
297×fma-neg_binary64
225×expm1-udef_binary64
225×log1p-udef_binary64
124×add-sqr-sqrt_binary64
Counts
2 → 89
Calls

2 calls:

60.0ms
(+.f64 e (+.f64 d b))
60.0ms
(fma.f64 1 (+.f64 e (+.f64 d b)) (+.f64 a c))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01120
124120
2325820
3502320

simplify26.0ms (0.6%)

Algorithm
1×egg-herbie
Rules
125×associate-+l+_binary64
60×associate-+r+_binary64
52×+-commutative_binary64
Counts
185 → 104
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
019852
146852
2121852
3187852
4186852
5186852

prune66.0ms (1.7%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New1040104
Fresh033
Picked011
Done011
Total1045109
Error
0b
Counts
109 → 5
Alt Table
StatusErrorProgram
0.4b
(+.f64 (+.f64 (fma.f64 (sqrt.f64 e) (sqrt.f64 e) (+.f64 d c)) b) a)
1.2b
(pow.f64 (cbrt.f64 (+.f64 c (+.f64 e (+.f64 (+.f64 d b) a)))) 3)
0.4b
(+.f64 c (+.f64 e (exp.f64 (log.f64 (+.f64 (+.f64 d b) a)))))
✓0.2b
(fma.f64 (+.f64 c e) 1 (+.f64 (+.f64 d b) a))
✓0.2b
(fma.f64 1 (+.f64 e (+.f64 d b)) (+.f64 a c))
Compiler

Compiled 1682 to 531 computations (68.4% saved)

regimes1.9s (46.4%)

Accuracy

Total 0.2b remaining (89.8%)

Threshold costs 0.2b (89.8%)

Counts
178 → 1
Compiler

Compiled 33731 to 21381 computations (36.6% saved)

simplify2.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01013
11413
21413

end98.0ms (2.4%)

Remove

(sort a b c d e)

Compiler

Compiled 136 to 89 computations (34.6% saved)

Profiling

Loading profile data...