Details

analyze884.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	90.4%	9.6%	9
0%	45.2%	54.8%	10
0%	45.2%	54.8%	11
0%	45.2%	54.8%	12
0%	45.2%	54.8%	13
0%	44.4%	55.6%	14

sample110.0ms

Algorithm

intervals

Results

31.0ms	366×	body	80	nan
19.0ms	232×	body	80	valid
16.0ms	200×	body	80	invalid
4.0ms	9×	body	640	valid
2.0ms	6×	body	320	valid
2.0ms	9×	body	160	valid
1.0ms	3×	body	640	invalid
1.0ms	5×	body	320	invalid
1.0ms	1×	body	1280	invalid
1.0ms	5×	body	160	invalid

simplify74.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	5093	26

prune4.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: 1.7b

Counts

2 → 2

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(exp.f64 (+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))))
0.1b	(*.f64 y (-.f64 (log.f64 z) t))
0.5b	(+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
4.9b	(log.f64 (-.f64 1 z))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 98

Calls

4 calls:

10.0ms	(exp.f64 (+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))))
8.0ms	(*.f64 y (-.f64 (log.f64 z) t))
14.0ms	(+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
4.0ms	(log.f64 (-.f64 1 z))

series373.0ms

Counts

4 → 12

Calls

4 calls:

169.0ms	(exp.f64 (+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))))
54.0ms	(*.f64 y (-.f64 (log.f64 z) t))
136.0ms	(+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
14.0ms	(log.f64 (-.f64 1 z))

simplify86.0ms

Algorithm

egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5009	2359

prune114.0ms

Filtered

87 candidates to 110 candidates (-26.4%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	107	3	110
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	108	4	112

Merged error: 0.0b

Counts

112 → 4

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b	(exp.f64 (+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (-.f64 (neg.f64 z) (.f64 (.f64 z z) (+.f64 (*.f64 1/3 z) 1/2))) b))))
0.1b	(*.f64 y (-.f64 (log.f64 z) t))
0.4b	(*.f64 1/3 z)
0.5b	(+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (-.f64 (neg.f64 z) (.f64 (.f64 z z) (+.f64 (*.f64 1/3 z) 1/2))) b)))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 89

Calls

4 calls:

16.0ms	(exp.f64 (+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (-.f64 (neg.f64 z) (.f64 (.f64 z z) (+.f64 (*.f64 1/3 z) 1/2))) b))))
8.0ms	(*.f64 y (-.f64 (log.f64 z) t))
4.0ms	(*.f64 1/3 z)
14.0ms	(+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (-.f64 (neg.f64 z) (.f64 (.f64 z z) (+.f64 (*.f64 1/3 z) 1/2))) b)))

series469.0ms

Counts

4 → 12

Calls

4 calls:

187.0ms	(exp.f64 (+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (-.f64 (neg.f64 z) (.f64 (.f64 z z) (+.f64 (*.f64 1/3 z) 1/2))) b))))
52.0ms	(*.f64 y (-.f64 (log.f64 z) t))
11.0ms	(*.f64 1/3 z)
219.0ms	(+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (-.f64 (neg.f64 z) (.f64 (.f64 z z) (+.f64 (*.f64 1/3 z) 1/2))) b)))

simplify65.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	4997	2607
1	4997	2607

prune114.0ms

Filtered

76 candidates to 101 candidates (-32.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	99	2	101
Fresh	2	1	3
Picked	0	1	1
Done	0	0	0
Total	101	4	105

Merged error: 0.0b

Counts

105 → 4

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(pow.f64 E.f64 (+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))))
0.1b	(*.f64 y (-.f64 (log.f64 z) t))
0.5b	(+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
4.9b	(log.f64 (-.f64 1 z))

rewrite240.0ms

Algorithm

rewrite-expression-head

Rules

30×	`log-prod_binary64`
28×	`add-sqr-sqrt_binary64`
27×	`*-un-lft-identity_binary64`
24×	`associate--l+_binary64`
15×	`add-cube-cbrt_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64`
14×	`associate-+r+_binary64`
10×	`associate-*r/_binary64`
9×	`pow1_binary64`
8×	`associate-+l+_binary64` `add-exp-log_binary64`
7×	`difference-of-squares_binary64`
6×	`add-log-exp_binary64` `sub-neg_binary64` `flip3--_binary64` `associate-r_binary64` `add-cbrt-cube_binary64` `flip--_binary64`
5×	`distribute-lft-out--_binary64`
4×	`frac-add_binary64`
3×	`pow-unpow_binary64` `associate-l_binary64` `unpow-prod-down_binary64`
2×	`log-pow_binary64` `log-div_binary64` `pow-exp_binary64`
1×	`pow-to-exp_binary64` `pow-prod-down_binary64` `flip3-+_binary64` `cbrt-unprod_binary64` `rem-log-exp_binary64` `pow-pow_binary64` `sqr-pow_binary64` `unpow-prod-up_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `e-exp-1_binary64` `+-commutative_binary64` `flip-+_binary64` `sum-log_binary64` `*-commutative_binary64`

Counts

4 → 104

Calls

4 calls:

8.0ms	(pow.f64 E.f64 (+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))))
8.0ms	(*.f64 y (-.f64 (log.f64 z) t))
14.0ms	(+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
4.0ms	(log.f64 (-.f64 1 z))

series385.0ms

Counts

4 → 12

Calls

4 calls:

182.0ms	(pow.f64 E.f64 (+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b))))
57.0ms	(*.f64 y (-.f64 (log.f64 z) t))
132.0ms	(+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
13.0ms	(log.f64 (-.f64 1 z))

simplify64.0ms

Algorithm

egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	4957	2688
1	4957	2688

prune107.0ms

Filtered

90 candidates to 116 candidates (-28.9%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	115	1	116
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	115	5	120

Merged error: 0.0b

Counts

120 → 5

localize19.0ms

Local error

Found 4 expressions with local error:

0.5b	(+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
0.5b	(+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
4.9b	(log.f64 (-.f64 1 z))
4.9b	(log.f64 (-.f64 1 z))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

48×	`log-prod_binary64`
36×	`associate--l+_binary64`
32×	`*-un-lft-identity_binary64` `add-sqr-sqrt_binary64`
28×	`associate-+r+_binary64`
22×	`distribute-lft-in_binary64` `distribute-rgt-in_binary64`
16×	`associate-*r/_binary64` `associate-+l+_binary64`
14×	`add-cube-cbrt_binary64`
12×	`difference-of-squares_binary64`
10×	`flip3--_binary64` `flip--_binary64`
8×	`add-log-exp_binary64` `sub-neg_binary64` `frac-add_binary64`
6×	`pow1_binary64` `add-exp-log_binary64` `distribute-lft-out--_binary64`
4×	`add-cbrt-cube_binary64` `log-div_binary64`
2×	`flip3-+_binary64` `rem-log-exp_binary64` `log-pow_binary64` `+-commutative_binary64` `flip-+_binary64` `sum-log_binary64`

Counts

4 → 108

Calls

4 calls:

14.0ms	(+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
16.0ms	(+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
4.0ms	(log.f64 (-.f64 1 z))
4.0ms	(log.f64 (-.f64 1 z))

series291.0ms

Counts

4 → 12

Calls

4 calls:

130.0ms	(+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
133.0ms	(+.f64 (.f64 y (-.f64 (log.f64 z) t)) (.f64 a (-.f64 (log.f64 (-.f64 1 z)) b)))
14.0ms	(log.f64 (-.f64 1 z))
14.0ms	(log.f64 (-.f64 1 z))

simplify62.0ms

Algorithm

egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 0 (27.0ms)

Iter	Nodes	Cost
0	5260	3110

prune195.0ms

Filtered

104 candidates to 120 candidates (-15.4%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	120	0	120
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	120	5	125

Merged error: 0.0b

Counts

125 → 5

regimes133.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify5.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	140	38
1	140	38

end0.0ms

sample3.1s

Algorithm

intervals

Results

864.0ms	10569×	body	80	nan
603.0ms	7219×	body	80	valid
426.0ms	5168×	body	80	invalid
114.0ms	263×	body	640	valid
77.0ms	273×	body	320	valid
51.0ms	61×	body	1280	valid
50.0ms	114×	body	640	invalid
36.0ms	136×	body	320	invalid
34.0ms	184×	body	160	valid
17.0ms	93×	body	160	invalid
13.0ms	16×	body	1280	invalid

Details

analyze884.0ms

sample110.0ms

simplify74.0ms

prune4.0ms

localize15.0ms

rewrite39.0ms

series373.0ms

simplify86.0ms

prune114.0ms

localize20.0ms

rewrite44.0ms

series469.0ms

simplify65.0ms

prune114.0ms

localize17.0ms

rewrite240.0ms

series385.0ms

simplify64.0ms

prune107.0ms

localize19.0ms

rewrite43.0ms

series291.0ms

simplify62.0ms

prune195.0ms

regimes133.0ms

bsearch0.0ms

simplify5.0ms

end0.0ms

sample3.1s

Profiling