Details

Time bar (total: 2.3s)

sample31.0ms

Algorithm
intervals
Results
12.0ms266×body80valid

simplify10.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0197
1367
2487
3667
4727
5727

prune4.0ms

Filtered
1 candidates to 0 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 25.2b

Counts
2 → 1

localize10.0ms

Local error

Found 2 expressions with local error:

0.2b
(- (* b c) (* a d))
24.9b
(/ (- (* b c) (* a d)) (+ (* c c) (* d d)))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×times-frac
4×add-exp-log add-cbrt-cube add-log-exp
3×associate-/r* associate-/l*
2×pow1 flip3-- associate-/r/ flip-- associate-/l/
1×cbrt-undiv sub-neg frac-2neg flip3-+ diff-log div-sub div-exp clear-num flip-+ div-inv
Counts
2 → 44
Calls
2 calls:
3.0ms
(- (* b c) (* a d))
9.0ms
(/ (- (* b c) (* a d)) (+ (* c c) (* d d)))

series37.0ms

Counts
2 → 6
Calls
2 calls:
10.0ms
(- (* b c) (* a d))
27.0ms
(/ (- (* b c) (* a d)) (+ (* c c) (* d d)))

simplify109.0ms

Algorithm
egg-herbie
Counts
50 → 50
Iterations

Useful iterations: 2 (27.0ms)

IterNodesCost
0251464
1938427
23490426
35002426

prune100.0ms

Filtered
50 candidates to 39 candidates (22.0%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New41950
Fresh000
Picked101
Done000
Total42951

Merged error: 24.5b

Counts
51 → 9

localize12.0ms

Local error

Found 4 expressions with local error:

0.2b
(- (* b c) (* a d))
15.5b
(/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
27.8b
(sqrt (+ (* c c) (* d d)))
27.8b
(sqrt (+ (* c c) (* d d)))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt
21×add-cube-cbrt *-un-lft-identity
18×times-frac sqrt-prod
6×pow1 add-exp-log sqrt-div associate-/r* add-cbrt-cube add-log-exp
3×flip3-+ flip-+ associate-/l*
2×rem-sqrt-square flip3-- sqrt-pow1 pow1/2 associate-/r/ flip-- associate-/l/
1×cbrt-undiv sub-neg frac-2neg diff-log div-sub div-exp clear-num div-inv
Counts
4 → 86
Calls
4 calls:
3.0ms
(- (* b c) (* a d))
9.0ms
(/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
4.0ms
(sqrt (+ (* c c) (* d d)))
6.0ms
(sqrt (+ (* c c) (* d d)))

series57.0ms

Counts
4 → 12
Calls
4 calls:
10.0ms
(- (* b c) (* a d))
35.0ms
(/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
6.0ms
(sqrt (+ (* c c) (* d d)))
6.0ms
(sqrt (+ (* c c) (* d d)))

simplify102.0ms

Algorithm
egg-herbie
Counts
98 → 98
Iterations

Useful iterations: 2 (27.0ms)

IterNodesCost
0304910
1990857
23340845
35003845

prune127.0ms

Filtered
98 candidates to 75 candidates (23.5%)
Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New94498
Fresh268
Picked011
Done000
Total9611107

Merged error: 22.8b

Counts
107 → 11

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (/ (* b c) (+ (* c c) (* d d))) (/ (* a d) (+ (* c c) (* d d))))
16.1b
(/ (* b c) (+ (* c c) (* d d)))
18.3b
(/ (* a d) (+ (* c c) (* d d)))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
13×add-exp-log add-cbrt-cube
9×add-sqr-sqrt *-un-lft-identity
8×associate-/r/
7×add-cube-cbrt
6×times-frac associate-/r*
5×add-log-exp
4×cbrt-undiv flip3-+ div-exp flip-+ div-inv
3×pow1 distribute-rgt-out--
2×frac-2neg prod-exp clear-num cbrt-unprod associate-/l*
1×sub-neg flip3-- diff-log frac-sub flip-- distribute-lft-out-- sub-div difference-of-squares
Counts
3 → 65
Calls
3 calls:
13.0ms
(- (/ (* b c) (+ (* c c) (* d d))) (/ (* a d) (+ (* c c) (* d d))))
6.0ms
(/ (* b c) (+ (* c c) (* d d)))
7.0ms
(/ (* a d) (+ (* c c) (* d d)))

series73.0ms

Counts
3 → 9
Calls
3 calls:
43.0ms
(- (/ (* b c) (+ (* c c) (* d d))) (/ (* a d) (+ (* c c) (* d d))))
15.0ms
(/ (* b c) (+ (* c c) (* d d)))
16.0ms
(/ (* a d) (+ (* c c) (* d d)))

simplify44.0ms

Algorithm
egg-herbie
Counts
74 → 74
Iterations

Useful iterations: 2 (36.0ms)

IterNodesCost
0342669
11537598
25001596

prune95.0ms

Filtered
74 candidates to 54 candidates (27.0%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New70474
Fresh729
Picked101
Done101
Total79685

Merged error: 21.6b

Counts
85 → 6

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ (* b c) (+ (* c c) (* d d))) (/ a (/ (+ (* c c) (* d d)) d)))
2.4b
(/ a (/ (+ (* c c) (* d d)) d))
15.7b
(/ (+ (* c c) (* d d)) d)
16.1b
(/ (* b c) (+ (* c c) (* d d)))

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
90×times-frac
65×add-sqr-sqrt
58×*-un-lft-identity
56×add-cube-cbrt
19×associate-/r*
16×add-exp-log add-cbrt-cube
7×div-inv associate-/l*
6×cbrt-undiv div-exp add-log-exp
4×pow1
3×frac-2neg clear-num associate-/r/ difference-of-squares
2×flip3-+ flip-+ associate-/l/
1×sub-neg flip3-- diff-log prod-exp frac-sub flip-- cbrt-unprod distribute-lft-out--
Counts
4 → 139
Calls
4 calls:
26.0ms
(- (/ (* b c) (+ (* c c) (* d d))) (/ a (/ (+ (* c c) (* d d)) d)))
7.0ms
(/ a (/ (+ (* c c) (* d d)) d))
6.0ms
(/ (+ (* c c) (* d d)) d)
6.0ms
(/ (* b c) (+ (* c c) (* d d)))

series82.0ms

Counts
4 → 12
Calls
4 calls:
40.0ms
(- (/ (* b c) (+ (* c c) (* d d))) (/ a (/ (+ (* c c) (* d d)) d)))
18.0ms
(/ a (/ (+ (* c c) (* d d)) d))
8.0ms
(/ (+ (* c c) (* d d)) d)
15.0ms
(/ (* b c) (+ (* c c) (* d d)))

simplify76.0ms

Algorithm
egg-herbie
Counts
151 → 151
Iterations

Useful iterations: 2 (61.0ms)

IterNodesCost
05951521
127121431
250021429

prune129.0ms

Filtered
151 candidates to 118 candidates (21.9%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New1501151
Fresh055
Picked101
Done000
Total1516157

Merged error: 14.4b

Counts
157 → 6

regimes280.0ms

Accuracy

40.6% (1.5b remaining)

Error of 16.6b against oracle of 15.1b and baseline of 17.6b

bsearch43.0ms

Steps
ItersRangePoint
9
7.113085883623841e+50
1.2423971703857589e+57
7.1886537093075794e+50
9
-2.9369404989578072e+128
-1.8677930526633351e+121
-8.298577531102384e+124

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03421
13421

end0.0ms

sample733.0ms

Algorithm
intervals
Results
369.0ms8459×body80valid

Profiling

Loading profile data...