Details

analyze459.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	74.9%	25.1%	5
0%	74.9%	25.1%	6
0%	74.9%	25.1%	7
6.2%	56.2%	37.6%	8
7.8%	53%	39.2%	9
10.9%	45.6%	43.4%	10
18.3%	31.4%	50.3%	11
19.1%	29.5%	51.3%	12
21.4%	24.8%	53.8%	13
25.8%	16.7%	57.5%	14

sample33.0ms

Algorithm

intervals

Results

17.0ms	256×	body	80	valid
3.0ms	44×	body	80	invalid
2.0ms	27×	body	80	nan

simplify5.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	138	24
1	138	24

prune13.0ms

Filtered

1 candidates to 1 candidates (0.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.3b

Counts

2 → 2

localize17.0ms

Local error

Found 4 expressions with local error:

0.1b	(+ (- (* (- x 0.5) (log x)) x) 0.91893853320467)
0.1b	(* (- x 0.5) (log x))
0.2b	(- (* (- x 0.5) (log x)) x)
5.7b	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt` `*-un-lft-identity`
20×	`add-cube-cbrt`
18×	`log-prod`
12×	`associate--l+`
11×	`add-log-exp`
9×	`distribute-rgt-in` `distribute-lft-in` `times-frac`
8×	`add-exp-log` `add-cbrt-cube`
7×	`pow1` `associate-+l+`
5×	`associate-l`
4×	`associate-r`
3×	`associate-/r` `associate-/l`
2×	`sub-neg` `flip3--` `flip3-+` `diff-log` `associate-*l/` `sum-log` `flip--` `flip-+` `associate-/l/`
1×	`cbrt-undiv` `+-commutative` `associate-+l-` `frac-2neg` `div-exp` `pow-prod-down` `prod-exp` `clear-num` `log-pow` `*-commutative` `cbrt-unprod` `div-inv` `distribute-lft-out` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

4 → 96

Calls

4 calls:

9.0ms	(+ (- (* (- x 0.5) (log x)) x) 0.91893853320467)
7.0ms	(* (- x 0.5) (log x))
6.0ms	(- (* (- x 0.5) (log x)) x)
11.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

series111.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(+ (- (* (- x 0.5) (log x)) x) 0.91893853320467)
21.0ms	(* (- x 0.5) (log x))
36.0ms	(- (* (- x 0.5) (log x)) x)
21.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

simplify65.0ms

Algorithm

egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4990	1440
1	4990	1440

prune237.0ms

Filtered

88 candidates to 108 candidates (-22.7%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	97	11	108
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	99	11	110

Merged error: 0.0b

Counts

110 → 11

localize23.0ms

Local error

Found 4 expressions with local error:

0.3b	(+ (* (- x 0.5) (* (log (cbrt x)) 2)) (* (- x 0.5) (log (cbrt x))))
0.6b	(cbrt x)
0.6b	(cbrt x)
5.7b	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
12×	`cbrt-prod` `associate-+r+` `log-prod`
9×	`times-frac`
8×	`associate-*l/`
6×	`add-exp-log` `distribute-rgt-in` `distribute-lft-in` `add-cbrt-cube` `add-log-exp`
4×	`pow1` `flip3--` `frac-add` `flip--`
3×	`associate-/r` `associate-/l`
2×	`flip3-+` `pow1/3` `flip-+` `associate-/l/`
1×	`cbrt-undiv` `+-commutative` `frac-2neg` `div-exp` `clear-num` `sum-log` `div-inv` `distribute-lft-out`

Counts

4 → 79

Calls

4 calls:

11.0ms	(+ (* (- x 0.5) (* (log (cbrt x)) 2)) (* (- x 0.5) (log (cbrt x))))
1.0ms	(cbrt x)
1.0ms	(cbrt x)
11.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

series167.0ms

Counts

4 → 12

Calls

4 calls:

103.0ms	(+ (* (- x 0.5) (* (log (cbrt x)) 2)) (* (- x 0.5) (log (cbrt x))))
21.0ms	(cbrt x)
23.0ms	(cbrt x)
21.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

simplify64.0ms

Algorithm

egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4876	1167
1	4876	1167

prune198.0ms

Filtered

75 candidates to 91 candidates (-21.3%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	89	2	91
Fresh	0	10	10
Picked	1	0	1
Done	0	0	0
Total	90	12	102

Merged error: 0.0b

Counts

102 → 12

localize30.0ms

Local error

Found 4 expressions with local error:

0.3b	(+ (* (- x 0.5) (* (log (pow x 1/3)) 2)) (* (- x 0.5) (log (cbrt x))))
0.6b	(cbrt x)
5.0b	(pow x 1/3)
5.7b	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
12×	`associate-+r+` `log-prod`
9×	`cbrt-prod` `times-frac`
8×	`associate-*l/`
7×	`add-exp-log`
6×	`distribute-rgt-in` `distribute-lft-in` `add-cbrt-cube` `add-log-exp`
5×	`pow1`
4×	`flip3--` `frac-add` `flip--`
3×	`unpow-prod-down` `pow-unpow` `associate-/r` `associate-/l`
2×	`flip3-+` `flip-+` `associate-/l/`
1×	`cbrt-undiv` `+-commutative` `pow-to-exp` `pow-pow` `frac-2neg` `unpow1/3` `pow1/3` `div-exp` `pow-exp` `clear-num` `sum-log` `div-inv` `distribute-lft-out` `sqr-pow`

Counts

4 → 86

Calls

4 calls:

10.0ms	(+ (* (- x 0.5) (* (log (pow x 1/3)) 2)) (* (- x 0.5) (log (cbrt x))))
1.0ms	(cbrt x)
2.0ms	(pow x 1/3)
13.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

series196.0ms

Counts

4 → 12

Calls

4 calls:

135.0ms	(+ (* (- x 0.5) (* (log (pow x 1/3)) 2)) (* (- x 0.5) (log (cbrt x))))
21.0ms	(cbrt x)
19.0ms	(pow x 1/3)
21.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

simplify57.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4944	1240
1	4944	1240

prune226.0ms

Filtered

79 candidates to 98 candidates (-24.1%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	98	0	98
Fresh	0	11	11
Picked	0	1	1
Done	0	0	0
Total	98	12	110

Merged error: 0.0b

Counts

110 → 12

localize25.0ms

Local error

Found 4 expressions with local error:

0.2b	(- (* (+ (sqrt x) (sqrt 0.5)) (* (log x) (- (sqrt x) (sqrt 0.5)))) x)
0.4b	(* (+ (sqrt x) (sqrt 0.5)) (* (log x) (- (sqrt x) (sqrt 0.5))))
0.4b	(* (log x) (- (sqrt x) (sqrt 0.5)))
5.7b	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

25×	`add-sqr-sqrt`
23×	`*-un-lft-identity`
15×	`add-cube-cbrt`
13×	`add-exp-log` `add-cbrt-cube`
12×	`pow1`
11×	`sub-neg`
10×	`associate-r/` `associate-r*`
9×	`distribute-rgt-in` `distribute-lft-in` `times-frac` `associate-l`
8×	`sqrt-prod`
6×	`add-log-exp`
5×	`flip3--` `flip--`
4×	`frac-times` `flip3-+` `pow-prod-down` `prod-exp` `associate--l+` `cbrt-unprod` `flip-+` `difference-of-squares`
3×	`associate-/r` `associate-/l`
2×	`associate-l/` `-commutative` `associate-/l/` `distribute-lft-out` `distribute-lft-out--`
1×	`cbrt-undiv` `frac-2neg` `diff-log` `div-exp` `clear-num` `log-pow` `div-inv` `unswap-sqr`

Counts

4 → 105

Calls

4 calls:

14.0ms	(- (* (+ (sqrt x) (sqrt 0.5)) (* (log x) (- (sqrt x) (sqrt 0.5)))) x)
14.0ms	(* (+ (sqrt x) (sqrt 0.5)) (* (log x) (- (sqrt x) (sqrt 0.5))))
9.0ms	(* (log x) (- (sqrt x) (sqrt 0.5)))
11.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

series92.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(- (* (+ (sqrt x) (sqrt 0.5)) (* (log x) (- (sqrt x) (sqrt 0.5)))) x)
22.0ms	(* (+ (sqrt x) (sqrt 0.5)) (* (log x) (- (sqrt x) (sqrt 0.5))))
9.0ms	(* (log x) (- (sqrt x) (sqrt 0.5)))
24.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

simplify66.0ms

Algorithm

egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4976	1937
1	4976	1937

prune221.0ms

Filtered

89 candidates to 117 candidates (-31.5%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	117	0	117
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	117	12	129

Merged error: 0.0b

Counts

129 → 12

regimes734.0ms

Accuracy

94.4% (0.3b remaining)

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

bsearch563.0ms

Steps

Iters	Range		Point
8	34845845787091004.0	2.551688346887159e+20	3.529602132269039e+16
6	-9.502880968644716e+24	-1.816237210253401e+24	-1.8860184916081755e+24

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	64	71
1	64	71

end0.0ms

analyze462.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	74.9%	25.1%	5
0%	74.9%	25.1%	6
0%	74.9%	25.1%	7
6.2%	56.2%	37.6%	8
7.8%	53%	39.2%	9
10.9%	45.6%	43.4%	10
18.3%	31.4%	50.3%	11
19.1%	29.5%	51.3%	12
21.4%	24.8%	53.8%	13
25.8%	16.7%	57.5%	14

sample904.0ms

Algorithm

intervals

Results

555.0ms	8000×	body	80	valid
85.0ms	1181×	body	80	invalid
50.0ms	743×	body	80	nan

Details

analyze459.0ms

sample33.0ms

simplify5.0ms

prune13.0ms

localize17.0ms

rewrite36.0ms

series111.0ms

simplify65.0ms

prune237.0ms

localize23.0ms

rewrite26.0ms

series167.0ms

simplify64.0ms

prune198.0ms

localize30.0ms

rewrite29.0ms

series196.0ms

simplify57.0ms

prune226.0ms

localize25.0ms

rewrite51.0ms

series92.0ms

simplify66.0ms

prune221.0ms

regimes734.0ms

bsearch563.0ms

simplify2.0ms

end0.0ms

analyze462.0ms

sample904.0ms

Profiling