Details

sample46.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 100%

Results

25.0ms

285×

body

valid

simplify56.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	55	18
1	116	18
2	329	18
3	935	18
4	2876	18
5	5001	18

prune5.0ms

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: 30.9b

Counts

2 → 1

localize28.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z)
0.1b	(* (+ (* z 3.13060547623) 11.1667541262) z)
3.6b	(* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
29.6b	(/ (* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt`
15×	`add-exp-log` `add-cbrt-cube`
12×	`add-cube-cbrt` `*-un-lft-identity`
10×	`pow1`
9×	`associate-r` `associate-l`
5×	`flip3-+` `flip-+`
4×	`associate-r/` `associate-l/` `prod-exp` `cbrt-unprod` `add-log-exp`
3×	`times-frac` `pow-prod-down` `associate-/r` `-commutative` `unswap-sqr`
2×	`cbrt-undiv` `div-exp` `associate-/r/` `associate-/l/`
1×	`distribute-rgt-in` `frac-2neg` `distribute-lft-in` `clear-num` `div-inv` `associate-/l*`

Counts

4 → 87

Calls

4 calls:

12.0ms	(* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z)
7.0ms	(* (+ (* z 3.13060547623) 11.1667541262) z)
15.0ms	(* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
25.0ms	(/ (* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))

series211.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z)
6.0ms	(* (+ (* z 3.13060547623) 11.1667541262) z)
48.0ms	(* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b))
145.0ms	(/ (* y (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b)) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))

simplify76.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 1 (14.0ms)

Iter	Nodes	Cost
0	573	1240
1	2806	1065
2	5001	1065

prune236.0ms

Filtered

72 candidates to 99 candidates (-37.5%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	91	8	99
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	92	8	100

Merged error: 3.5b

Counts

100 → 8

localize5.0ms

Local error

Found 1 expressions with local error:

0.3b	(* 1.6453555072203998 (* y b))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

6×	`pow1` `add-exp-log` `add-cbrt-cube`
3×	`associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
1×	`associate-r` `*-commutative` `add-log-exp`

Counts

1 → 18

Calls

1 calls:

4.0ms

(* 1.6453555072203998 (* y b))

series4.0ms

Counts

1 → 3

Calls

1 calls:

4.0ms

(* 1.6453555072203998 (* y b))

simplify91.0ms

Algorithm

egg-herbie

Counts

21 → 21

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	86	71
1	318	56
2	1232	56
3	3436	56
4	5002	56

prune64.0ms

Filtered

11 candidates to 21 candidates (-90.9%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	20	1	21
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	20	9	29

Merged error: 3.5b

Counts

29 → 9

localize25.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z)
0.1b	(* (+ (* z 3.13060547623) 11.1667541262) z)
0.1b	(* y (/ (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)))
29.0b	(/ (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))

rewrite76.0ms

Algorithm

rewrite-expression-head

Rules

33×	`add-sqr-sqrt`
24×	`add-cube-cbrt` `*-un-lft-identity`
21×	`associate-r`
19×	`times-frac`
15×	`add-exp-log` `add-cbrt-cube`
10×	`pow1`
9×	`associate-l`
5×	`flip3-+` `flip-+`
4×	`associate-*l/` `prod-exp` `associate-/r/` `cbrt-unprod` `add-log-exp` `unswap-sqr`
3×	`pow-prod-down` `associate-/r` `-commutative` `associate-/l*`
2×	`cbrt-undiv` `div-exp` `div-inv` `associate-/l/`
1×	`frac-2neg` `associate-*r/` `clear-num`

Counts

4 → 105

Calls

4 calls:

12.0ms	(* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z)
6.0ms	(* (+ (* z 3.13060547623) 11.1667541262) z)
25.0ms	(* y (/ (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)))
29.0ms	(/ (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))

series207.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z)
6.0ms	(* (+ (* z 3.13060547623) 11.1667541262) z)
139.0ms	(* y (/ (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771)))
51.0ms	(/ (+ (* (+ (* (+ (* (+ (* z 3.13060547623) 11.1667541262) z) t) z) a) z) b) (+ (* (+ (* (+ (* (+ z 15.234687407) z) 31.4690115749) z) 11.9400905721) z) 0.607771387771))

simplify80.0ms

Algorithm

egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 1 (15.0ms)

Iter	Nodes	Cost
0	593	1919
1	2703	1702
2	5002	1702

prune262.0ms

Filtered

84 candidates to 117 candidates (-39.3%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	116	1	117
Fresh	2	5	7
Picked	0	1	1
Done	0	1	1
Total	118	8	126

Merged error: 0.2b

Counts

126 → 8

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (+ (/ t (pow z 2)) 3.13060547623) (* 36.527041698806414 (/ 1 z)))
0.3b	(* 36.527041698806414 (/ 1 z))
2.7b	(* y (- (+ (/ t (pow z 2)) 3.13060547623) (* 36.527041698806414 (/ 1 z))))
6.8b	(/ t (pow z 2))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

40×	`add-sqr-sqrt`
35×	`times-frac`
32×	`*-un-lft-identity`
31×	`add-cube-cbrt`
20×	`add-exp-log`
16×	`associate-r`
13×	`add-cbrt-cube`
12×	`unpow-prod-down`
11×	`associate-*r/`
9×	`add-log-exp`
8×	`pow1` `associate-/r*` `frac-sub`
6×	`associate-l`
5×	`div-exp` `prod-exp` `un-div-inv`
4×	`flip3-+` `flip-+` `unpow2` `unswap-sqr` `sqr-pow`
3×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate--l+` `cbrt-unprod` `associate-/l*`
2×	`cbrt-undiv` `flip3--` `diff-log` `pow-prod-down` `*-commutative` `flip--` `div-inv`
1×	`pow-to-exp` `rec-exp` `frac-2neg` `1-exp` `pow-exp` `clear-num` `sum-log`

Counts

4 → 133

Calls

4 calls:

13.0ms	(- (+ (/ t (pow z 2)) 3.13060547623) (* 36.527041698806414 (/ 1 z)))
7.0ms	(* 36.527041698806414 (/ 1 z))
16.0ms	(* y (- (+ (/ t (pow z 2)) 3.13060547623) (* 36.527041698806414 (/ 1 z))))
5.0ms	(/ t (pow z 2))

series30.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(- (+ (/ t (pow z 2)) 3.13060547623) (* 36.527041698806414 (/ 1 z)))
2.0ms	(* 36.527041698806414 (/ 1 z))
15.0ms	(* y (- (+ (/ t (pow z 2)) 3.13060547623) (* 36.527041698806414 (/ 1 z))))
7.0ms	(/ t (pow z 2))

simplify67.0ms

Algorithm

egg-herbie

Counts

145 → 145

Iterations

Useful iterations: 2 (54.0ms)

Iter	Nodes	Cost
0	550	962
1	2525	862
2	5002	838

prune178.0ms

Filtered

90 candidates to 145 candidates (-61.1%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	145	0	145
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	145	8	153

Merged error: 0.2b

Counts

153 → 8

regimes883.0ms

Accuracy

96.7% (0.8b remaining)

Error of 1.2b against oracle of 0.3b and baseline of 25.6b

bsearch79.0ms

Steps

Iters	Range		Point
7	3.8642505421476644e+71	1.2904444669060164e+73	3.908044224068752e+71
11	-1.3272055373394428e+61	-1.5848903881154911e+37	-2.8333934666038464e+51

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	73	26
1	73	26

end0.0ms

sample1.2s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 100%

Results

791.0ms

8889×

body

valid

Details

sample46.0ms

simplify56.0ms

prune5.0ms

localize28.0ms

rewrite61.0ms

series211.0ms

simplify76.0ms

prune236.0ms

localize5.0ms

rewrite5.0ms

series4.0ms

simplify91.0ms

prune64.0ms

localize25.0ms

rewrite76.0ms

series207.0ms

simplify80.0ms

prune262.0ms

localize12.0ms

rewrite44.0ms

series30.0ms

simplify67.0ms

prune178.0ms

regimes883.0ms

bsearch79.0ms

simplify2.0ms

end0.0ms

sample1.2s

Profiling