Details

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

33.0ms	500×	body	80	nan
20.0ms	256×	body	80	valid
18.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

localize16.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)
8.0ms	(exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1.0) (log.f64 a))) b))

series144.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(*.f64 (-.f64 t 1.0) (log.f64 a))
10.0ms	(*.f64 y (log.f64 z))
74.0ms	(/.f64 (.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1.0) (log.f64 a))) b))) y)
49.0ms	(exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1.0) (log.f64 a))) b))

simplify49.0ms

Algorithm

egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5338	1149

prune134.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))

rewrite38.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:

8.0ms	(pow.f64 (*.f64 (-.f64 t 1.0) (log.f64 a)) 3)
14.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)
10.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))

series215.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(pow.f64 (*.f64 (-.f64 t 1.0) (log.f64 a)) 3)
105.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)
71.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))

simplify36.0ms

Algorithm

egg-herbie

Counts

95 → 95

Iterations

Useful iterations: 0 (24.0ms)

Iter	Nodes	Cost
0	5162	1382

prune127.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)))))

rewrite50.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:

13.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))))))
5.0ms	(*.f64 t (log.f64 a))
16.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)))))

series357.0ms

Counts

4 → 12

Calls

4 calls:

128.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))
130.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)
91.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

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

localize20.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)))))

rewrite680.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:

7.0ms	(/.f64 (exp.f64 b) (pow.f64 a t))
50.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)
15.0ms	(/.f64 (pow.f64 z y) (sqrt.f64 (/.f64 (exp.f64 b) (pow.f64 a t))))
487.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)))))

series328.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(/.f64 (exp.f64 b) (pow.f64 a t))
142.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)
65.0ms	(/.f64 (pow.f64 z y) (sqrt.f64 (/.f64 (exp.f64 b) (pow.f64 a t))))
101.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)))))

simplify220.0ms

Algorithm

egg-herbie

Counts

1037 → 1037

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5687	34254

prune1.4s

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

regimes979.0ms

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

949.0ms	14374×	body	80	nan
631.0ms	8000×	body	80	valid
547.0ms	7127×	body	80	invalid

Details

analyze846.0ms

sample114.0ms

simplify48.0ms

prune16.0ms

localize16.0ms

rewrite36.0ms

series144.0ms

simplify49.0ms

prune134.0ms

localize23.0ms

rewrite38.0ms

series215.0ms

simplify36.0ms

prune127.0ms

localize17.0ms

rewrite50.0ms

series357.0ms

simplify74.0ms

prune135.0ms

localize20.0ms

rewrite680.0ms

series328.0ms

simplify220.0ms

prune1.4s

regimes979.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample3.1s

Profiling