Details

Time bar (total: 7.8s)

sample88.0ms

Algorithm
intervals
Results
47.0ms106×body1280valid
18.0ms80×body640valid
5.0ms244×body80nan
5.0ms35×body320valid
2.0ms28×body160valid
0.0ms7×body80valid

simplify7.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0154
1204
2234
3234

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.1b

Counts
2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (- 1.0 eps) (+ 1.0 eps))
7.4b
(log (/ (- 1.0 eps) (+ 1.0 eps)))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
72×*-un-lft-identity
45×add-sqr-sqrt
40×times-frac
26×log-prod
25×add-cube-cbrt
14×log-div
12×distribute-lft-out associate-/l*
11×distribute-lft-out--
10×difference-of-squares
8×associate-/r*
7×add-exp-log
4×associate-/r/ add-cbrt-cube associate-/l/
3×pow1 log-rec clear-num
2×flip3-- frac-2neg flip3-+ div-exp rem-log-exp flip-- flip-+ div-inv add-log-exp
1×cbrt-undiv div-sub log-pow
Counts
2 → 99
Calls
2 calls:
8.0ms
(/ (- 1.0 eps) (+ 1.0 eps))
8.0ms
(log (/ (- 1.0 eps) (+ 1.0 eps)))

series168.0ms

Counts
2 → 6
Calls
2 calls:
35.0ms
(/ (- 1.0 eps) (+ 1.0 eps))
133.0ms
(log (/ (- 1.0 eps) (+ 1.0 eps)))

simplify146.0ms

Algorithm
egg-herbie
Counts
105 → 105
Iterations

Useful iterations: 2 (30.0ms)

IterNodesCost
0361766
11095724
24613710
35002710

prune175.0ms

Filtered
105 candidates to 69 candidates (65.7%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New996105
Fresh000
Picked101
Done000
Total1006106

Merged error: 0.1b

Counts
106 → 6

localize10.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify3.0ms

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
000

prune11.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New000
Fresh055
Picked011
Done000
Total066

Merged error: 0.1b

Counts
6 → 6

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (log (- (pow 1.0 3) (pow eps 3))) (log (* (+ 1.0 eps) (+ (* 1.0 1.0) (+ (* eps eps) (* 1.0 eps))))))
0.0b
(* (+ 1.0 eps) (+ (* 1.0 1.0) (+ (* eps eps) (* 1.0 eps))))
2.7b
(log (- (pow 1.0 3) (pow eps 3)))
7.4b
(log (* (+ 1.0 eps) (+ (* 1.0 1.0) (+ (* eps eps) (* 1.0 eps)))))

rewrite141.0ms

Algorithm
rewrite-expression-head
Rules
125×*-un-lft-identity
82×log-prod
57×distribute-lft-out
51×associate-*l*
46×add-sqr-sqrt
39×associate-*r*
23×associate--r+
20×log-div
19×pow1 difference-of-squares
18×flip3-+ associate--l+ flip-+
16×unpow-prod-down
14×add-cube-cbrt
12×frac-times sqr-pow
10×add-exp-log log-pow distribute-lft-out--
8×difference-cubes pow-unpow associate--r- add-log-exp
6×associate-*r/ associate-*l/ add-cbrt-cube
4×+-commutative distribute-rgt-in associate-+r+ distribute-lft-in diff-log pow-prod-down
3×flip3-- rem-log-exp *-commutative flip-- unswap-sqr
2×associate--l- prod-exp
1×sub-neg cbrt-unprod
Counts
4 → 189
Calls
4 calls:
48.0ms
(- (log (- (pow 1.0 3) (pow eps 3))) (log (* (+ 1.0 eps) (+ (* 1.0 1.0) (+ (* eps eps) (* 1.0 eps))))))
38.0ms
(* (+ 1.0 eps) (+ (* 1.0 1.0) (+ (* eps eps) (* 1.0 eps))))
9.0ms
(log (- (pow 1.0 3) (pow eps 3)))
34.0ms
(log (* (+ 1.0 eps) (+ (* 1.0 1.0) (+ (* eps eps) (* 1.0 eps)))))

series684.0ms

Counts
4 → 12
Calls
4 calls:
254.0ms
(- (log (- (pow 1.0 3) (pow eps 3))) (log (* (+ 1.0 eps) (+ (* 1.0 1.0) (+ (* eps eps) (* 1.0 eps))))))
36.0ms
(* (+ 1.0 eps) (+ (* 1.0 1.0) (+ (* eps eps) (* 1.0 eps))))
260.0ms
(log (- (pow 1.0 3) (pow eps 3)))
134.0ms
(log (* (+ 1.0 eps) (+ (* 1.0 1.0) (+ (* eps eps) (* 1.0 eps)))))

simplify112.0ms

Algorithm
egg-herbie
Counts
201 → 201
Iterations

Useful iterations: 2 (88.0ms)

IterNodesCost
09002329
136222223
250012197

prune429.0ms

Filtered
201 candidates to 128 candidates (63.7%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New1983201
Fresh314
Picked101
Done101
Total2034207

Merged error: 0.0b

Counts
207 → 4

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(* 4.0 (/ (pow eps 3) (pow 1.0 2)))
0.0b
(+ (pow eps 2) (+ (pow eps 3) eps))
0.0b
(+ (* 2.0 (/ (pow eps 2) (pow 1.0 2))) (* 4.0 (/ (pow eps 3) (pow 1.0 2))))
0.1b
(* 2.6666666666666665 (/ (pow eps 3) (pow 1.0 3)))

rewrite421.0ms

Algorithm
rewrite-expression-head
Rules
836×associate-*r/
441×frac-add
396×associate-/l*
381×unpow-prod-down
352×associate-/r*
314×*-un-lft-identity
303×add-sqr-sqrt
252×add-cube-cbrt
169×times-frac
158×associate-*r*
135×sqr-pow
89×unpow2
88×clear-num un-div-inv
60×unpow3
50×add-exp-log
44×frac-2neg
23×unswap-sqr
20×prod-exp
18×div-exp
14×add-cbrt-cube
13×distribute-rgt-out
12×pow-to-exp pow-exp
11×add-log-exp
10×associate-*l*
8×pow1 distribute-lft-out
4×sum-log cbrt-unprod div-inv
3×+-commutative
2×cbrt-undiv associate-+r+ flip3-+ pow-prod-down *-commutative flip-+
1×distribute-lft1-in
Counts
4 → 734
Calls
4 calls:
25.0ms
(* 4.0 (/ (pow eps 3) (pow 1.0 2)))
10.0ms
(+ (pow eps 2) (+ (pow eps 3) eps))
297.0ms
(+ (* 2.0 (/ (pow eps 2) (pow 1.0 2))) (* 4.0 (/ (pow eps 3) (pow 1.0 2))))
23.0ms
(* 2.6666666666666665 (/ (pow eps 3) (pow 1.0 3)))

series347.0ms

Counts
4 → 12
Calls
4 calls:
72.0ms
(* 4.0 (/ (pow eps 3) (pow 1.0 2)))
26.0ms
(+ (pow eps 2) (+ (pow eps 3) eps))
164.0ms
(+ (* 2.0 (/ (pow eps 2) (pow 1.0 2))) (* 4.0 (/ (pow eps 3) (pow 1.0 2))))
84.0ms
(* 2.6666666666666665 (/ (pow eps 3) (pow 1.0 3)))

simplify194.0ms

Algorithm
egg-herbie
Counts
746 → 746
Iterations

Useful iterations: 0 (27.0ms)

IterNodesCost
049999300
150029300

prune2.1s

Filtered
746 candidates to 379 candidates (50.8%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New7442746
Fresh033
Picked101
Done000
Total7455750

Merged error: 0.0b

Counts
750 → 5

regimes31.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03020
13020

end0.0ms

sample2.6s

Algorithm
intervals
Results
1.4s3331×body1280valid
566.0ms2533×body640valid
174.0ms7849×body80nan
163.0ms1259×body320valid
56.0ms672×body160valid
7.0ms205×body80valid