Details

analyze849.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

sample114.0ms

Algorithm

intervals

Results

36.0ms	500×	body	80	nan
20.0ms	256×	body	80	valid
19.0ms	241×	body	80	invalid

simplify48.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5079	16

prune16.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.3b

Counts

2 → 2

localize19.0ms

Local error

Found 4 expressions with local error:

0.1b	(*.f64 (-.f64 t 1.0) (log.f64 a))
0.3b	(*.f64 y (log.f64 z))
0.6b	(/.f64 (.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1.0) (log.f64 a))) b))) y)
0.9b	(exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1.0) (log.f64 a))) b))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt_binary64`
19×	`*-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`
8×	`associate-r_binary64` `associate-l_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` `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` `difference-of-squares_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` `clear-num_binary64` `frac-2neg_binary64` `associate-/l_binary64` `div-inv_binary64` `flip--_binary64` `associate--l+_binary64` `sum-log_binary64`

Counts

4 → 94

Calls

4 calls:

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

series146.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(*.f64 (-.f64 t 1.0) (log.f64 a))
8.0ms	(*.f64 y (log.f64 z))
75.0ms	(/.f64 (.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1.0) (log.f64 a))) b))) y)
51.0ms	(exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1.0) (log.f64 a))) b))

simplify48.0ms

Algorithm

egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5338	1149

prune136.0ms

Filtered

75 candidates to 106 candidates (-41.3%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	100	6	106
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	101	7	108

Merged error: 0.0b

Counts

108 → 7

localize23.0ms

Local error

Found 4 expressions with local error:

0.4b	(pow.f64 (*.f64 (-.f64 t 1.0) (log.f64 a)) 3)
0.6b	(/.f64 (.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (cbrt.f64 (pow.f64 (*.f64 (-.f64 t 1.0) (log.f64 a)) 3))) b))) y)
0.9b	(exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (cbrt.f64 (pow.f64 (.f64 (-.f64 t 1.0) (log.f64 a)) 3))) b))
22.7b	(cbrt.f64 (pow.f64 (*.f64 (-.f64 t 1.0) (log.f64 a)) 3))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-cbrt-cube_binary64`
11×	`*-un-lft-identity_binary64` `add-exp-log_binary64` `add-sqr-sqrt_binary64`
10×	`add-log-exp_binary64`
9×	`add-cube-cbrt_binary64`
8×	`cbrt-prod_binary64`
7×	`pow1_binary64`
5×	`exp-prod_binary64`
4×	`cube-div_binary64` `associate-*l/_binary64`
3×	`pow-unpow_binary64` `associate-/r*_binary64` `rem-exp-log_binary64` `times-frac_binary64`
2×	`cbrt-div_binary64` `flip3--_binary64` `diff-log_binary64` `cbrt-unprod_binary64` `cbrt-undiv_binary64` `pow-pow_binary64` `sqr-pow_binary64` `exp-diff_binary64` `rem-cube-cbrt_binary64` `exp-sum_binary64` `unpow-prod-down_binary64` `prod-exp_binary64` `cube-prod_binary64` `div-exp_binary64` `flip--_binary64` `pow-exp_binary64` `unpow3_binary64` `cube-mult_binary64`
1×	`pow-to-exp_binary64` `pow-prod-down_binary64` `associate-/l/_binary64` `sub-neg_binary64` `rem-cbrt-cube_binary64` `associate-r/_binary64` `pow1/3_binary64` `clear-num_binary64` `frac-2neg_binary64` `difference-of-squares_binary64` `associate-/l_binary64` `distribute-lft-out--_binary64` `div-inv_binary64` `associate--l+_binary64` `sum-log_binary64`

Counts

4 → 83

Calls

4 calls:

7.0ms	(pow.f64 (*.f64 (-.f64 t 1.0) (log.f64 a)) 3)
13.0ms	(/.f64 (.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (cbrt.f64 (pow.f64 (*.f64 (-.f64 t 1.0) (log.f64 a)) 3))) b))) y)
9.0ms	(exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (cbrt.f64 (pow.f64 (.f64 (-.f64 t 1.0) (log.f64 a)) 3))) b))
4.0ms	(cbrt.f64 (pow.f64 (*.f64 (-.f64 t 1.0) (log.f64 a)) 3))

series212.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(pow.f64 (*.f64 (-.f64 t 1.0) (log.f64 a)) 3)
106.0ms	(/.f64 (.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (cbrt.f64 (pow.f64 (*.f64 (-.f64 t 1.0) (log.f64 a)) 3))) b))) y)
69.0ms	(exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (cbrt.f64 (pow.f64 (.f64 (-.f64 t 1.0) (log.f64 a)) 3))) b))
13.0ms	(cbrt.f64 (pow.f64 (*.f64 (-.f64 t 1.0) (log.f64 a)) 3))

simplify37.0ms

Algorithm

egg-herbie

Counts

95 → 95

Iterations

Useful iterations: 0 (23.0ms)

Iter	Nodes	Cost
0	5162	1382

prune129.0ms

Filtered

70 candidates to 95 candidates (-35.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	93	2	95
Fresh	1	4	5
Picked	1	0	1
Done	0	1	1
Total	95	7	102

Merged error: 0.0b

Counts

102 → 7

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(.f64 x (/.f64 (.f64 (pow.f64 a (neg.f64 1.0)) (pow.f64 z y)) (exp.f64 (-.f64 b (*.f64 t (log.f64 a))))))
0.2b	(*.f64 t (log.f64 a))
0.6b	(/.f64 (.f64 x (/.f64 (.f64 (pow.f64 a (neg.f64 1.0)) (pow.f64 z y)) (exp.f64 (-.f64 b (*.f64 t (log.f64 a)))))) y)
1.0b	(/.f64 (.f64 (pow.f64 a (neg.f64 1.0)) (pow.f64 z y)) (exp.f64 (-.f64 b (.f64 t (log.f64 a)))))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

82×	`add-exp-log_binary64`
50×	`prod-exp_binary64`
42×	`div-exp_binary64`
34×	`add-cbrt-cube_binary64`
19×	`add-sqr-sqrt_binary64`
18×	`pow-to-exp_binary64` `pow-exp_binary64`
15×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
13×	`associate-r_binary64`
11×	`times-frac_binary64`
10×	`cbrt-unprod_binary64` `cbrt-undiv_binary64`
9×	`pow1_binary64`
7×	`associate-/r*_binary64`
6×	`log-prod_binary64` `associate-l_binary64`
4×	`add-log-exp_binary64`
3×	`associate-/l/_binary64` `sub-neg_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `exp-sum_binary64` `div-inv_binary64`
2×	`pow-prod-down_binary64` `associate-r/_binary64` `associate-/r/_binary64` `exp-diff_binary64` `unswap-sqr_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l_binary64` `associate-l/_binary64` `-commutative_binary64`
1×	`neg-sub0_binary64` `log-pow_binary64` `pow-sub_binary64` `pow-neg_binary64`

Counts

4 → 130

Calls

4 calls:

12.0ms	(.f64 x (/.f64 (.f64 (pow.f64 a (neg.f64 1.0)) (pow.f64 z y)) (exp.f64 (-.f64 b (*.f64 t (log.f64 a))))))
7.0ms	(*.f64 t (log.f64 a))
13.0ms	(/.f64 (.f64 x (/.f64 (.f64 (pow.f64 a (neg.f64 1.0)) (pow.f64 z y)) (exp.f64 (-.f64 b (*.f64 t (log.f64 a)))))) y)
11.0ms	(/.f64 (.f64 (pow.f64 a (neg.f64 1.0)) (pow.f64 z y)) (exp.f64 (-.f64 b (.f64 t (log.f64 a)))))

series352.0ms

Counts

4 → 12

Calls

4 calls:

127.0ms	(.f64 x (/.f64 (.f64 (pow.f64 a (neg.f64 1.0)) (pow.f64 z y)) (exp.f64 (-.f64 b (*.f64 t (log.f64 a))))))
8.0ms	(*.f64 t (log.f64 a))
129.0ms	(/.f64 (.f64 x (/.f64 (.f64 (pow.f64 a (neg.f64 1.0)) (pow.f64 z y)) (exp.f64 (-.f64 b (*.f64 t (log.f64 a)))))) y)
89.0ms	(/.f64 (.f64 (pow.f64 a (neg.f64 1.0)) (pow.f64 z y)) (exp.f64 (-.f64 b (.f64 t (log.f64 a)))))

simplify74.0ms

Algorithm

egg-herbie

Counts

142 → 142

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4987	2218
1	4987	2218

prune139.0ms

Filtered

89 candidates to 142 candidates (-59.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	140	2	142
Fresh	1	4	5
Picked	1	0	1
Done	0	1	1
Total	142	7	149

Merged error: 0b

Counts

149 → 7

localize18.0ms

Local error

Found 4 expressions with local error:

0.2b	(/.f64 (exp.f64 b) (pow.f64 a t))
0.6b	(/.f64 (.f64 x (.f64 (/.f64 (pow.f64 a (neg.f64 1.0)) (sqrt.f64 (/.f64 (exp.f64 b) (pow.f64 a t)))) (/.f64 (pow.f64 z y) (sqrt.f64 (/.f64 (exp.f64 b) (pow.f64 a t)))))) y)
0.7b	(/.f64 (pow.f64 z y) (sqrt.f64 (/.f64 (exp.f64 b) (pow.f64 a t))))
0.7b	(*.f64 (/.f64 (pow.f64 a (neg.f64 1.0)) (sqrt.f64 (/.f64 (exp.f64 b) (pow.f64 a t)))) (/.f64 (pow.f64 z y) (sqrt.f64 (/.f64 (exp.f64 b) (pow.f64 a t)))))

rewrite601.0ms

Algorithm

rewrite-expression-head

Rules

1842×	`times-frac_binary64`
1548×	`add-sqr-sqrt_binary64`
934×	`sqrt-prod_binary64`
721×	`unpow-prod-down_binary64`
524×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
411×	`sqr-pow_binary64`
256×	`unswap-sqr_binary64`
201×	`associate-r_binary64` `associate-l_binary64`
144×	`add-exp-log_binary64`
72×	`div-exp_binary64`
49×	`prod-exp_binary64`
45×	`add-cbrt-cube_binary64`
38×	`associate-/r*_binary64`
27×	`div-inv_binary64`
18×	`pow-to-exp_binary64` `pow-exp_binary64`
16×	`cbrt-undiv_binary64`
13×	`cbrt-unprod_binary64`
11×	`associate-/l*_binary64`
6×	`pow1_binary64`
5×	`associate-*r/_binary64`
4×	`add-log-exp_binary64`
3×	`associate-/l/_binary64` `associate-/r/_binary64` `clear-num_binary64` `frac-2neg_binary64` `sqrt-div_binary64`
2×	`frac-times_binary64` `associate-*l/_binary64`
1×	`pow-prod-down_binary64` `*-commutative_binary64`

Counts

4 → 1025

Calls

4 calls:

6.0ms	(/.f64 (exp.f64 b) (pow.f64 a t))
47.0ms	(/.f64 (.f64 x (.f64 (/.f64 (pow.f64 a (neg.f64 1.0)) (sqrt.f64 (/.f64 (exp.f64 b) (pow.f64 a t)))) (/.f64 (pow.f64 z y) (sqrt.f64 (/.f64 (exp.f64 b) (pow.f64 a t)))))) y)
13.0ms	(/.f64 (pow.f64 z y) (sqrt.f64 (/.f64 (exp.f64 b) (pow.f64 a t))))
429.0ms	(*.f64 (/.f64 (pow.f64 a (neg.f64 1.0)) (sqrt.f64 (/.f64 (exp.f64 b) (pow.f64 a t)))) (/.f64 (pow.f64 z y) (sqrt.f64 (/.f64 (exp.f64 b) (pow.f64 a t)))))

series334.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(/.f64 (exp.f64 b) (pow.f64 a t))
141.0ms	(/.f64 (.f64 x (.f64 (/.f64 (pow.f64 a (neg.f64 1.0)) (sqrt.f64 (/.f64 (exp.f64 b) (pow.f64 a t)))) (/.f64 (pow.f64 z y) (sqrt.f64 (/.f64 (exp.f64 b) (pow.f64 a t)))))) y)
68.0ms	(/.f64 (pow.f64 z y) (sqrt.f64 (/.f64 (exp.f64 b) (pow.f64 a t))))
106.0ms	(*.f64 (/.f64 (pow.f64 a (neg.f64 1.0)) (sqrt.f64 (/.f64 (exp.f64 b) (pow.f64 a t)))) (/.f64 (pow.f64 z y) (sqrt.f64 (/.f64 (exp.f64 b) (pow.f64 a t)))))

simplify217.0ms

Algorithm

egg-herbie

Counts

1037 → 1037

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5687	34254

prune1.6s

Filtered

742 candidates to 1037 candidates (-39.8%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	1037	0	1037
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	1037	7	1044

Merged error: 0b

Counts

1044 → 7

regimes1.0s

Accuracy

0% (1.8b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	39	18
1	39	18

end0.0ms

sample3.1s

Algorithm

intervals

Results

978.0ms	14374×	body	80	nan
643.0ms	8000×	body	80	valid
565.0ms	7127×	body	80	invalid

Details

analyze849.0ms

sample114.0ms

simplify48.0ms

prune16.0ms

localize19.0ms

rewrite36.0ms

series146.0ms

simplify48.0ms

prune136.0ms

localize23.0ms

rewrite36.0ms

series212.0ms

simplify37.0ms

prune129.0ms

localize17.0ms

rewrite47.0ms

series352.0ms

simplify74.0ms

prune139.0ms

localize18.0ms

rewrite601.0ms

series334.0ms

simplify217.0ms

prune1.6s

regimes1.0s

bsearch0.0ms

simplify2.0ms

end0.0ms

sample3.1s

Profiling