Details

sample0.0hr

Algorithm

intervals

Results

0.0hr	723×	body	80	nan
0.0hr	189×	body	80	valid
0.0hr	23×	body	640	valid
0.0hr	9×	body	1280	valid
0.0hr	20×	body	320	valid
0.0hr	17×	body	160	valid

simplify0.0hr

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0hr)

Iter	Nodes	Cost
0	26	9
1	49	9
2	118	9
3	256	9
4	533	9
5	1250	9
6	2637	9
7	4297	9
8	4573	9
9	4588	9
10	4588	9

prune0.0hr

Filtered

1 candidates to 0 candidates (100.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 6.9b

Counts

2 → 1

localize0.0hr

Local error

Found 4 expressions with local error:

0.0b	(+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y))))
0.0b	(* (- z 1.0) (log (- 1.0 y)))
0.1b	(* (- x 1.0) (log y))
5.1b	(log (- 1.0 y))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

37×	`log-prod`
35×	`add-sqr-sqrt`
31×	`*-un-lft-identity`
17×	`add-cube-cbrt`
16×	`distribute-rgt-in` `distribute-lft-in`
12×	`associate-*l/`
11×	`pow1`
10×	`associate-+r+` `associate-l`
9×	`add-exp-log`
8×	`associate-r` `add-cbrt-cube`
7×	`flip3--` `flip--` `distribute-lft-out--` `difference-of-squares`
6×	`associate-+l+` `add-log-exp`
4×	`frac-add`
3×	`log-pow`
2×	`log-div` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`+-commutative` `flip3-+` `rem-log-exp` `sum-log` `flip-+`

Counts

4 → 109

Calls

4 calls:

0.0hr	(+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y))))
0.0hr	(* (- z 1.0) (log (- 1.0 y)))
0.0hr	(* (- x 1.0) (log y))
0.0hr	(log (- 1.0 y))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y))))
0.0hr	(* (- z 1.0) (log (- 1.0 y)))
0.0hr	(* (- x 1.0) (log y))
0.0hr	(log (- 1.0 y))

simplify0.0hr

Algorithm

egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	673	1005
1	2529	936
2	5001	886

prune0.0hr

Filtered

121 candidates to 87 candidates (28.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	118	3	121
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	119	3	122

Merged error: 0.0b

Counts

122 → 3

localize0.0hr

Local error

Found 4 expressions with local error:

0.0b	(* 1/2 (/ (pow y 2) (pow 1.0 2)))
0.0b	(* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))
0.0b	(+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))
0.1b	(* (- x 1.0) (log y))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

94×	`add-sqr-sqrt`
80×	`times-frac`
78×	`associate-r`
57×	`*-un-lft-identity`
56×	`unpow-prod-down`
50×	`add-cube-cbrt`
31×	`add-exp-log`
27×	`flip3--` `flip--`
24×	`log-prod` `associate-*l/` `unpow2` `sqr-pow`
19×	`unswap-sqr`
16×	`distribute-rgt-in` `distribute-lft-in` `frac-add`
13×	`associate-l` `add-cbrt-cube`
12×	`pow1` `frac-times` `prod-exp` `associate--l+`
10×	`associate-+r+`
9×	`div-exp`
7×	`associate-*r/`
6×	`pow-to-exp` `associate-+l+` `pow-exp` `add-log-exp`
4×	`sub-neg` `cbrt-unprod` `distribute-lft-out--`
3×	`pow-prod-down` `*-commutative` `difference-of-squares`
2×	`log-pow`
1×	`cbrt-undiv` `+-commutative` `flip3-+` `sum-log` `flip-+` `div-inv`

Counts

4 → 223

Calls

4 calls:

0.0hr	(* 1/2 (/ (pow y 2) (pow 1.0 2)))
0.0hr	(* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))
0.0hr	(+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))
0.0hr	(* (- x 1.0) (log y))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(* 1/2 (/ (pow y 2) (pow 1.0 2)))
0.0hr	(* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))
0.0hr	(+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))
0.0hr	(* (- x 1.0) (log y))

simplify0.0hr

Algorithm

egg-herbie

Counts

235 → 235

Iterations

Useful iterations: 1 (0.0hr)

Iter	Nodes	Cost
0	1359	2834
1	5001	2680

prune0.0hr

Filtered

235 candidates to 162 candidates (31.1%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	233	2	235
Fresh	0	2	2
Picked	1	0	1
Done	0	0	0
Total	234	4	238

Merged error: 0.0b

Counts

238 → 4

localize0.0hr

Local error

Found 4 expressions with local error:

0.0b	(+ (* (- x 1.0) (log y)) (* (* (- z 1.0) (+ (sqrt (log 1.0)) (sqrt (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (- (sqrt (log 1.0)) (sqrt (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))))
0.1b	(* (- z 1.0) (+ (sqrt (log 1.0)) (sqrt (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))
0.1b	(* (- x 1.0) (log y))
0.4b	(* (* (- z 1.0) (+ (sqrt (log 1.0)) (sqrt (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (- (sqrt (log 1.0)) (sqrt (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

98×	`associate-*l/`
88×	`frac-times`
84×	`flip3--` `flip--`
52×	`frac-add`
31×	`flip3-+` `flip-+`
29×	`add-sqr-sqrt`
27×	`*-un-lft-identity`
26×	`associate-*r/`
20×	`associate-r`
16×	`pow1`
13×	`add-exp-log` `add-cube-cbrt` `add-cbrt-cube`
12×	`log-prod` `sqrt-prod`
11×	`distribute-rgt-in` `distribute-lft-in` `associate-l`
6×	`associate-+l+` `add-log-exp` `difference-of-squares`
5×	`pow-prod-down` `prod-exp` `cbrt-unprod` `distribute-lft-out--`
4×	`sub-neg` `associate-+r+`
3×	`log-pow` `*-commutative` `distribute-lft-out`
2×	`unswap-sqr`
1×	`+-commutative` `sum-log`

Counts

4 → 190

Calls

4 calls:

0.0hr	(+ (* (- x 1.0) (log y)) (* (* (- z 1.0) (+ (sqrt (log 1.0)) (sqrt (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (- (sqrt (log 1.0)) (sqrt (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))))
0.0hr	(* (- z 1.0) (+ (sqrt (log 1.0)) (sqrt (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))
0.0hr	(* (- x 1.0) (log y))
0.0hr	(* (* (- z 1.0) (+ (sqrt (log 1.0)) (sqrt (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (- (sqrt (log 1.0)) (sqrt (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(+ (* (- x 1.0) (log y)) (* (* (- z 1.0) (+ (sqrt (log 1.0)) (sqrt (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (- (sqrt (log 1.0)) (sqrt (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))))
0.0hr	(* (- z 1.0) (+ (sqrt (log 1.0)) (sqrt (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))
0.0hr	(* (- x 1.0) (log y))
0.0hr	(* (* (- z 1.0) (+ (sqrt (log 1.0)) (sqrt (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))) (- (sqrt (log 1.0)) (sqrt (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))

simplify0.0hr

Algorithm

egg-herbie

Counts

202 → 202

Iterations

Useful iterations: 1 (0.0hr)

Iter	Nodes	Cost
0	1699	8416
1	5001	8107

prune0.0hr

Filtered

202 candidates to 164 candidates (18.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	202	0	202
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	202	4	206

Merged error: 0.0b

Counts

206 → 4

localize0.0hr

Local error

Found 4 expressions with local error:

0.3b	(+ (* (- x 1.0) (* 2 (log (cbrt y)))) (* (- x 1.0) (log (cbrt y))))
0.7b	(cbrt y)
0.7b	(cbrt y)
5.1b	(log (- 1.0 y))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

41×	`log-prod`
30×	`distribute-rgt-in` `distribute-lft-in`
24×	`cbrt-prod` `associate-+l+`
21×	`add-sqr-sqrt` `*-un-lft-identity`
19×	`add-cube-cbrt`
12×	`associate-+r+`
8×	`associate-*l/`
6×	`add-log-exp`
5×	`pow1` `add-exp-log` `flip3--` `flip--`
4×	`frac-add` `add-cbrt-cube`
2×	`log-div` `pow1/3`
1×	`+-commutative` `flip3-+` `rem-log-exp` `sum-log` `log-pow` `flip-+` `distribute-lft-out` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 90

Calls

4 calls:

0.0hr	(+ (* (- x 1.0) (* 2 (log (cbrt y)))) (* (- x 1.0) (log (cbrt y))))
0.0hr	(cbrt y)
0.0hr	(cbrt y)
0.0hr	(log (- 1.0 y))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(+ (* (- x 1.0) (* 2 (log (cbrt y)))) (* (- x 1.0) (log (cbrt y))))
0.0hr	(cbrt y)
0.0hr	(cbrt y)
0.0hr	(log (- 1.0 y))

simplify0.0hr

Algorithm

egg-herbie

Counts

102 → 102

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	593	879
1	2054	781
2	5003	743

prune0.0hr

Filtered

102 candidates to 90 candidates (11.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	100	2	102
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	100	6	106

Merged error: 0b

Counts

106 → 6

regimes0.0hr

Accuracy

0% (0.3b remaining)

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

bsearch0.0hr

simplify0.0hr

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0hr)

Iter	Nodes	Cost
0	34	28
1	34	28

end0.0hr

sample0.0hr

Algorithm

intervals

Results

0.0hr	24765×	body	80	nan
0.0hr	5911×	body	80	valid
0.0hr	787×	body	640	valid
0.0hr	259×	body	1280	valid
0.0hr	666×	body	320	valid
0.0hr	409×	body	160	valid

Details

sample0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

regimes0.0hr

bsearch0.0hr

simplify0.0hr

end0.0hr

sample0.0hr

Profiling