Details

Time bar (total: 5.6s)

sample98.0ms

Algorithm
intervals
Results
53.0ms115×body1280valid
19.0ms80×body640valid
7.0ms249×body80nan
6.0ms40×body320valid
1.0ms15×body160valid
0.0ms6×body80valid

simplify16.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0186
1256
2406
3656
4986
51226
61356
71376
81376

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 58.9b

Counts
2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (+ 1.0 x) (- 1.0 x))
4.6b
(log (/ (+ 1.0 x) (- 1.0 x)))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
63×*-un-lft-identity
41×add-sqr-sqrt
40×times-frac
26×log-prod
23×add-cube-cbrt
11×distribute-lft-out
9×distribute-lft-out-- difference-of-squares
7×add-exp-log
5×associate-/r*
4×associate-/r/ add-cbrt-cube associate-/l*
3×pow1
2×expm1-log1p-u flip3-- div-exp rem-log-exp flip-- log1p-expm1-u div-inv associate-/l/ add-log-exp
1×cbrt-undiv log-div frac-2neg flip3-+ clear-num log-pow flip-+
Counts
2 → 86
Calls
2 calls:
7.0ms
(/ (+ 1.0 x) (- 1.0 x))
7.0ms
(log (/ (+ 1.0 x) (- 1.0 x)))

series161.0ms

Counts
2 → 6
Calls
2 calls:
34.0ms
(/ (+ 1.0 x) (- 1.0 x))
127.0ms
(log (/ (+ 1.0 x) (- 1.0 x)))

simplify117.0ms

Algorithm
egg-herbie
Counts
92 → 92
Iterations

Useful iterations: 3 (109.0ms)

IterNodesCost
0334673
11078636
24549616
35001613

prune205.0ms

Filtered
92 candidates to 62 candidates (67.4%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New87592
Fresh000
Picked101
Done000
Total88593

Merged error: 0.1b

Counts
93 → 5

localize16.0ms

Local error

Found 1 expressions with local error:

0.0b
(* 2.0 (/ (pow x 2) (pow 1.0 2)))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
80×times-frac
69×add-sqr-sqrt
68×associate-*r*
56×unpow-prod-down
35×add-cube-cbrt *-un-lft-identity
24×add-exp-log unpow2 sqr-pow
17×unswap-sqr
10×prod-exp
9×div-exp
6×pow-to-exp pow-exp add-cbrt-cube
3×pow1 associate-*l*
2×cbrt-unprod
1×cbrt-undiv expm1-log1p-u associate-*r/ pow-prod-down *-commutative log1p-expm1-u div-inv add-log-exp
Counts
1 → 112
Calls
1 calls:
19.0ms
(* 2.0 (/ (pow x 2) (pow 1.0 2)))

series57.0ms

Counts
1 → 3
Calls
1 calls:
56.0ms
(* 2.0 (/ (pow x 2) (pow 1.0 2)))

simplify51.0ms

Algorithm
egg-herbie
Counts
115 → 115
Iterations

Useful iterations: 2 (42.0ms)

IterNodesCost
0532653
12211536
25002535

prune301.0ms

Filtered
115 candidates to 70 candidates (60.9%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New1141115
Fresh134
Picked011
Done000
Total1155120

Merged error: 0.1b

Counts
120 → 5

localize16.0ms

Local error

Found 2 expressions with local error:

0.0b
(* 2.0 (/ (pow x 2) (pow 1.0 2)))
2.3b
(log (exp (* 2.0 (/ (pow x 2) (pow 1.0 2)))))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
80×times-frac
71×add-sqr-sqrt
68×associate-*r*
56×unpow-prod-down
37×add-cube-cbrt *-un-lft-identity
25×add-exp-log
24×unpow2 sqr-pow
17×unswap-sqr
10×prod-exp
9×div-exp
7×add-cbrt-cube
6×pow-to-exp pow-exp
5×pow1
3×log-prod associate-*l* log-pow add-log-exp
2×expm1-log1p-u cbrt-unprod log1p-expm1-u
1×cbrt-undiv exp-prod exp-to-pow associate-*r/ rem-log-exp pow-prod-down *-commutative div-inv
Counts
2 → 128
Calls
2 calls:
19.0ms
(* 2.0 (/ (pow x 2) (pow 1.0 2)))
2.0ms
(log (exp (* 2.0 (/ (pow x 2) (pow 1.0 2)))))

series109.0ms

Counts
2 → 6
Calls
2 calls:
51.0ms
(* 2.0 (/ (pow x 2) (pow 1.0 2)))
58.0ms
(log (exp (* 2.0 (/ (pow x 2) (pow 1.0 2)))))

simplify59.0ms

Algorithm
egg-herbie
Counts
134 → 134
Iterations

Useful iterations: 2 (43.0ms)

IterNodesCost
0552763
12239630
25001629

prune392.0ms

Filtered
134 candidates to 84 candidates (62.7%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New1340134
Fresh033
Picked011
Done011
Total1345139

Merged error: 0.1b

Counts
139 → 5

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (+ 1.0 x) (- 1.0 x))
0.0b
(/ (+ 1.0 x) (- 1.0 x))
4.8b
(log (sqrt (/ (+ 1.0 x) (- 1.0 x))))
4.8b
(log (sqrt (/ (+ 1.0 x) (- 1.0 x))))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
128×*-un-lft-identity
84×add-sqr-sqrt
80×times-frac
58×log-prod
52×sqrt-prod
48×add-cube-cbrt
22×distribute-lft-out
18×distribute-lft-out-- difference-of-squares
10×add-exp-log associate-/r*
8×pow1 associate-/r/ add-cbrt-cube associate-/l*
6×log-pow
4×expm1-log1p-u flip3-- flip-- log1p-expm1-u div-inv associate-/l/ add-log-exp
2×cbrt-undiv log-div frac-2neg sqrt-pow1 flip3-+ pow1/2 sqrt-div div-exp rem-log-exp clear-num flip-+
Counts
4 → 180
Calls
4 calls:
8.0ms
(/ (+ 1.0 x) (- 1.0 x))
11.0ms
(/ (+ 1.0 x) (- 1.0 x))
8.0ms
(log (sqrt (/ (+ 1.0 x) (- 1.0 x))))
8.0ms
(log (sqrt (/ (+ 1.0 x) (- 1.0 x))))

series467.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(/ (+ 1.0 x) (- 1.0 x))
40.0ms
(/ (+ 1.0 x) (- 1.0 x))
196.0ms
(log (sqrt (/ (+ 1.0 x) (- 1.0 x))))
197.0ms
(log (sqrt (/ (+ 1.0 x) (- 1.0 x))))

simplify50.0ms

Algorithm
egg-herbie
Counts
192 → 192
Iterations

Useful iterations: 2 (33.0ms)

IterNodesCost
03821648
111931562
250021480

prune438.0ms

Filtered
192 candidates to 130 candidates (67.7%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New1911192
Fresh022
Picked101
Done022
Total1925197

Merged error: 0.1b

Counts
197 → 5

regimes25.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01610
11610

end0.0ms

sample2.9s

Algorithm
intervals
Results
1.6s3471×body1280valid
616.0ms2445×body640valid
243.0ms8139×body80nan
186.0ms1226×body320valid
59.0ms647×body160valid
9.0ms211×body80valid