Details

analyze835.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
6.2%	90.4%	3.4%	6
6.2%	90.4%	3.4%	7
6.2%	88.8%	5%	8
7.8%	77.9%	14.3%	9
7.8%	56.5%	35.7%	10
7.8%	56.5%	35.7%	11
8.1%	41.5%	50.3%	12
8.3%	41.4%	50.3%	13
8.4%	40.2%	51.4%	14

sample104.0ms

Algorithm

intervals

Results

31.0ms	431×	body	128	nan
21.0ms	256×	body	128	valid
16.0ms	207×	body	128	invalid

simplify88.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	4922	24
1	4922	24

prune5.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: 0.1b

Counts

2 → 2

localize16.0ms

Local error

Found 4 expressions with local error:

0.2b	(*.f64 (-.f64 t 1) (log.f64 a))
0.2b	(*.f64 y (log.f64 z))
0.7b	(exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1) (log.f64 a))) b))
1.0b	(/.f64 (.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

25×	`add-sqr-sqrt_binary64`
20×	`*-un-lft-identity_binary64`
15×	`add-cube-cbrt_binary64`
13×	`add-cbrt-cube_binary64`
12×	`log-prod_binary64` `add-exp-log_binary64`
10×	`add-log-exp_binary64` `pow1_binary64` `associate-l_binary64`
8×	`associate-r_binary64`
6×	`distribute-lft-in_binary64` `distribute-rgt-in_binary64`
5×	`exp-prod_binary64`
3×	`associate-/r*_binary64` `cbrt-unprod_binary64` `rem-exp-log_binary64` `prod-exp_binary64` `difference-of-squares_binary64` `times-frac_binary64`
2×	`pow-prod-down_binary64` `diff-log_binary64` `cbrt-undiv_binary64` `log-pow_binary64` `exp-diff_binary64` `unswap-sqr_binary64` `exp-sum_binary64` `distribute-lft-out--_binary64` `div-exp_binary64` `associate-l/_binary64` `-commutative_binary64`
1×	`associate-/l/_binary64` `sub-neg_binary64` `flip3--_binary64` `associate-r/_binary64` `difference-of-sqr-1_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l_binary64` `div-inv_binary64` `flip--_binary64` `associate--l+_binary64` `sum-log_binary64`

Counts

4 → 96

Calls

4 calls:

9.0ms	(*.f64 (-.f64 t 1) (log.f64 a))
5.0ms	(*.f64 y (log.f64 z))
8.0ms	(exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1) (log.f64 a))) b))
15.0ms	(/.f64 (.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)

series786.0ms

Counts

4 → 12

Calls

4 calls:

62.0ms	(*.f64 (-.f64 t 1) (log.f64 a))
50.0ms	(*.f64 y (log.f64 z))
247.0ms	(exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1) (log.f64 a))) b))
427.0ms	(/.f64 (.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)

simplify66.0ms

Algorithm

egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5022	1779

prune96.0ms

Filtered

77 candidates to 108 candidates (-40.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	105	3	108
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	106	4	110

Merged error: 0b

Counts

110 → 4

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(.f64 x (.f64 (/.f64 (pow.f64 z y) (exp.f64 b)) (pow.f64 a (-.f64 t 1))))
0.1b	(pow.f64 a (-.f64 t 1))
0.5b	(*.f64 (/.f64 (pow.f64 z y) (exp.f64 b)) (pow.f64 a (-.f64 t 1)))
1.0b	(/.f64 (.f64 x (.f64 (/.f64 (pow.f64 z y) (exp.f64 b)) (pow.f64 a (-.f64 t 1)))) y)

rewrite66.0ms

Algorithm

rewrite-expression-head

Rules

99×	`add-exp-log_binary64`
62×	`prod-exp_binary64`
55×	`add-sqr-sqrt_binary64`
41×	`div-exp_binary64`
33×	`times-frac_binary64`
32×	`add-cbrt-cube_binary64`
28×	`-un-lft-identity_binary64` `associate-l*_binary64`
25×	`add-cube-cbrt_binary64`
22×	`pow-to-exp_binary64` `unpow-prod-down_binary64` `pow-exp_binary64`
12×	`cbrt-unprod_binary64` `sqr-pow_binary64` `unswap-sqr_binary64`
9×	`associate-r_binary64` `associate-*r/_binary64`
7×	`pow-unpow_binary64` `pow1_binary64` `cbrt-undiv_binary64` `pow-sub_binary64`
4×	`add-log-exp_binary64`
3×	`associate-/l/_binary64` `associate-/r_binary64` `frac-times_binary64` `associate-l/_binary64`
2×	`sub-neg_binary64` `unpow-prod-up_binary64` `difference-of-squares_binary64` `div-inv_binary64` `*-commutative_binary64`
1×	`pow-prod-down_binary64` `pow-pow_binary64` `difference-of-sqr-1_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l*_binary64` `distribute-lft-out--_binary64`

Counts

4 → 163

Calls

4 calls:

12.0ms	(.f64 x (.f64 (/.f64 (pow.f64 z y) (exp.f64 b)) (pow.f64 a (-.f64 t 1))))
5.0ms	(pow.f64 a (-.f64 t 1))
17.0ms	(*.f64 (/.f64 (pow.f64 z y) (exp.f64 b)) (pow.f64 a (-.f64 t 1)))
14.0ms	(/.f64 (.f64 x (.f64 (/.f64 (pow.f64 z y) (exp.f64 b)) (pow.f64 a (-.f64 t 1)))) y)

series1.6s

Counts

4 → 12

Calls

4 calls:

508.0ms	(.f64 x (.f64 (/.f64 (pow.f64 z y) (exp.f64 b)) (pow.f64 a (-.f64 t 1))))
91.0ms	(pow.f64 a (-.f64 t 1))
408.0ms	(*.f64 (/.f64 (pow.f64 z y) (exp.f64 b)) (pow.f64 a (-.f64 t 1)))
558.0ms	(/.f64 (.f64 x (.f64 (/.f64 (pow.f64 z y) (exp.f64 b)) (pow.f64 a (-.f64 t 1)))) y)

simplify70.0ms

Algorithm

egg-herbie

Counts

175 → 175

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	4966	3825
1	4966	3825

prune121.0ms

Filtered

115 candidates to 175 candidates (-52.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	175	0	175
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	175	4	179

Merged error: 0b

Counts

179 → 4

localize13.0ms

Local error

Found 4 expressions with local error:

0.1b	(pow.f64 a (-.f64 t 1))
0.2b	(/.f64 (exp.f64 b) (pow.f64 a (-.f64 t 1)))
0.3b	(*.f64 (/.f64 y (pow.f64 z y)) (/.f64 (exp.f64 b) (pow.f64 a (-.f64 t 1))))
1.4b	(/.f64 x (*.f64 (/.f64 y (pow.f64 z y)) (/.f64 (exp.f64 b) (pow.f64 a (-.f64 t 1)))))

rewrite80.0ms

Algorithm

rewrite-expression-head

Rules

106×	`add-sqr-sqrt_binary64`
97×	`add-exp-log_binary64`
96×	`times-frac_binary64`
68×	`div-exp_binary64`
57×	`*-un-lft-identity_binary64`
54×	`add-cube-cbrt_binary64`
41×	`unpow-prod-down_binary64`
36×	`add-cbrt-cube_binary64`
32×	`prod-exp_binary64`
29×	`associate-r_binary64`
25×	`associate-l_binary64`
19×	`sqr-pow_binary64`
18×	`pow-to-exp_binary64` `pow-exp_binary64`
16×	`unswap-sqr_binary64`
14×	`cbrt-undiv_binary64`
9×	`associate-/r*_binary64`
8×	`sub-neg_binary64` `cbrt-unprod_binary64` `unpow-prod-up_binary64`
7×	`pow-unpow_binary64` `pow1_binary64`
6×	`associate-/l*_binary64`
5×	`associate-/r/_binary64`
4×	`add-log-exp_binary64` `div-inv_binary64`
3×	`pow-sub_binary64`
2×	`associate-r/_binary64` `clear-num_binary64` `frac-2neg_binary64` `difference-of-squares_binary64` `frac-times_binary64` `associate-l/_binary64`
1×	`pow-prod-down_binary64` `pow-pow_binary64` `difference-of-sqr-1_binary64` `distribute-lft-out--_binary64` `*-commutative_binary64`

Counts

4 → 217

Calls

4 calls:

5.0ms	(pow.f64 a (-.f64 t 1))
6.0ms	(/.f64 (exp.f64 b) (pow.f64 a (-.f64 t 1)))
25.0ms	(*.f64 (/.f64 y (pow.f64 z y)) (/.f64 (exp.f64 b) (pow.f64 a (-.f64 t 1))))
15.0ms	(/.f64 x (*.f64 (/.f64 y (pow.f64 z y)) (/.f64 (exp.f64 b) (pow.f64 a (-.f64 t 1)))))

series1.3s

Counts

4 → 12

Calls

4 calls:

87.0ms	(pow.f64 a (-.f64 t 1))
179.0ms	(/.f64 (exp.f64 b) (pow.f64 a (-.f64 t 1)))
506.0ms	(*.f64 (/.f64 y (pow.f64 z y)) (/.f64 (exp.f64 b) (pow.f64 a (-.f64 t 1))))
543.0ms	(/.f64 x (*.f64 (/.f64 y (pow.f64 z y)) (/.f64 (exp.f64 b) (pow.f64 a (-.f64 t 1)))))

simplify117.0ms

Algorithm

egg-herbie

Counts

229 → 229

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	5014	5403

prune178.0ms

Filtered

155 candidates to 229 candidates (-47.7%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	229	0	229
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	229	4	233

Merged error: 0b

Counts

233 → 4

localize15.0ms

Local error

Found 4 expressions with local error:

0.1b	(pow.f64 a (-.f64 t 1))
0.2b	(/.f64 (exp.f64 b) (pow.f64 a (-.f64 t 1)))
1.7b	(/.f64 (/.f64 y x) (pow.f64 z y))
5.6b	(*.f64 (/.f64 (/.f64 y x) (pow.f64 z y)) (/.f64 (exp.f64 b) (pow.f64 a (-.f64 t 1))))

rewrite145.0ms

Algorithm

rewrite-expression-head

Rules

422×	`times-frac_binary64`
300×	`add-sqr-sqrt_binary64`
201×	`*-un-lft-identity_binary64`
198×	`add-cube-cbrt_binary64`
120×	`unpow-prod-down_binary64`
97×	`add-exp-log_binary64`
95×	`associate-l_binary64`
69×	`div-exp_binary64`
50×	`sqr-pow_binary64`
32×	`add-cbrt-cube_binary64`
29×	`associate-r_binary64`
28×	`unswap-sqr_binary64` `prod-exp_binary64`
19×	`pow-to-exp_binary64` `div-inv_binary64` `pow-exp_binary64`
16×	`associate-/l*_binary64`
15×	`associate-/r*_binary64`
13×	`cbrt-undiv_binary64`
8×	`sub-neg_binary64` `unpow-prod-up_binary64`
7×	`pow-unpow_binary64` `pow1_binary64`
6×	`cbrt-unprod_binary64`
4×	`add-log-exp_binary64`
3×	`pow-sub_binary64`
2×	`associate-/r/_binary64` `clear-num_binary64` `frac-2neg_binary64` `difference-of-squares_binary64`
1×	`pow-prod-down_binary64` `associate-/l/_binary64` `associate-r/_binary64` `pow-pow_binary64` `difference-of-sqr-1_binary64` `distribute-lft-out--_binary64` `frac-times_binary64` `associate-l/_binary64` `*-commutative_binary64`

Counts

4 → 401

Calls

4 calls:

5.0ms	(pow.f64 a (-.f64 t 1))
6.0ms	(/.f64 (exp.f64 b) (pow.f64 a (-.f64 t 1)))
9.0ms	(/.f64 (/.f64 y x) (pow.f64 z y))
61.0ms	(*.f64 (/.f64 (/.f64 y x) (pow.f64 z y)) (/.f64 (exp.f64 b) (pow.f64 a (-.f64 t 1))))

series985.0ms

Counts

4 → 12

Calls

4 calls:

96.0ms	(pow.f64 a (-.f64 t 1))
189.0ms	(/.f64 (exp.f64 b) (pow.f64 a (-.f64 t 1)))
145.0ms	(/.f64 (/.f64 y x) (pow.f64 z y))
554.0ms	(*.f64 (/.f64 (/.f64 y x) (pow.f64 z y)) (/.f64 (exp.f64 b) (pow.f64 a (-.f64 t 1))))

simplify140.0ms

Algorithm

egg-herbie

Counts

413 → 413

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	4988	11078
1	4988	11078

prune434.0ms

Filtered

322 candidates to 413 candidates (-28.3%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	413	0	413
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	413	4	417

Merged error: 0b

Counts

417 → 4

regimes156.0ms

Accuracy

0% (1.8b remaining)

Error of 1.9b against oracle of 0.1b and baseline of 1.9b

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	44	28
1	44	28

end0.0ms

sample3.3s

Algorithm

intervals

Results

986.0ms	14347×	body	128	nan
675.0ms	8000×	body	128	valid
587.0ms	7113×	body	128	invalid

Details

analyze835.0ms

sample104.0ms

simplify88.0ms

prune5.0ms

localize16.0ms

rewrite45.0ms

series786.0ms

simplify66.0ms

prune96.0ms

localize13.0ms

rewrite66.0ms

series1.6s

simplify70.0ms

prune121.0ms

localize13.0ms

rewrite80.0ms

series1.3s

simplify117.0ms

prune178.0ms

localize15.0ms

rewrite145.0ms

series985.0ms

simplify140.0ms

prune434.0ms

regimes156.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample3.3s

Profiling