Details

Time bar (total: 7.5s)

analyze1.1s

Algorithm
search

sample83.0ms

Algorithm
intervals
Results
25.0ms256×body80valid
22.0ms319×body80nan
3.0ms36×body80invalid

simplify72.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03811
110111
242811
3151411
4462011
5500111

prune6.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.1b

Counts
2 → 1

localize19.0ms

Local error

Found 2 expressions with local error:

0.1b
(* (- b 0.5) (log c))
0.3b
(* x (log y))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
12×log-prod *-un-lft-identity
10×add-cube-cbrt
8×pow1 associate-*r* associate-*l*
6×add-exp-log distribute-rgt-in distribute-lft-in add-cbrt-cube
2×pow-prod-down associate-*l/ prod-exp log-pow *-commutative cbrt-unprod add-log-exp unswap-sqr
1×flip3-- flip-- distribute-lft-out-- difference-of-squares
Counts
2 → 54
Calls
2 calls:
7.0ms
(* (- b 0.5) (log c))
5.0ms
(* x (log y))

series17.0ms

Counts
2 → 6
Calls
2 calls:
9.0ms
(* (- b 0.5) (log c))
7.0ms
(* x (log y))

simplify65.0ms

Algorithm
egg-herbie
Counts
60 → 60
Iterations

Useful iterations: 2 (22.0ms)

IterNodesCost
0275312
1908273
23346243
35001243

prune118.0ms

Filtered
38 candidates to 60 candidates (-57.9%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New53760
Fresh000
Picked101
Done000
Total54761

Merged error: 0.0b

Counts
61 → 7

localize27.0ms

Local error

Found 4 expressions with local error:

0.3b
(* x (log y))
0.3b
(+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c))))
0.6b
(cbrt c)
0.6b
(cbrt c)

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
42×log-prod
33×distribute-rgt-in distribute-lft-in
24×cbrt-prod add-sqr-sqrt associate-+l+
22×add-cube-cbrt *-un-lft-identity
12×associate-+r+
8×associate-*l/
7×pow1
6×add-exp-log add-cbrt-cube add-log-exp
4×flip3-- associate-*r* frac-add flip--
3×associate-*l*
2×pow1/3
1×+-commutative flip3-+ pow-prod-down prod-exp sum-log log-pow *-commutative cbrt-unprod flip-+ distribute-lft-out unswap-sqr
Counts
4 → 99
Calls
4 calls:
4.0ms
(* x (log y))
13.0ms
(+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c))))
1.0ms
(cbrt c)
1.0ms
(cbrt c)

series90.0ms

Counts
4 → 12
Calls
4 calls:
7.0ms
(* x (log y))
36.0ms
(+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c))))
26.0ms
(cbrt c)
22.0ms
(cbrt c)

simplify60.0ms

Algorithm
egg-herbie
Counts
111 → 111
Iterations

Useful iterations: 2 (50.0ms)

IterNodesCost
0580891
12054779
25001735

prune206.0ms

Filtered
91 candidates to 111 candidates (-22.0%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New1101111
Fresh066
Picked101
Done000
Total1117118

Merged error: 0.0b

Counts
118 → 7

localize32.0ms

Local error

Found 4 expressions with local error:

0.3b
(* x (log y))
0.3b
(+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3))))
0.6b
(cbrt c)
5.2b
(pow c 1/3)

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
44×log-prod
34×distribute-rgt-in distribute-lft-in
25×add-sqr-sqrt
24×associate-+l+
23×add-cube-cbrt *-un-lft-identity
15×cbrt-prod
14×associate-+r+
9×unpow-prod-down
8×pow1 associate-*l/
7×add-exp-log
6×add-cbrt-cube add-log-exp
4×flip3-- associate-*r* frac-add flip--
3×pow-unpow associate-*l* sqr-pow
1×+-commutative pow-to-exp pow-pow flip3-+ unpow1/3 pow1/3 pow-prod-down pow-exp prod-exp sum-log log-pow *-commutative cbrt-unprod flip-+ distribute-lft-out unswap-sqr
Counts
4 → 108
Calls
4 calls:
4.0ms
(* x (log y))
13.0ms
(+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3))))
1.0ms
(cbrt c)
2.0ms
(pow c 1/3)

series97.0ms

Counts
4 → 12
Calls
4 calls:
7.0ms
(* x (log y))
47.0ms
(+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3))))
21.0ms
(cbrt c)
22.0ms
(pow c 1/3)

simplify82.0ms

Algorithm
egg-herbie
Counts
120 → 120
Iterations

Useful iterations: 2 (69.0ms)

IterNodesCost
0686928
12620810
25003734

prune258.0ms

Filtered
92 candidates to 120 candidates (-30.4%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New1191120
Fresh156
Picked011
Done000
Total1207127

Merged error: 0.0b

Counts
127 → 7

localize26.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (- b 0.5) (* 3 (log (pow c 1/3))))
0.3b
(* x (log y))
0.3b
(* 3 (log (pow c 1/3)))
5.2b
(pow c 1/3)

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
48×log-prod
38×distribute-rgt-in distribute-lft-in
31×add-sqr-sqrt
27×*-un-lft-identity
25×add-cube-cbrt
21×unpow-prod-down
15×pow1
14×add-exp-log
13×add-cbrt-cube
11×associate-*l*
9×associate-*r*
7×sqr-pow
5×pow-prod-down prod-exp cbrt-unprod
4×add-log-exp
3×pow-unpow *-commutative
2×associate-*l/ log-pow unswap-sqr
1×pow-to-exp flip3-- pow-pow unpow1/3 pow-exp flip-- distribute-lft-out-- difference-of-squares
Counts
4 → 126
Calls
4 calls:
11.0ms
(* (- b 0.5) (* 3 (log (pow c 1/3))))
5.0ms
(* x (log y))
5.0ms
(* 3 (log (pow c 1/3)))
2.0ms
(pow c 1/3)

series85.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(* (- b 0.5) (* 3 (log (pow c 1/3))))
7.0ms
(* x (log y))
35.0ms
(* 3 (log (pow c 1/3)))
19.0ms
(pow c 1/3)

simplify68.0ms

Algorithm
egg-herbie
Counts
138 → 138
Iterations

Useful iterations: 2 (56.0ms)

IterNodesCost
0532898
12131669
25002576

prune147.0ms

Filtered
68 candidates to 138 candidates (-102.9%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1371138
Fresh235
Picked011
Done011
Total1396145

Merged error: 0.0b

Counts
145 → 6

regimes1.4s

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03918
13918

end0.0ms

analyze1.1s

Algorithm
search

sample2.3s

Algorithm
intervals
Results
732.0ms9871×body80nan
672.0ms7997×body80valid
97.0ms1223×body80invalid
0.0ms1×body640valid
0.0ms1×body320valid
0.0ms1×body160valid

Profiling

Loading profile data...