Details

sample40.0ms

Algorithm

intervals

Results

18.0ms

281×

body

valid

simplify60.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 2 (6.0ms)

Iter	Nodes	Cost
0	62	11
1	132	11
2	377	10
3	1105	10
4	3599	10
5	5001	10

prune18.0ms

Filtered

1 candidates to 1 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: 25.9b

Counts

2 → 2

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b	(fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)
0.1b	(fma (fma z 3.13060547623 11.1667541262) z t)
1.9b	(/ y (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
25.6b	(fma (/ y (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)) (fma (fma (fma (fma z 3.13060547623 11.1667541262) z t) z a) z b) x)

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`times-frac`
6×	`add-exp-log` `add-cbrt-cube`
4×	`pow1` `expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`associate-/r` `fma-udef` `associate-/l`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `div-inv`

Counts

4 → 59

Calls

4 calls:

1.0ms	(fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)
1.0ms	(fma (fma z 3.13060547623 11.1667541262) z t)
3.0ms	(/ y (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
1.0ms	(fma (/ y (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)) (fma (fma (fma (fma z 3.13060547623 11.1667541262) z t) z a) z b) x)

series922.0ms

Counts

4 → 12

Calls

4 calls:

55.0ms	(fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)
28.0ms	(fma (fma z 3.13060547623 11.1667541262) z t)
115.0ms	(/ y (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
724.0ms	(fma (/ y (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)) (fma (fma (fma (fma z 3.13060547623 11.1667541262) z t) z a) z b) x)

simplify106.0ms

Algorithm

egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 3 (98.0ms)

Iter	Nodes	Cost
0	265	578
1	824	514
2	3565	508
3	5001	506

prune380.0ms

Filtered

71 candidates to 60 candidates (84.5%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	66	5	71
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	67	6	73

Merged error: 0.4b

Counts

73 → 6

localize29.0ms

Local error

Found 4 expressions with local error:

4.4b	(/ y (sqrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)))
7.0b	(sqrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
7.0b	(sqrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
25.6b	(fma (* (/ 1 (sqrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))) (/ y (sqrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)))) (fma (fma (fma (fma z 3.13060547623 11.1667541262) z t) z a) z b) x)

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt`
21×	`add-cube-cbrt` `*-un-lft-identity`
18×	`times-frac` `sqrt-prod`
6×	`pow1` `add-exp-log` `associate-/r*` `add-cbrt-cube`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`associate-/l*`
2×	`rem-sqrt-square` `sqrt-pow1` `pow1/2`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `fma-udef` `div-inv`

Counts

4 → 81

Calls

4 calls:

4.0ms	(/ y (sqrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)))
1.0ms	(sqrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
2.0ms	(sqrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
1.0ms	(fma (* (/ 1 (sqrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))) (/ y (sqrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)))) (fma (fma (fma (fma z 3.13060547623 11.1667541262) z t) z a) z b) x)

series780.0ms

Counts

4 → 12

Calls

4 calls:

171.0ms	(/ y (sqrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)))
99.0ms	(sqrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
106.0ms	(sqrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
404.0ms	(fma (* (/ 1 (sqrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))) (/ y (sqrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)))) (fma (fma (fma (fma z 3.13060547623 11.1667541262) z t) z a) z b) x)

simplify136.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 3 (123.0ms)

Iter	Nodes	Cost
0	316	998
1	1006	909
2	4476	879
3	5001	877

prune464.0ms

Filtered

93 candidates to 69 candidates (74.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	92	1	93
Fresh	1	4	5
Picked	0	1	1
Done	0	0	0
Total	93	6	99

Merged error: 0.4b

Counts

99 → 6

localize30.0ms

Local error

Found 4 expressions with local error:

14.7b	(cbrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
14.7b	(cbrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
14.7b	(cbrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
25.6b	(fma (/ (/ y (* (cbrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)) (cbrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)))) (cbrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))) (fma (fma (fma (fma z 3.13060547623 11.1667541262) z t) z a) z b) x)

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

9×	`cbrt-prod`
7×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `expm1-log1p-u` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp`
3×	`pow1/3`
1×	`fma-udef`

Counts

4 → 49

Calls

4 calls:

1.0ms	(cbrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
1.0ms	(cbrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
1.0ms	(cbrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
1.0ms	(fma (/ (/ y (* (cbrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)) (cbrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)))) (cbrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))) (fma (fma (fma (fma z 3.13060547623 11.1667541262) z t) z a) z b) x)

series1.2s

Counts

4 → 12

Calls

4 calls:

156.0ms	(cbrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
153.0ms	(cbrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
152.0ms	(cbrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
720.0ms	(fma (/ (/ y (* (cbrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)) (cbrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)))) (cbrt (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))) (fma (fma (fma (fma z 3.13060547623 11.1667541262) z t) z a) z b) x)

simplify59.0ms

Algorithm

egg-herbie

Counts

61 → 61

Iterations

Useful iterations: 3 (49.0ms)

Iter	Nodes	Cost
0	181	755
1	472	661
2	1648	642
3	5002	619

prune394.0ms

Filtered

61 candidates to 56 candidates (91.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	60	1	61
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	61	6	67

Merged error: 0.4b

Counts

67 → 6

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b	(fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721)
0.1b	(fma (fma z 3.13060547623 11.1667541262) z t)
1.7b	(/ (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771) y)
28.0b	(/ (fma (fma (fma (fma z 3.13060547623 11.1667541262) z t) z a) z b) (/ (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771) y))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

84×	`times-frac`
54×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
16×	`associate-/r*`
11×	`add-exp-log` `add-cbrt-cube`
6×	`div-inv` `associate-/l*`
4×	`pow1` `cbrt-undiv` `expm1-log1p-u` `div-exp` `log1p-expm1-u` `add-log-exp`
2×	`frac-2neg` `clear-num` `fma-udef`
1×	`associate-/r/`

Counts

4 → 121

Calls

4 calls:

1.0ms	(fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721)
1.0ms	(fma (fma z 3.13060547623 11.1667541262) z t)
3.0ms	(/ (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771) y)
6.0ms	(/ (fma (fma (fma (fma z 3.13060547623 11.1667541262) z t) z a) z b) (/ (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771) y))

series449.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721)
29.0ms	(fma (fma z 3.13060547623 11.1667541262) z t)
91.0ms	(/ (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771) y)
294.0ms	(/ (fma (fma (fma (fma z 3.13060547623 11.1667541262) z t) z a) z b) (/ (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771) y))

simplify76.0ms

Algorithm

egg-herbie

Counts

133 → 133

Iterations

Useful iterations: 2 (48.0ms)

Iter	Nodes	Cost
0	526	1808
1	1941	1694
2	5001	1692

prune631.0ms

Filtered

133 candidates to 111 candidates (83.5%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	131	2	133
Fresh	1	2	3
Picked	0	1	1
Done	0	2	2
Total	132	7	139

Merged error: 0.4b

Counts

139 → 7

regimes521.0ms

Accuracy

97.9% (0.6b remaining)

Error of 1.0b against oracle of 0.4b and baseline of 28.3b

bsearch219.0ms

Steps

Iters	Range		Point
8	4.324120709964065e+34	4.658876118741473e+38	9.977051246866488e+36
7	-2.750973778657995e+40	-1.4669166252069677e+38	-1.1159630195915311e+39

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	40	15
1	40	15

end0.0ms

sample1.1s

Algorithm

intervals

Results

805.0ms

8863×

body

valid

Details

sample40.0ms

simplify60.0ms

prune18.0ms

localize20.0ms

rewrite6.0ms

series922.0ms

simplify106.0ms

prune380.0ms

localize29.0ms

rewrite10.0ms

series780.0ms

simplify136.0ms

prune464.0ms

localize30.0ms

rewrite5.0ms

series1.2s

simplify59.0ms

prune394.0ms

localize21.0ms

rewrite15.0ms

series449.0ms

simplify76.0ms

prune631.0ms

regimes521.0ms

bsearch219.0ms

simplify2.0ms

end0.0ms

sample1.1s

Profiling