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

sample99.0ms

Algorithm

intervals

Results

30.0ms	48×	body	1280	valid
26.0ms	58×	body	640	valid
8.0ms	106×	body	80	valid
7.0ms	4×	body	2560	valid
5.0ms	23×	body	320	valid
3.0ms	60×	body	80	nan
2.0ms	9×	body	640	nan
2.0ms	17×	body	160	valid
1.0ms	24×	body	80	overflowed
1.0ms	3×	body	1280	nan
0.0ms	4×	body	160	nan
0.0ms	2×	body	320	nan
0.0ms	1×	body	80	invalid

simplify334.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (326.0ms)

Iter	Nodes	Cost
0	5255	20

prune1.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: 27.2b

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(-.f64 x (/.f64 (log.f64 (+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z)))) t))
0.0b	(/.f64 (log.f64 (+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z)))) t)
2.2b	(log.f64 (+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z))))
3.1b	(+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z)))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-sqr-sqrt_binary64`
16×	`*-un-lft-identity_binary64`
14×	`add-cube-cbrt_binary64`
13×	`times-frac_binary64`
11×	`add-log-exp_binary64`
9×	`pow1_binary64`
7×	`add-exp-log_binary64`
6×	`add-cbrt-cube_binary64` `log-div_binary64`
5×	`log-pow_binary64`
4×	`flip3-+_binary64` `div-sub_binary64` `associate-/l*_binary64` `flip-+_binary64`
3×	`associate-/r*_binary64` `log-prod_binary64`
2×	`sub-neg_binary64` `diff-log_binary64` `associate--r-_binary64` `difference-of-squares_binary64` `sum-log_binary64`
1×	`flip3--_binary64` `cbrt-undiv_binary64` `rem-log-exp_binary64` `associate-+l+_binary64` `associate-+l-_binary64` `clear-num_binary64` `frac-2neg_binary64` `distribute-lft-out--_binary64` `div-inv_binary64` `div-exp_binary64` `+-commutative_binary64` `flip--_binary64`

Counts

4 → 77

Calls

4 calls:

9.0ms	(-.f64 x (/.f64 (log.f64 (+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z)))) t))
9.0ms	(/.f64 (log.f64 (+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z)))) t)
6.0ms	(log.f64 (+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z))))
7.0ms	(+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z)))

series381.0ms

Counts

4 → 12

Calls

4 calls:

102.0ms	(-.f64 x (/.f64 (log.f64 (+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z)))) t))
185.0ms	(/.f64 (log.f64 (+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z)))) t)
65.0ms	(log.f64 (+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z))))
29.0ms	(+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z)))

simplify78.0ms

Algorithm

egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5058	2349

prune107.0ms

Filtered

73 candidates to 89 candidates (-21.9%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	79	10	89
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	80	10	90

Merged error: 5.2b

Counts

90 → 10

localize9.0ms

Local error

Found 4 expressions with local error:

1.0b	(.f64 (/.f64 (.f64 y z) t) z)
4.5b	(+.f64 (/.f64 (.f64 y z) t) (.f64 1/2 (.f64 (/.f64 (.f64 y z) t) z)))
5.6b	(/.f64 (*.f64 y z) t)
5.6b	(/.f64 (*.f64 y z) t)

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
13×	`add-sqr-sqrt_binary64`
11×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
9×	`times-frac_binary64`
7×	`associate-l_binary64`
6×	`associate-/r*_binary64` `add-log-exp_binary64` `pow1_binary64` `cbrt-unprod_binary64` `cbrt-undiv_binary64` `prod-exp_binary64` `div-exp_binary64`
3×	`associate-r_binary64` `div-inv_binary64`
2×	`clear-num_binary64` `frac-2neg_binary64` `associate-/l_binary64` `associate-l/_binary64`
1×	`pow-prod-down_binary64` `flip3-+_binary64` `associate-r/_binary64` `frac-add_binary64` `unswap-sqr_binary64` `+-commutative_binary64` `flip-+_binary64` `sum-log_binary64` `-commutative_binary64`

Counts

4 → 81

Calls

4 calls:

7.0ms	(.f64 (/.f64 (.f64 y z) t) z)
8.0ms	(+.f64 (/.f64 (.f64 y z) t) (.f64 1/2 (.f64 (/.f64 (.f64 y z) t) z)))
4.0ms	(/.f64 (*.f64 y z) t)
5.0ms	(/.f64 (*.f64 y z) t)

series136.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(.f64 (/.f64 (.f64 y z) t) z)
63.0ms	(+.f64 (/.f64 (.f64 y z) t) (.f64 1/2 (.f64 (/.f64 (.f64 y z) t) z)))
21.0ms	(/.f64 (*.f64 y z) t)
22.0ms	(/.f64 (*.f64 y z) t)

simplify116.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 0 (96.0ms)

Iter	Nodes	Cost
0	4964	1138
1	4964	1138

prune80.0ms

Filtered

64 candidates to 93 candidates (-45.3%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	87	6	93
Fresh	1	8	9
Picked	1	0	1
Done	0	0	0
Total	89	14	103

Merged error: 4.4b

Counts

103 → 14

localize12.0ms

Local error

Found 4 expressions with local error:

1.0b	(.f64 (/.f64 (.f64 y z) t) z)
4.5b	(+.f64 (.f64 y (/.f64 z t)) (.f64 1/2 (.f64 (/.f64 (.f64 y z) t) z)))
5.6b	(/.f64 (*.f64 y z) t)
7.0b	(*.f64 y (/.f64 z t))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt_binary64`
23×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
17×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
16×	`associate-r_binary64` `times-frac_binary64`
10×	`associate-l_binary64`
8×	`pow1_binary64`
7×	`cbrt-unprod_binary64` `prod-exp_binary64`
6×	`add-log-exp_binary64`
5×	`cbrt-undiv_binary64` `div-exp_binary64`
3×	`associate-/r_binary64` `associate-r/_binary64` `unswap-sqr_binary64` `div-inv_binary64`
2×	`pow-prod-down_binary64` `associate-l/_binary64` `-commutative_binary64`
1×	`flip3-+_binary64` `frac-add_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l*_binary64` `+-commutative_binary64` `flip-+_binary64` `sum-log_binary64`

Counts

4 → 92

Calls

4 calls:

7.0ms	(.f64 (/.f64 (.f64 y z) t) z)
8.0ms	(+.f64 (.f64 y (/.f64 z t)) (.f64 1/2 (.f64 (/.f64 (.f64 y z) t) z)))
5.0ms	(/.f64 (*.f64 y z) t)
7.0ms	(*.f64 y (/.f64 z t))

series132.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(.f64 (/.f64 (.f64 y z) t) z)
63.0ms	(+.f64 (.f64 y (/.f64 z t)) (.f64 1/2 (.f64 (/.f64 (.f64 y z) t) z)))
18.0ms	(/.f64 (*.f64 y z) t)
21.0ms	(*.f64 y (/.f64 z t))

simplify94.0ms

Algorithm

egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	4976	1270
1	4976	1270

prune80.0ms

Filtered

72 candidates to 104 candidates (-44.4%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	103	1	104
Fresh	1	12	13
Picked	0	1	1
Done	0	0	0
Total	104	14	118

Merged error: 4.4b

Counts

118 → 14

localize12.0ms

Local error

Found 4 expressions with local error:

1.0b	(.f64 (/.f64 (.f64 y z) t) z)
4.5b	(+.f64 (/.f64 y (/.f64 t z)) (.f64 1/2 (.f64 (/.f64 (*.f64 y z) t) z)))
5.6b	(/.f64 (*.f64 y z) t)
6.5b	(/.f64 y (/.f64 t z))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

81×	`times-frac_binary64`
53×	`add-sqr-sqrt_binary64`
51×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
23×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
16×	`associate-/r*_binary64`
7×	`cbrt-undiv_binary64` `associate-l_binary64` `div-inv_binary64` `div-exp_binary64`
6×	`add-log-exp_binary64` `pow1_binary64`
5×	`cbrt-unprod_binary64` `prod-exp_binary64`
4×	`associate-/l*_binary64`
3×	`associate-r_binary64`
2×	`clear-num_binary64` `frac-2neg_binary64` `associate-*l/_binary64`
1×	`pow-prod-down_binary64` `flip3-+_binary64` `associate-r/_binary64` `frac-add_binary64` `associate-/r/_binary64` `unswap-sqr_binary64` `+-commutative_binary64` `flip-+_binary64` `sum-log_binary64` `-commutative_binary64`

Counts

4 → 130

Calls

4 calls:

7.0ms	(.f64 (/.f64 (.f64 y z) t) z)
15.0ms	(+.f64 (/.f64 y (/.f64 t z)) (.f64 1/2 (.f64 (/.f64 (*.f64 y z) t) z)))
5.0ms	(/.f64 (*.f64 y z) t)
6.0ms	(/.f64 y (/.f64 t z))

series165.0ms

Counts

4 → 12

Calls

4 calls:

29.0ms	(.f64 (/.f64 (.f64 y z) t) z)
90.0ms	(+.f64 (/.f64 y (/.f64 t z)) (.f64 1/2 (.f64 (/.f64 (*.f64 y z) t) z)))
21.0ms	(/.f64 (*.f64 y z) t)
25.0ms	(/.f64 y (/.f64 t z))

simplify82.0ms

Algorithm

egg-herbie

Counts

142 → 142

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5024	2127

prune95.0ms

Filtered

107 candidates to 142 candidates (-32.7%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	140	2	142
Fresh	3	9	12
Picked	0	1	1
Done	0	1	1
Total	143	13	156

Merged error: 4.4b

Counts

156 → 13

regimes225.0ms

Accuracy

72.6% (4.1b remaining)

Error of 8.1b against oracle of 4.0b and baseline of 19.0b

bsearch1.0ms

simplify6.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	180	56
1	180	56

end0.0ms

sample2.8s

Algorithm

intervals

Results

886.0ms	1463×	body	1280	valid
538.0ms	1519×	body	640	valid
264.0ms	3519×	body	80	valid
211.0ms	924×	body	320	valid
132.0ms	95×	body	2560	valid
76.0ms	1484×	body	80	nan
71.0ms	480×	body	160	valid
69.0ms	264×	body	640	nan
48.0ms	844×	body	80	overflowed
45.0ms	118×	body	1280	nan
35.0ms	204×	body	320	nan
13.0ms	116×	body	160	nan
1.0ms	20×	body	80	invalid

Details

analyze1.2s

sample99.0ms

simplify334.0ms

prune1.0ms

localize10.0ms

rewrite33.0ms

series381.0ms

simplify78.0ms

prune107.0ms

localize9.0ms

rewrite26.0ms

series136.0ms

simplify116.0ms

prune80.0ms

localize12.0ms

rewrite29.0ms

series132.0ms

simplify94.0ms

prune80.0ms

localize12.0ms

rewrite37.0ms

series165.0ms

simplify82.0ms

prune95.0ms

regimes225.0ms

bsearch1.0ms

simplify6.0ms

end0.0ms

sample2.8s

Profiling