Details

analyze1.2s

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
1.6%	98.2%	0.2%	9
2.3%	97.5%	0.2%	10
11.7%	88.1%	0.2%	11
13.1%	74.3%	12.7%	12
16.1%	70.5%	13.5%	13
18.6%	68%	13.5%	14

sample92.0ms

Algorithm

intervals

Results

27.0ms	48×	body	1280	valid
16.0ms	46×	body	640	valid
8.0ms	106×	body	80	valid
8.0ms	34×	body	320	valid
5.0ms	3×	body	2560	valid
3.0ms	19×	body	160	valid
3.0ms	10×	body	640	nan
2.0ms	47×	body	80	nan
1.0ms	4×	body	1280	nan
1.0ms	8×	body	320	nan
1.0ms	17×	body	80	overflowed
0.0ms	3×	body	160	nan

simplify3.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	24	13
1	24	13

prune11.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 16.1b

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(* y (exp z))
0.0b	(/ (log (+ 1.0 (- (* y (exp z)) y))) t)
2.8b	(- (* y (exp z)) y)
3.2b	(log (+ 1.0 (- (* y (exp z)) y)))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt` `*-un-lft-identity`
16×	`add-cube-cbrt`
12×	`times-frac`
11×	`pow1`
8×	`add-exp-log` `add-cbrt-cube`
6×	`add-log-exp`
5×	`log-pow`
4×	`log-div` `log-prod` `associate-/l*`
3×	`associate-r` `associate-l` `associate-/r*`
2×	`flip3-+` `div-sub` `flip-+`
1×	`cbrt-undiv` `sub-neg` `flip3--` `frac-2neg` `diff-log` `div-exp` `rem-log-exp` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `flip--` `cbrt-unprod` `div-inv` `distribute-lft-out` `unswap-sqr`

Counts

4 → 77

Calls

4 calls:

6.0ms	(* y (exp z))
9.0ms	(/ (log (+ 1.0 (- (* y (exp z)) y))) t)
5.0ms	(- (* y (exp z)) y)
7.0ms	(log (+ 1.0 (- (* y (exp z)) y)))

series75.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(* y (exp z))
46.0ms	(/ (log (+ 1.0 (- (* y (exp z)) y))) t)
7.0ms	(- (* y (exp z)) y)
15.0ms	(log (+ 1.0 (- (* y (exp z)) y)))

simplify49.0ms

Algorithm

egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5001	1198

prune181.0ms

Filtered

67 candidates to 89 candidates (-32.8%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	81	8	89
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	82	8	90

Merged error: 5.2b

Counts

90 → 8

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt t)
0.5b	(cbrt t)
2.8b	(- (* y (exp z)) y)
3.2b	(log (+ 1.0 (- (* y (exp z)) y)))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

9×	`*-un-lft-identity`
7×	`add-sqr-sqrt` `add-cube-cbrt`
6×	`cbrt-prod` `add-log-exp`
5×	`pow1` `add-exp-log`
4×	`log-prod` `add-cbrt-cube`
2×	`log-div` `pow1/3`
1×	`sub-neg` `flip3--` `flip3-+` `diff-log` `rem-log-exp` `log-pow` `flip--` `flip-+` `distribute-lft-out`

Counts

4 → 48

Calls

4 calls:

1.0ms	(cbrt t)
1.0ms	(cbrt t)
5.0ms	(- (* y (exp z)) y)
6.0ms	(log (+ 1.0 (- (* y (exp z)) y)))

series74.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(cbrt t)
25.0ms	(cbrt t)
7.0ms	(- (* y (exp z)) y)
17.0ms	(log (+ 1.0 (- (* y (exp z)) y)))

simplify37.0ms

Algorithm

egg-herbie

Counts

60 → 60

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5129	519

prune127.0ms

Filtered

47 candidates to 60 candidates (-27.7%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	57	3	60
Fresh	1	6	7
Picked	1	0	1
Done	0	0	0
Total	59	9	68

Merged error: 5.2b

Counts

68 → 9

localize19.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (cbrt t))
0.6b	(cbrt (* (cbrt t) (cbrt t)))
2.8b	(- (* y (exp z)) y)
3.2b	(log (+ 1.0 (- (* y (exp z)) y)))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

10×	`cbrt-prod`
9×	`*-un-lft-identity`
7×	`add-sqr-sqrt` `add-cube-cbrt`
6×	`add-log-exp`
5×	`pow1` `add-exp-log`
4×	`log-prod` `add-cbrt-cube`
2×	`log-div` `pow1/3`
1×	`sub-neg` `flip3--` `flip3-+` `diff-log` `rem-log-exp` `log-pow` `flip--` `flip-+` `distribute-lft-out`

Counts

4 → 49

Calls

4 calls:

2.0ms	(cbrt (cbrt t))
4.0ms	(cbrt (* (cbrt t) (cbrt t)))
5.0ms	(- (* y (exp z)) y)
8.0ms	(log (+ 1.0 (- (* y (exp z)) y)))

series98.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(cbrt (cbrt t))
39.0ms	(cbrt (* (cbrt t) (cbrt t)))
8.0ms	(- (* y (exp z)) y)
15.0ms	(log (+ 1.0 (- (* y (exp z)) y)))

simplify49.0ms

Algorithm

egg-herbie

Counts

61 → 61

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5069	592

prune152.0ms

Filtered

51 candidates to 61 candidates (-19.6%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	57	4	61
Fresh	1	7	8
Picked	0	1	1
Done	0	0	0
Total	58	12	70

Merged error: 5.2b

Counts

70 → 12

localize15.0ms

Local error

Found 4 expressions with local error:

2.8b	(- (* y (exp z)) y)
3.2b	(log (+ 1.0 (- (* y (exp z)) y)))
3.2b	(log (+ 1.0 (- (* y (exp z)) y)))
3.2b	(log (+ 1.0 (- (* y (exp z)) y)))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

13×	`*-un-lft-identity`
12×	`log-prod`
7×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt`
6×	`log-div` `add-log-exp`
4×	`add-cbrt-cube`
3×	`flip3-+` `rem-log-exp` `log-pow` `flip-+` `distribute-lft-out`
1×	`sub-neg` `flip3--` `diff-log` `flip--`

Counts

4 → 56

Calls

4 calls:

5.0ms	(- (* y (exp z)) y)
6.0ms	(log (+ 1.0 (- (* y (exp z)) y)))
6.0ms	(log (+ 1.0 (- (* y (exp z)) y)))
7.0ms	(log (+ 1.0 (- (* y (exp z)) y)))

series54.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(- (* y (exp z)) y)
15.0ms	(log (+ 1.0 (- (* y (exp z)) y)))
15.0ms	(log (+ 1.0 (- (* y (exp z)) y)))
17.0ms	(log (+ 1.0 (- (* y (exp z)) y)))

simplify51.0ms

Algorithm

egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5100	981

prune190.0ms

Filtered

55 candidates to 68 candidates (-23.6%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	66	2	68
Fresh	1	9	10
Picked	1	0	1
Done	0	1	1
Total	68	12	80

Merged error: 5.2b

Counts

80 → 12

regimes729.0ms

Accuracy

59.7% (4.5b remaining)

Error of 8.2b against oracle of 3.7b and baseline of 14.8b

bsearch2.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	53
1	38	53

end0.0ms

analyze1.2s

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
1.6%	98.2%	0.2%	9
2.3%	97.5%	0.2%	10
11.7%	88.1%	0.2%	11
13.1%	74.3%	12.7%	12
16.1%	70.5%	13.5%	13
18.6%	68%	13.5%	14

sample2.6s

Algorithm

intervals

Results

863.0ms	1445×	body	1280	valid
540.0ms	1564×	body	640	valid
255.0ms	3517×	body	80	valid
199.0ms	911×	body	320	valid
109.0ms	80×	body	2560	valid
77.0ms	1536×	body	80	nan
68.0ms	272×	body	640	nan
68.0ms	483×	body	160	valid
49.0ms	836×	body	80	overflowed
39.0ms	111×	body	1280	nan
33.0ms	190×	body	320	nan
13.0ms	117×	body	160	nan
1.0ms	13×	body	80	invalid

Details

analyze1.2s

sample92.0ms

simplify3.0ms

prune11.0ms

localize10.0ms

rewrite28.0ms

series75.0ms

simplify49.0ms

prune181.0ms

localize14.0ms

rewrite15.0ms

series74.0ms

simplify37.0ms

prune127.0ms

localize19.0ms

rewrite20.0ms

series98.0ms

simplify49.0ms

prune152.0ms

localize15.0ms

rewrite26.0ms

series54.0ms

simplify51.0ms

prune190.0ms

regimes729.0ms

bsearch2.0ms

simplify1.0ms

end0.0ms

analyze1.2s

sample2.6s

Profiling