Details

analyze359.0ms

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%	68.6%	31.4%	5
0%	65.5%	34.5%	6
0%	59.2%	40.8%	7
0%	51.4%	48.6%	8
0%	41.3%	58.7%	9
0%	28.4%	71.6%	10
2.3%	22.3%	75.4%	11
2.3%	21%	76.7%	12
2.7%	18%	79.3%	13
2.7%	16.4%	80.8%	14

sample41.0ms

Algorithm

intervals

Results

18.0ms	256×	body	80	valid
8.0ms	131×	body	80	nan

simplify146.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (137.0ms)

Iter	Nodes	Cost
0	5148	25

prune2.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: 0.2b

Counts

2 → 1

localize14.0ms

Local error

Found 3 expressions with local error:

0.1b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
0.1b	(*.f64 (-.f64 a 1/2) (log.f64 t))
0.5b	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

19×	`*-un-lft-identity_binary64` `log-prod_binary64`
15×	`add-sqr-sqrt_binary64`
11×	`add-cube-cbrt_binary64`
10×	`add-log-exp_binary64` `pow1_binary64`
9×	`associate-+r+_binary64`
6×	`associate-+l+_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `associate-*l/_binary64`
5×	`flip3--_binary64` `distribute-lft-out_binary64` `log-pow_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-l_binary64` `flip--_binary64` `sum-log_binary64`
4×	`associate-r_binary64` `frac-add_binary64`
3×	`flip3-+_binary64` `associate-+l-_binary64` `flip-+_binary64`
2×	`diff-log_binary64` `log-div_binary64` `+-commutative_binary64`
1×	`pow-prod-down_binary64` `sub-neg_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `associate--l+_binary64` `*-commutative_binary64`

Counts

3 → 79

Calls

3 calls:

13.0ms	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
7.0ms	(*.f64 (-.f64 a 1/2) (log.f64 t))
7.0ms	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))

series280.0ms

Counts

3 → 9

Calls

3 calls:

175.0ms	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
49.0ms	(*.f64 (-.f64 a 1/2) (log.f64 t))
56.0ms	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))

simplify79.0ms

Algorithm

egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	5017	1966

prune103.0ms

Filtered

67 candidates to 88 candidates (-31.3%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	79	9	88
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	80	9	89

Merged error: 0.0b

Counts

89 → 9

localize18.0ms

Local error

Found 3 expressions with local error:

0.1b	(+.f64 (log.f64 z) (-.f64 (*.f64 (-.f64 a 1/2) (log.f64 t)) t))
0.1b	(+.f64 (log.f64 (+.f64 x y)) (+.f64 (log.f64 z) (-.f64 (*.f64 (-.f64 a 1/2) (log.f64 t)) t)))
0.1b	(*.f64 (-.f64 a 1/2) (log.f64 t))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

29×	`*-un-lft-identity_binary64`
19×	`log-prod_binary64`
15×	`add-sqr-sqrt_binary64`
13×	`distribute-lft-out_binary64`
12×	`pow1_binary64`
11×	`add-cube-cbrt_binary64`
10×	`add-log-exp_binary64`
8×	`associate-+r+_binary64`
7×	`log-pow_binary64` `associate-+l+_binary64` `sum-log_binary64`
6×	`distribute-lft-in_binary64` `distribute-rgt-in_binary64` `associate--l+_binary64`
5×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-l_binary64`
4×	`associate-r_binary64`
3×	`flip3-+_binary64` `associate-+r-_binary64` `flip-+_binary64`
2×	`diff-log_binary64` `associate-+l-_binary64` `log-div_binary64` `+-commutative_binary64` `associate-*l/_binary64`
1×	`pow-prod-down_binary64` `sub-neg_binary64` `flip3--_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `flip--_binary64` `*-commutative_binary64`

Counts

3 → 81

Calls

3 calls:

10.0ms	(+.f64 (log.f64 z) (-.f64 (*.f64 (-.f64 a 1/2) (log.f64 t)) t))
14.0ms	(+.f64 (log.f64 (+.f64 x y)) (+.f64 (log.f64 z) (-.f64 (*.f64 (-.f64 a 1/2) (log.f64 t)) t)))
7.0ms	(*.f64 (-.f64 a 1/2) (log.f64 t))

series296.0ms

Counts

3 → 9

Calls

3 calls:

73.0ms	(+.f64 (log.f64 z) (-.f64 (*.f64 (-.f64 a 1/2) (log.f64 t)) t))
180.0ms	(+.f64 (log.f64 (+.f64 x y)) (+.f64 (log.f64 z) (-.f64 (*.f64 (-.f64 a 1/2) (log.f64 t)) t)))
43.0ms	(*.f64 (-.f64 a 1/2) (log.f64 t))

simplify78.0ms

Algorithm

egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5004	1892

prune81.0ms

Filtered

64 candidates to 90 candidates (-40.6%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	89	1	90
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	89	10	99

Merged error: 0.0b

Counts

99 → 10

localize23.0ms

Local error

Found 4 expressions with local error:

0.3b	(+.f64 (.f64 (-.f64 a 1/2) (.f64 2 (log.f64 (cbrt.f64 t)))) (*.f64 (-.f64 a 1/2) (log.f64 (cbrt.f64 t))))
0.5b	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))
0.6b	(cbrt.f64 t)
0.6b	(cbrt.f64 t)

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

43×	`log-prod_binary64`
30×	`distribute-lft-in_binary64` `distribute-rgt-in_binary64`
28×	`associate-+l+_binary64`
26×	`*-un-lft-identity_binary64`
24×	`cbrt-prod_binary64`
20×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
15×	`associate-+r+_binary64`
8×	`pow1_binary64` `associate-*l/_binary64`
6×	`add-log-exp_binary64` `distribute-lft-out_binary64`
4×	`flip3--_binary64` `frac-add_binary64` `log-pow_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `flip--_binary64`
3×	`flip3-+_binary64` `flip-+_binary64`
2×	`pow1/3_binary64` `associate-+l-_binary64` `log-div_binary64` `+-commutative_binary64` `sum-log_binary64`

Counts

4 → 98

Calls

4 calls:

15.0ms	(+.f64 (.f64 (-.f64 a 1/2) (.f64 2 (log.f64 (cbrt.f64 t)))) (*.f64 (-.f64 a 1/2) (log.f64 (cbrt.f64 t))))
7.0ms	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))
1.0ms	(cbrt.f64 t)
1.0ms	(cbrt.f64 t)

series362.0ms

Counts

4 → 12

Calls

4 calls:

141.0ms	(+.f64 (.f64 (-.f64 a 1/2) (.f64 2 (log.f64 (cbrt.f64 t)))) (*.f64 (-.f64 a 1/2) (log.f64 (cbrt.f64 t))))
55.0ms	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))
85.0ms	(cbrt.f64 t)
81.0ms	(cbrt.f64 t)

simplify56.0ms

Algorithm

egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5686	1664

prune138.0ms

Filtered

96 candidates to 110 candidates (-14.6%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	108	2	110
Fresh	3	5	8
Picked	1	0	1
Done	0	1	1
Total	112	8	120

Merged error: 0b

Counts

120 → 8

localize27.0ms

Local error

Found 4 expressions with local error:

0.3b	(+.f64 (.f64 (-.f64 a 1/2) (.f64 2 (log.f64 (cbrt.f64 t)))) (*.f64 (-.f64 a 1/2) (log.f64 (pow.f64 t 1/3))))
0.5b	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))
0.6b	(cbrt.f64 t)
5.1b	(pow.f64 t 1/3)

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

45×	`log-prod_binary64`
31×	`distribute-lft-in_binary64` `distribute-rgt-in_binary64`
28×	`associate-+l+_binary64`
27×	`*-un-lft-identity_binary64`
21×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
17×	`associate-+r+_binary64`
15×	`cbrt-prod_binary64`
9×	`pow1_binary64` `unpow-prod-down_binary64`
8×	`associate-*l/_binary64`
6×	`add-log-exp_binary64` `distribute-lft-out_binary64`
5×	`add-exp-log_binary64`
4×	`flip3--_binary64` `frac-add_binary64` `log-pow_binary64` `add-cbrt-cube_binary64` `flip--_binary64`
3×	`flip3-+_binary64` `pow-unpow_binary64` `sqr-pow_binary64` `flip-+_binary64`
2×	`associate-+l-_binary64` `log-div_binary64` `+-commutative_binary64` `sum-log_binary64`
1×	`pow-to-exp_binary64` `pow1/3_binary64` `pow-pow_binary64` `pow-exp_binary64` `unpow1/3_binary64`

Counts

4 → 107

Calls

4 calls:

15.0ms	(+.f64 (.f64 (-.f64 a 1/2) (.f64 2 (log.f64 (cbrt.f64 t)))) (*.f64 (-.f64 a 1/2) (log.f64 (pow.f64 t 1/3))))
7.0ms	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))
1.0ms	(cbrt.f64 t)
2.0ms	(pow.f64 t 1/3)

series389.0ms

Counts

4 → 12

Calls

4 calls:

178.0ms	(+.f64 (.f64 (-.f64 a 1/2) (.f64 2 (log.f64 (cbrt.f64 t)))) (*.f64 (-.f64 a 1/2) (log.f64 (pow.f64 t 1/3))))
49.0ms	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))
82.0ms	(cbrt.f64 t)
80.0ms	(pow.f64 t 1/3)

simplify85.0ms

Algorithm

egg-herbie

Counts

119 → 119

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4964	1704
1	4964	1704

prune139.0ms

Filtered

101 candidates to 119 candidates (-17.8%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	119	0	119
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	119	8	127

Merged error: 0b

Counts

127 → 8

regimes218.0ms

Accuracy

0% (0.2b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 0.3b

bsearch0.0ms

simplify4.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	49	44
1	49	44

end0.0ms

sample1.2s

Algorithm

intervals

Results

580.0ms	8000×	body	80	valid
281.0ms	4353×	body	80	nan
2.0ms	35×	body	80	invalid

Details

analyze359.0ms

sample41.0ms

simplify146.0ms

prune2.0ms

localize14.0ms

rewrite29.0ms

series280.0ms

simplify79.0ms

prune103.0ms

localize18.0ms

rewrite33.0ms

series296.0ms

simplify78.0ms

prune81.0ms

localize23.0ms

rewrite28.0ms

series362.0ms

simplify56.0ms

prune138.0ms

localize27.0ms

rewrite30.0ms

series389.0ms

simplify85.0ms

prune139.0ms

regimes218.0ms

bsearch0.0ms

simplify4.0ms

end0.0ms

sample1.2s

Profiling