Details

Time bar (total: 7.1s)

analyze259.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%0%100%0
0%0%100%1
0%0%100%2
0%0%100%3
0%0%100%4
0%0%100%5
0%0%100%6
0%0%100%7
0%0%100%8
0%0%100%9
0%0%100%10
0%0%100%11
0%0%100%12
0%0%100%13
0%0%100%14

sample42.0ms

Algorithm
intervals
Results
15.0ms164×body160valid
8.0ms300×pre80true
5.0ms36×body320valid
3.0ms56×body80valid
2.0ms44×body80nan

simplify128.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (109.0ms)

IterNodesCost
0488924
1488924

prune4.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 42.8b

Counts
2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

0.1b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
0.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
0.2b
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b) (*.f64 a 2))
38.6b
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt_binary64
13×*-un-lft-identity_binary64
9×add-exp-log_binary64 add-cbrt-cube_binary64
8×add-log-exp_binary64
7×add-cube-cbrt_binary64
6×difference-of-squares_binary64 associate-/l*_binary64 times-frac_binary64 sqrt-prod_binary64
5×pow1_binary64 flip3--_binary64 flip--_binary64
4×insert-posit16
3×distribute-lft-out--_binary64
2×associate-/l/_binary64 sub-neg_binary64 diff-log_binary64 cbrt-undiv_binary64 consolidate-/-/-b_binary64_1 div-exp_binary64 sqrt-div_binary64
1×associate-/r*_binary64 pow1/2_binary64 cbrt-unprod_binary64 sqrt-pow1_binary64 div-sub_binary64 rem-sqrt-square_binary64 clear-num_binary64 prod-exp_binary64 frac-2neg_binary64 div-inv_binary64
Counts
4 → 76
Calls
4 calls:
5.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
5.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
15.0ms
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b) (*.f64 a 2))
10.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)

series588.0ms

Counts
4 → 12
Calls
4 calls:
140.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
139.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
165.0ms
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b) (*.f64 a 2))
144.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0383555
1383555
0219
1219
0383555
1383555
0219
1219
013
113
0293609
1293609
0239
1239
0293609
1293609
0239
1239
013
113
0283510
1283510
0169
1169
0283510
1283510
0169
1169
013
113
0293528
1293528
0179
1179
0293528
1293528
0179
1179
013
113

simplify104.0ms

Counts
88 → 88
Iterations

Useful iterations: 0 (72.0ms)

IterNodesCost
053491966

prune134.0ms

Filtered
62 candidates to 88 candidates (-41.9%)
Pruning

25 alts after pruning (25 fresh and 0 done)

PrunedKeptTotal
New632588
Fresh000
Picked101
Done000
Total642589

Merged error: 39.4b

Counts
89 → 25

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b
(+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
0.2b
(/.f64 (-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
0.2b
(/.f64 (/.f64 (-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (*.f64 a 2))
38.1b
(-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 b b))

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
70×times-frac_binary64
60×*-un-lft-identity_binary64
46×add-sqr-sqrt_binary64
32×add-cube-cbrt_binary64
26×associate-/l*_binary64
18×add-exp-log_binary64 add-cbrt-cube_binary64
14×distribute-lft-out_binary64 difference-of-squares_binary64
11×add-log-exp_binary64
7×cbrt-undiv_binary64 div-exp_binary64
6×associate-/r/_binary64
5×flip3-+_binary64 associate-/r*_binary64 flip-+_binary64
4×pow1_binary64 div-inv_binary64 insert-posit16
3×associate-/l/_binary64 flip3--_binary64 diff-log_binary64 consolidate-/-/-b_binary64_1 div-sub_binary64 flip--_binary64
2×sub-neg_binary64 cbrt-unprod_binary64 consolidate-/-/-b_binary64 clear-num_binary64 prod-exp_binary64 frac-2neg_binary64
1×associate--l-_binary64 +-commutative_binary64 associate--l+_binary64 sum-log_binary64
Counts
4 → 142
Calls
4 calls:
8.0ms
(+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
19.0ms
(/.f64 (-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
23.0ms
(/.f64 (/.f64 (-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (*.f64 a 2))
9.0ms
(-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 b b))

series818.0ms

Counts
4 → 12
Calls
4 calls:
146.0ms
(+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
289.0ms
(/.f64 (-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
217.0ms
(/.f64 (/.f64 (-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 b b)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (*.f64 a 2))
166.0ms
(-.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (*.f64 b b))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0283564
1283564
0209
1209
0283564
1283564
0209
1209
013
113
053783825
0509
1509
053783825
0509
1509
013
113
051553753
0439
1439
051553753
0439
1439
013
113
0283555
1283555
0199
1199
0283555
1283555
0199
1199
013
113

simplify112.0ms

Counts
154 → 154
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
053257193

prune294.0ms

Filtered
111 candidates to 154 candidates (-38.7%)
Pruning

37 alts after pruning (37 fresh and 0 done)

PrunedKeptTotal
New13717154
Fresh42024
Picked101
Done000
Total14237179

Merged error: 38.7b

Counts
179 → 37

localize31.0ms

Local error

Found 4 expressions with local error:

0.4b
(*.f64 (*.f64 b b) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
0.6b
(*.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
0.8b
(pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3)
37.3b
(-.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3) (pow.f64 b 6))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
32×add-sqr-sqrt_binary64
17×pow1_binary64
15×flip3--_binary64 flip--_binary64
14×*-un-lft-identity_binary64
12×add-cube-cbrt_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 difference-of-squares_binary64
10×unpow-prod-down_binary64
8×sqr-pow_binary64
6×add-log-exp_binary64 associate-*r*_binary64 cube-prod_binary64
5×sub-neg_binary64
4×pow-prod-down_binary64 cbrt-unprod_binary64 associate-*r/_binary64 consolidate-mult-outside_binary64 associate-*l*_binary64 consolidate-mult-two_binary64 prod-exp_binary64 insert-posit16 frac-times_binary64
3×pow-unpow_binary64 swap-sqr_binary64
2×distribute-lft-in_binary64 distribute-rgt-in_binary64 cube-div_binary64 unswap-sqr_binary64 associate-*l/_binary64 *-commutative_binary64
1×pow-to-exp_binary64 diff-log_binary64 pow-prod-up_binary64 pow-pow_binary64 pow-plus_binary64 rem-cube-cbrt_binary64 distribute-lft-out--_binary64 pow-sqr_binary64 pow-exp_binary64 pow2_binary64 unpow3_binary64 cube-mult_binary64
Counts
4 → 119
Calls
4 calls:
13.0ms
(*.f64 (*.f64 b b) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
14.0ms
(*.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
7.0ms
(pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3)
17.0ms
(-.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3) (pow.f64 b 6))

series807.0ms

Counts
4 → 12
Calls
4 calls:
181.0ms
(*.f64 (*.f64 b b) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
166.0ms
(*.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
179.0ms
(pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3)
280.0ms
(-.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3) (pow.f64 b 6))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
053793627
0329
1329
053793627
0329
1329
013
113
0533537
1533537
0189
1189
0533537
1533537
0189
1189
013
113
0293645
1293645
0189
1189
0293645
1293645
0189
1189
013
113
029023564
129023564
0229
1229
029023564
129023564
0229
1229
013
113

simplify133.0ms

Counts
131 → 131
Iterations

Useful iterations: 0 (88.0ms)

IterNodesCost
050103477

prune385.0ms

Filtered
78 candidates to 131 candidates (-67.9%)
Pruning

42 alts after pruning (42 fresh and 0 done)

PrunedKeptTotal
New11318131
Fresh122436
Picked101
Done000
Total12642168

Merged error: 38.3b

Counts
168 → 42

localize34.0ms

Local error

Found 4 expressions with local error:

0.6b
(*.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
0.8b
(pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3)
1.2b
(pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 6)
36.9b
(-.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 6) (pow.f64 b 12))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt_binary64
15×*-un-lft-identity_binary64
13×pow1_binary64 flip3--_binary64 add-cube-cbrt_binary64 flip--_binary64
12×unpow-prod-down_binary64
9×difference-of-squares_binary64
8×sqr-pow_binary64 add-exp-log_binary64
7×add-cbrt-cube_binary64
6×pow-unpow_binary64 add-log-exp_binary64
4×consolidate-mult-two_binary64 insert-posit16 frac-times_binary64
3×sub-neg_binary64 swap-sqr_binary64 associate-*r*_binary64 associate-*l*_binary64 cube-prod_binary64
2×pow-to-exp_binary64 associate-*r/_binary64 pow-pow_binary64 consolidate-mult-outside_binary64 cube-div_binary64 pow-exp_binary64 associate-*l/_binary64
1×pow-prod-down_binary64 diff-log_binary64 cbrt-unprod_binary64 pow-prod-up_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 pow-plus_binary64 unswap-sqr_binary64 rem-cube-cbrt_binary64 prod-exp_binary64 distribute-lft-out--_binary64 pow-sqr_binary64 pow2_binary64 unpow3_binary64 *-commutative_binary64 cube-mult_binary64
Counts
4 → 108
Calls
4 calls:
14.0ms
(*.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
7.0ms
(pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3)
9.0ms
(pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 6)
13.0ms
(-.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 6) (pow.f64 b 12))

series664.0ms

Counts
4 → 12
Calls
4 calls:
168.0ms
(*.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
178.0ms
(pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 3)
155.0ms
(pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 6)
163.0ms
(-.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)) 6) (pow.f64 b 12))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0713591
1713591
0249
1249
0713591
1713591
0249
1249
013
113
0553537
1553537
0189
1189
0553537
1553537
0189
1189
013
113
0533537
1533537
0189
1189
0533537
1533537
0189
1189
013
113
0293645
1293645
0189
1189
0293645
1293645
0189
1189
013
113

simplify128.0ms

Counts
120 → 120
Iterations

Useful iterations: 0 (83.0ms)

IterNodesCost
049723104
149723104

prune334.0ms

Filtered
71 candidates to 120 candidates (-69.0%)
Pruning

51 alts after pruning (51 fresh and 0 done)

PrunedKeptTotal
New10416120
Fresh63541
Picked101
Done000
Total11151162

Merged error: 38.1b

Counts
162 → 51

regimes638.0ms

Accuracy

0% (3.4b remaining)

Error of 42.6b against oracle of 39.2b and baseline of 42.6b

bsearch0.0ms

simplify8.0ms

Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
091151
191151

end0.0ms

sample1.2s

Algorithm
intervals
Results
456.0ms4895×body160valid
256.0ms8920×pre80true
179.0ms1321×body320valid
87.0ms1784×body80valid
43.0ms920×body80nan

Profiling

Loading profile data...