Details

Time bar (total: 8.7s)

analyze262.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

sample49.0ms

Algorithm
intervals
Results
18.0ms122×body320valid
8.0ms92×body160valid
8.0ms277×pre80true
4.0ms20×body640valid
1.0ms22×body80valid
1.0ms21×body80nan

simplify347.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (72.0ms)

IterNodesCost
092824
192824

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: 53.9b

Counts
2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
0.1b
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b) (*.f64 a 2))
0.1b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
23.3b
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)

rewrite226.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt_binary64_645
13×*-un-lft-identity_binary64_660
9×add-cbrt-cube_binary64_632 add-exp-log_binary64_624
8×add-log-exp_binary64_625
7×add-cube-cbrt_binary64_631
6×times-frac_binary64_655 associate-/l*_binary64_724 difference-of-squares_binary64_689 sqrt-prod_binary64_639
5×pow1_binary64_602
4×flip--_binary64_686 flip3--_binary64_659
3×distribute-lft-out--_binary64_705
2×sub-neg_binary64_664 diff-log_binary64_571 div-exp_binary64_609 associate-/l/_binary64_726 sqrt-div_binary64_640 cbrt-undiv_binary64_630
1×rem-sqrt-square_binary64_648 sqrt-pow1_binary64_641 div-inv_binary64_661 cbrt-unprod_binary64_629 div-sub_binary64_654 associate-/r*_binary64_723 pow1/2_binary64_592 frac-2neg_binary64_653 prod-exp_binary64_607 clear-num_binary64_663
Counts
4 → 70
Calls
4 calls:
5.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
14.0ms
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b) (*.f64 a 2))
5.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
199.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)

series1.1s

Counts
4 → 12
Calls
4 calls:
276.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
284.0ms
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b) (*.f64 a 2))
274.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
298.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) b)
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0753693
1753693
011173591
111173591
0753693
1753693
011173591
111173591
013
113
0693624
1693624
09883528
19883528
0693624
1693624
09883528
19883528
013
113
04723771
14723771
046333645
146333645
04723771
14723771
046333645
146333645
013
113
0723642
1723642
09903546
19903546
0723642
1723642
09903546
19903546
013
113

simplify121.0ms

Counts
82 → 82
Iterations

Useful iterations: 0 (93.0ms)

IterNodesCost
049031813
149031813

prune77.0ms

Filtered
58 candidates to 82 candidates (-41.4%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New80282
Fresh000
Picked101
Done000
Total81283

Merged error: 0.4b

Counts
83 → 2

localize15.0ms

Local error

Found 4 expressions with local error:

0.1b
(+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
0.1b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
0.3b
(/.f64 (*.f64 a (*.f64 -4 c)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
0.3b
(/.f64 (/.f64 (*.f64 a (*.f64 -4 c)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (*.f64 a 2))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
45×add-cbrt-cube_binary64_632 add-exp-log_binary64_624
22×times-frac_binary64_655
20×*-un-lft-identity_binary64_660
17×div-exp_binary64_609 cbrt-undiv_binary64_630
13×cbrt-unprod_binary64_629 prod-exp_binary64_607
11×associate-/l*_binary64_724
10×add-sqr-sqrt_binary64_645 add-cube-cbrt_binary64_631
8×add-log-exp_binary64_625
6×associate-/r/_binary64_725
5×distribute-lft-out_binary64_704 associate-/r*_binary64_723
4×flip-+_binary64_685 div-inv_binary64_661 pow1_binary64_602 flip3-+_binary64_658
2×frac-2neg_binary64_653 clear-num_binary64_663
1×flip--_binary64_686 sub-neg_binary64_664 diff-log_binary64_571 +-commutative_binary64_727 sum-log_binary64_570 associate-/l/_binary64_726 flip3--_binary64_659
Counts
4 → 98
Calls
4 calls:
7.0ms
(+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
5.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
14.0ms
(/.f64 (*.f64 a (*.f64 -4 c)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
18.0ms
(/.f64 (/.f64 (*.f64 a (*.f64 -4 c)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (*.f64 a 2))

series1.0s

Counts
4 → 12
Calls
4 calls:
286.0ms
(+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
275.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
243.0ms
(/.f64 (*.f64 a (*.f64 -4 c)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
211.0ms
(/.f64 (/.f64 (*.f64 a (*.f64 -4 c)) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (*.f64 a 2))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
06803900
16803900
049343723
149343723
06803900
16803900
049343723
149343723
013
113
04753822
14753822
052543672
04753822
14753822
052543672
013
113
0693624
1693624
09883528
19883528
0693624
1693624
09883528
19883528
013
113
0753693
1753693
010743591
110743591
0753693
1753693
010743591
110743591
013
113

simplify78.0ms

Counts
110 → 110
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
051962875

prune111.0ms

Filtered
71 candidates to 110 candidates (-54.9%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1055110
Fresh101
Picked011
Done000
Total1066112

Merged error: 0b

Counts
112 → 6

localize15.0ms

Local error

Found 4 expressions with local error:

0.1b
(/.f64 c (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4))))))
0.1b
(-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4)))
0.2b
(/.f64 a (*.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4))))))))
0.3b
(/.f64 (/.f64 a 1) (/.f64 a (*.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4)))))))))

rewrite68.0ms

Algorithm
rewrite-expression-head
Rules
242×times-frac_binary64_655
114×*-un-lft-identity_binary64_660
106×add-sqr-sqrt_binary64_645 add-cube-cbrt_binary64_631
61×add-exp-log_binary64_624
47×add-cbrt-cube_binary64_632
37×div-exp_binary64_609
26×div-inv_binary64_661
25×cbrt-undiv_binary64_630
19×associate-/l*_binary64_724
18×associate-/r/_binary64_725
15×associate-*r/_binary64_721
13×associate-/r*_binary64_723
8×prod-exp_binary64_607
6×cbrt-unprod_binary64_629 add-log-exp_binary64_625
4×distribute-lft-out_binary64_704 1-exp_binary64_620 pow1_binary64_602
3×frac-2neg_binary64_653 clear-num_binary64_663
1×flip--_binary64_686 flip-+_binary64_685 sub-neg_binary64_664 diff-log_binary64_571 associate-/l/_binary64_726 flip3--_binary64_659 flip3-+_binary64_658
Counts
4 → 225
Calls
4 calls:
10.0ms
(/.f64 c (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4))))))
6.0ms
(-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4)))
14.0ms
(/.f64 a (*.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4))))))))
25.0ms
(/.f64 (/.f64 a 1) (/.f64 a (*.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4)))))))))

series1.1s

Counts
4 → 12
Calls
4 calls:
365.0ms
(/.f64 c (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4))))))
310.0ms
(-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4)))
257.0ms
(/.f64 a (*.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4))))))))
209.0ms
(/.f64 (/.f64 a 1) (/.f64 a (*.f64 -2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4)))))))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
08433900
18433900
048053645
148053645
08433900
18433900
048053645
148053645
013
113
05393822
15393822
050203672
05393822
15393822
050203672
013
113
0693624
1693624
09883528
19883528
0693624
1693624
09883528
19883528
013
113
05323744
15323744
047251904
147251904
05323744
15323744
047251904
147251904
013
113

simplify189.0ms

Counts
237 → 237
Iterations

Useful iterations: 0 (113.0ms)

IterNodesCost
048448470
148448470

prune196.0ms

Filtered
135 candidates to 237 candidates (-75.6%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New2361237
Fresh134
Picked011
Done011
Total2376243

Merged error: 0b

Counts
243 → 6

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite90.0ms

Algorithm
rewrite-expression-head
Rules
651×times-frac_binary64_655
400×*-un-lft-identity_binary64_660
296×add-sqr-sqrt_binary64_645 add-cube-cbrt_binary64_631
81×associate-/r*_binary64_723
52×distribute-lft-out_binary64_704
40×associate-/r/_binary64_725
32×add-exp-log_binary64_624
23×div-inv_binary64_661
20×add-cbrt-cube_binary64_632
19×div-exp_binary64_609
17×flip-+_binary64_685 flip3-+_binary64_658
10×cbrt-undiv_binary64_630
9×associate-/l*_binary64_724
6×add-log-exp_binary64_625
5×pow1_binary64_602
3×rec-exp_binary64_608 1-exp_binary64_620 frac-2neg_binary64_653 clear-num_binary64_663
1×flip--_binary64_686 sub-neg_binary64_664 diff-log_binary64_571 pow-flip_binary64_586 flip3--_binary64_659 inv-pow_binary64_578
Counts
4 → 398
Calls
4 calls:
10.0ms
(/.f64 c (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4))))))
5.0ms
(-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4)))
24.0ms
(/.f64 1 (/.f64 -1/2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4))))))))
14.0ms
(/.f64 -1/2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4)))))))

series1.3s

Counts
4 → 12
Calls
4 calls:
365.0ms
(/.f64 c (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4))))))
316.0ms
(-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4)))
297.0ms
(/.f64 1 (/.f64 -1/2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4))))))))
281.0ms
(/.f64 -1/2 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4)))))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
07193771
17193771
046493218
146493218
07193771
17193771
046493218
146493218
013
113
09053798
19053798
046383645
146383645
09053798
19053798
046383645
146383645
013
113
0693624
1693624
09883528
19883528
0693624
1693624
09883528
19883528
013
113
05323744
15323744
047251904
147251904
05323744
15323744
047251904
147251904
013
113

simplify196.0ms

Counts
410 → 410
Iterations

Useful iterations: 0 (63.0ms)

IterNodesCost
0507016984

prune569.0ms

Filtered
253 candidates to 410 candidates (-62.1%)
Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New4100410
Fresh033
Picked011
Done022
Total4106416

Merged error: 0b

Counts
416 → 6

regimes56.0ms

Accuracy

0% (0.1b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 0.2b

bsearch0.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
06430
16430

end0.0ms

sample1.4s

Algorithm
intervals
Results
496.0ms3636×body320valid
277.0ms2963×body160valid
253.0ms8823×pre80true
87.0ms486×body640valid
44.0ms915×body80valid
38.0ms823×body80nan

Profiling

Loading profile data...