Details

sample143.0ms

Algorithm

intervals

Results

55.0ms	793×	body	80	nan
13.0ms	184×	body	80	valid
9.0ms	11×	body	1280	valid
8.0ms	23×	body	640	valid
7.0ms	28×	body	320	valid
2.0ms	11×	body	160	valid

simplify18.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (17.0ms)

Iter	Nodes	Cost
0	894	17
1	894	17

prune9.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 9.4b

Counts

2 → 1

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

27×	`log-prod`
25×	`add-sqr-sqrt`
23×	`*-un-lft-identity`
13×	`add-cube-cbrt`
11×	`distribute-rgt-in` `distribute-lft-in` `add-log-exp`
10×	`associate-+r+` `associate-*l/`
8×	`pow1`
7×	`add-exp-log` `flip3--` `flip--`
6×	`associate-+l+` `add-cbrt-cube`
5×	`associate-l` `distribute-lft-out--` `difference-of-squares`
4×	`associate-r` `frac-add`
2×	`log-div` `diff-log` `sum-log` `log-pow`
1×	`+-commutative` `sub-neg` `flip3-+` `rem-log-exp` `pow-prod-down` `prod-exp` `associate--l+` `*-commutative` `cbrt-unprod` `flip-+` `unswap-sqr`

Counts

4 → 92

Calls

4 calls:

10.0ms	(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t)
11.0ms	(+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y))))
7.0ms	(* (- x 1.0) (log y))
3.0ms	(log (- 1.0 y))

series76.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t)
25.0ms	(+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y))))
10.0ms	(* (- x 1.0) (log y))
3.0ms	(log (- 1.0 y))

simplify44.0ms

Algorithm

egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	4896	1615
1	4896	1615

prune213.0ms

Filtered

83 candidates to 104 candidates (-25.3%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	97	7	104
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	98	7	105

Merged error: 0.1b

Counts

105 → 7

localize19.0ms

Local error

Found 4 expressions with local error:

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

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

24×	`associate-*l/`
22×	`add-sqr-sqrt`
21×	`*-un-lft-identity`
19×	`flip3--` `flip--`
16×	`frac-add`
12×	`frac-times` `add-cube-cbrt` `log-prod`
11×	`add-log-exp`
10×	`pow1` `flip3-+` `associate-l` `flip-+`
9×	`associate-r`
8×	`add-exp-log` `distribute-rgt-in` `distribute-lft-in` `add-cbrt-cube`
6×	`associate-+l+` `associate-*r/`
3×	`distribute-lft-out--` `difference-of-squares`
2×	`associate-+r+` `diff-log` `pow-prod-down` `prod-exp` `sum-log` `log-pow` `*-commutative` `cbrt-unprod` `distribute-lft-out` `unswap-sqr`
1×	`+-commutative` `sub-neg` `associate--l+`

Counts

4 → 112

Calls

4 calls:

14.0ms	(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (+ (log 1.0) (- (* (* y (/ y (* 1.0 1.0))) -1/2) (* 1.0 y))))) t)
14.0ms	(* (- z 1.0) (+ (log 1.0) (- (* (* y (/ y (* 1.0 1.0))) -1/2) (* 1.0 y))))
9.0ms	(+ (* (- x 1.0) (log y)) (* (- z 1.0) (+ (log 1.0) (- (* (* y (/ y (* 1.0 1.0))) -1/2) (* 1.0 y)))))
7.0ms	(* (- x 1.0) (log y))

series107.0ms

Counts

4 → 12

Calls

4 calls:

52.0ms	(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (+ (log 1.0) (- (* (* y (/ y (* 1.0 1.0))) -1/2) (* 1.0 y))))) t)
11.0ms	(* (- z 1.0) (+ (log 1.0) (- (* (* y (/ y (* 1.0 1.0))) -1/2) (* 1.0 y))))
33.0ms	(+ (* (- x 1.0) (log y)) (* (- z 1.0) (+ (log 1.0) (- (* (* y (/ y (* 1.0 1.0))) -1/2) (* 1.0 y)))))
9.0ms	(* (- x 1.0) (log y))

simplify61.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5007	3833

prune350.0ms

Filtered

100 candidates to 124 candidates (-24.0%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	122	2	124
Fresh	2	4	6
Picked	0	1	1
Done	0	0	0
Total	124	7	131

Merged error: 0.0b

Counts

131 → 7

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b	(* y (+ 1.0 y))
0.1b	(* (- x 1.0) (log y))
1.7b	(log (- (pow 1.0 3) (pow y 3)))
5.8b	(log (+ (* 1.0 1.0) (* y (+ 1.0 y))))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

42×	`add-sqr-sqrt`
34×	`log-prod`
26×	`*-un-lft-identity`
17×	`difference-of-squares`
12×	`add-cube-cbrt` `unpow-prod-down` `cube-prod`
11×	`pow1`
10×	`add-exp-log`
8×	`associate-r` `associate-l` `add-cbrt-cube` `sqr-pow`
6×	`distribute-lft-out--`
4×	`distribute-rgt-in` `log-div` `distribute-lft-in` `add-log-exp`
3×	`log-pow`
2×	`flip3--` `flip3-+` `associate-r/` `rem-log-exp` `pow-prod-down` `associate-l/` `prod-exp` `*-commutative` `flip--` `cbrt-unprod` `flip-+` `unswap-sqr`
1×	`difference-cubes` `distribute-lft-out`

Counts

4 → 102

Calls

4 calls:

6.0ms	(* y (+ 1.0 y))
7.0ms	(* (- x 1.0) (log y))
13.0ms	(log (- (pow 1.0 3) (pow y 3)))
4.0ms	(log (+ (* 1.0 1.0) (* y (+ 1.0 y))))

series31.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* y (+ 1.0 y))
9.0ms	(* (- x 1.0) (log y))
13.0ms	(log (- (pow 1.0 3) (pow y 3)))
4.0ms	(log (+ (* 1.0 1.0) (* y (+ 1.0 y))))

simplify57.0ms

Algorithm

egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5042	1274

prune240.0ms

Filtered

69 candidates to 114 candidates (-65.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	113	1	114
Fresh	0	5	5
Picked	1	0	1
Done	0	1	1
Total	114	7	121

Merged error: 0.0b

Counts

121 → 7

localize25.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (- x 1.0) (log y))
1.7b	(log (- (pow 1.0 3) (pow y 3)))
5.8b	(log (+ (* 1.0 1.0) (* y (+ 1.0 y))))
5.8b	(log (+ (* 1.0 1.0) (* y (+ 1.0 y))))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 93

Calls

4 calls:

6.0ms	(* (- x 1.0) (log y))
11.0ms	(log (- (pow 1.0 3) (pow y 3)))
4.0ms	(log (+ (* 1.0 1.0) (* y (+ 1.0 y))))
4.0ms	(log (+ (* 1.0 1.0) (* y (+ 1.0 y))))

series33.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(* (- x 1.0) (log y))
16.0ms	(log (- (pow 1.0 3) (pow y 3)))
4.0ms	(log (+ (* 1.0 1.0) (* y (+ 1.0 y))))
4.0ms	(log (+ (* 1.0 1.0) (* y (+ 1.0 y))))

simplify54.0ms

Algorithm

egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	4959	1377
1	4959	1377

prune276.0ms

Filtered

68 candidates to 105 candidates (-54.4%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	105	0	105
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	105	7	112

Merged error: 0.0b

Counts

112 → 7

regimes474.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	29
1	28	29

end0.0ms

sample4.1s

Algorithm

intervals

Results

1.6s	24392×	body	80	nan
417.0ms	5925×	body	80	valid
279.0ms	733×	body	640	valid
187.0ms	266×	body	1280	valid
165.0ms	714×	body	320	valid
58.0ms	393×	body	160	valid

Details

sample143.0ms

simplify18.0ms

prune9.0ms

localize16.0ms

rewrite35.0ms

series76.0ms

simplify44.0ms

prune213.0ms

localize19.0ms

rewrite48.0ms

series107.0ms

simplify61.0ms

prune350.0ms

localize22.0ms

rewrite32.0ms

series31.0ms

simplify57.0ms

prune240.0ms

localize25.0ms

rewrite28.0ms

series33.0ms

simplify54.0ms

prune276.0ms

regimes474.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample4.1s

Profiling