Details

analyze3.8s

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%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
0%	99.8%	0.2%	10
1.2%	98.6%	0.2%	11
1.4%	98.4%	0.2%	12
10.8%	88.9%	0.2%	13
10.8%	88.9%	0.2%	14

sample326.0ms

Algorithm

intervals

Results

193.0ms	104×	body	1280	valid
61.0ms	56×	body	640	valid
20.0ms	30×	body	320	valid
12.0ms	56×	body	80	valid
5.0ms	10×	body	160	valid

simplify55.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	463	55
1	463	55

prune19.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 0.2b

Counts

2 → 1

localize45.0ms

Local error

Found 4 expressions with local error:

0.2b	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))
0.3b	(*.f64 (sin.f64 theta) (sin.f64 delta))
0.3b	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))
0.4b	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt_binary64_559`
8×	`*-un-lft-identity_binary64_574` `add-cube-cbrt_binary64_545` `pow1_binary64_520` `add-cbrt-cube_binary64_546` `add-exp-log_binary64_538`
6×	`associate-l_binary64_634` `associate-r_binary64_633` `add-log-exp_binary64_539`
2×	`unswap-sqr_binary64_602` `cbrt-unprod_binary64_543` `sin-mult_binary64_445` `*-commutative_binary64_642` `pow-prod-down_binary64_501` `prod-exp_binary64_525`
1×	`flip3--_binary64_573` `diff-log_binary64_490` `sub-neg_binary64_578` `flip--_binary64_600` `asin-acos_binary64_407`

Counts

4 → 57

Calls

4 calls:

1.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))
8.0ms	(*.f64 (sin.f64 theta) (sin.f64 delta))
5.0ms	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))
4.0ms	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))

series458.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))
45.0ms	(*.f64 (sin.f64 theta) (sin.f64 delta))
168.0ms	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))
220.0ms	(-.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))

simplify96.0ms

Algorithm

egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	4976	2029
1	4976	2029

prune406.0ms

Filtered

55 candidates to 69 candidates (-25.5%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	62	7	69
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	63	7	70

Merged error: 0.1b

Counts

70 → 7

localize52.0ms

Local error

Found 4 expressions with local error:

0.3b	(*.f64 (sin.f64 theta) (sin.f64 delta))
0.3b	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))
0.4b	(-.f64 (cos.f64 delta) (log.f64 (exp.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))
3.0b	(log.f64 (exp.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt_binary64_559`
13×	`*-un-lft-identity_binary64_574`
10×	`add-cube-cbrt_binary64_545` `pow1_binary64_520`
8×	`add-cbrt-cube_binary64_546` `add-exp-log_binary64_538`
6×	`associate-l_binary64_634` `log-prod_binary64_492` `associate-r_binary64_633` `add-log-exp_binary64_539`
4×	`log-pow_binary64_495`
3×	`associate--r+_binary64_629`
2×	`unswap-sqr_binary64_602` `distribute-lft-out--_binary64_619` `cbrt-unprod_binary64_543` `sin-mult_binary64_445` `*-commutative_binary64_642` `pow-prod-down_binary64_501` `prod-exp_binary64_525`
1×	`flip3--_binary64_573` `exp-prod_binary64_528` `diff-log_binary64_490` `sub-neg_binary64_578` `exp-to-pow_binary64_514` `rem-log-exp_binary64_537` `flip--_binary64_600` `difference-of-squares_binary64_603`

Counts

4 → 69

Calls

4 calls:

5.0ms	(*.f64 (sin.f64 theta) (sin.f64 delta))
6.0ms	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))
7.0ms	(-.f64 (cos.f64 delta) (log.f64 (exp.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))
3.0ms	(log.f64 (exp.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))))

series597.0ms

Counts

4 → 12

Calls

4 calls:

41.0ms	(*.f64 (sin.f64 theta) (sin.f64 delta))
166.0ms	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))
218.0ms	(-.f64 (cos.f64 delta) (log.f64 (exp.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))
172.0ms	(log.f64 (exp.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))))

simplify107.0ms

Algorithm

egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	4933	2524
1	4933	2524

prune444.0ms

Filtered

66 candidates to 81 candidates (-22.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	79	2	81
Fresh	2	4	6
Picked	0	1	1
Done	0	0	0
Total	81	7	88

Merged error: 0.1b

Counts

88 → 7

localize71.0ms

Local error

Found 4 expressions with local error:

0.3b	(pow.f64 (sin.f64 phi1) 2)
0.3b	(.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (pow.f64 (sin.f64 phi1) 2))
0.3b	(-.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (pow.f64 (sin.f64 phi1) 2))))
0.3b	(/.f64 (-.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (pow.f64 (sin.f64 phi1) 2)))) (+.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt_binary64_559`
17×	`*-un-lft-identity_binary64_574` `add-cube-cbrt_binary64_545`
12×	`add-exp-log_binary64_538`
9×	`times-frac_binary64_569`
8×	`add-cbrt-cube_binary64_546` `associate-r_binary64_633`
7×	`unpow-prod-down_binary64_509`
6×	`add-log-exp_binary64_539`
5×	`pow1_binary64_520`
4×	`unswap-sqr_binary64_602`
3×	`associate-l_binary64_634` `sqr-pow_binary64_606` `unpow2_binary64_517` `associate-/l_binary64_638` `pow-unpow_binary64_507` `associate-/r_binary64_637` `prod-exp_binary64_525`
2×	`flip3--_binary64_573` `pow-to-exp_binary64_499` `associate-/r/_binary64_639` `associate-/l/_binary64_640` `pow-exp_binary64_498` `flip--_binary64_600`
1×	`sqr-cos-a_binary64_439` `div-inv_binary64_575` `associate--l+_binary64_630` `div-exp_binary64_527` `flip3-+_binary64_572` `frac-2neg_binary64_567` `flip-+_binary64_599` `pow-pow_binary64_502` `cbrt-unprod_binary64_543` `diff-log_binary64_490` `clear-num_binary64_577` `sub-neg_binary64_578` `*-commutative_binary64_642` `div-sub_binary64_568` `cbrt-undiv_binary64_544`

Counts

4 → 89

Calls

4 calls:

3.0ms	(pow.f64 (sin.f64 phi1) 2)
8.0ms	(.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (pow.f64 (sin.f64 phi1) 2))
8.0ms	(-.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (pow.f64 (sin.f64 phi1) 2))))
11.0ms	(/.f64 (-.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (pow.f64 (sin.f64 phi1) 2)))) (+.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))))

series2.9s

Counts

4 → 12

Calls

4 calls:

16.0ms	(pow.f64 (sin.f64 phi1) 2)
193.0ms	(.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (pow.f64 (sin.f64 phi1) 2))
859.0ms	(-.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (pow.f64 (sin.f64 phi1) 2))))
1.8s	(/.f64 (-.f64 (.f64 (cos.f64 delta) (cos.f64 delta)) (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (.f64 (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))) (pow.f64 (sin.f64 phi1) 2)))) (+.f64 (cos.f64 delta) (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (cos.f64 delta) (sin.f64 phi1)) (.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))))

simplify146.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	4926	7740
1	4926	7740

prune602.0ms

Filtered

76 candidates to 101 candidates (-32.9%)

Pruning

7 alts after pruning (6 fresh and 1 done)

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

Merged error: 0.1b

Counts

108 → 7

localize65.0ms

Local error

Found 4 expressions with local error:

0.3b	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))
0.4b	(-.f64 (cos.f64 delta) (+.f64 (log.f64 (sqrt.f64 (exp.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))))) (log.f64 (sqrt.f64 (exp.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))))
3.3b	(log.f64 (sqrt.f64 (exp.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))
3.3b	(log.f64 (sqrt.f64 (exp.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

20×	`*-un-lft-identity_binary64_574`
14×	`pow1_binary64_520` `add-sqr-sqrt_binary64_559` `log-pow_binary64_495`
12×	`log-prod_binary64_492`
10×	`add-cube-cbrt_binary64_545`
9×	`add-log-exp_binary64_539`
8×	`add-exp-log_binary64_538`
6×	`add-cbrt-cube_binary64_546` `sqrt-pow1_binary64_555` `sqrt-prod_binary64_553`
5×	`distribute-lft-out--_binary64_619`
4×	`distribute-lft-out_binary64_618`
3×	`associate-l_binary64_634` `associate-r_binary64_633`
2×	`exp-prod_binary64_528` `diff-log_binary64_490` `exp-to-pow_binary64_514` `pow1/2_binary64_510` `rem-log-exp_binary64_537`
1×	`flip3--_binary64_573` `unswap-sqr_binary64_602` `cbrt-unprod_binary64_543` `sub-neg_binary64_578` `associate--r+_binary64_629` `sin-mult_binary64_445` `flip--_binary64_600` `difference-of-squares_binary64_603` `*-commutative_binary64_642` `sum-log_binary64_489` `pow-prod-down_binary64_501` `prod-exp_binary64_525`

Counts

4 → 76

Calls

4 calls:

6.0ms	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))
19.0ms	(-.f64 (cos.f64 delta) (+.f64 (log.f64 (sqrt.f64 (exp.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))))) (log.f64 (sqrt.f64 (exp.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))))
4.0ms	(log.f64 (sqrt.f64 (exp.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))
5.0ms	(log.f64 (sqrt.f64 (exp.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))

series1.4s

Counts

4 → 12

Calls

4 calls:

168.0ms	(.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))
441.0ms	(-.f64 (cos.f64 delta) (+.f64 (log.f64 (sqrt.f64 (exp.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta))))))))) (log.f64 (sqrt.f64 (exp.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))))
387.0ms	(log.f64 (sqrt.f64 (exp.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))
400.0ms	(log.f64 (sqrt.f64 (exp.f64 (.f64 (sin.f64 phi1) (sin.f64 (asin.f64 (+.f64 (.f64 (sin.f64 phi1) (cos.f64 delta)) (.f64 (.f64 (cos.f64 phi1) (sin.f64 delta)) (cos.f64 theta)))))))))

simplify70.0ms

Algorithm

egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	4969	3666
1	4969	3666

prune390.0ms

Filtered

61 candidates to 88 candidates (-44.3%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	88	0	88
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	88	7	95

Merged error: 0.1b

Counts

95 → 7

regimes925.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	43	59
1	43	59

end0.0ms

sample9.4s

Algorithm

intervals

Results

5.8s	3162×	body	1280	valid
1.9s	1785×	body	640	valid
530.0ms	720×	body	320	valid
435.0ms	2050×	body	80	valid
147.0ms	283×	body	160	valid

Details

analyze3.8s

sample326.0ms

simplify55.0ms

prune19.0ms

localize45.0ms

rewrite21.0ms

series458.0ms

simplify96.0ms

prune406.0ms

localize52.0ms

rewrite23.0ms

series597.0ms

simplify107.0ms

prune444.0ms

localize71.0ms

rewrite32.0ms

series2.9s

simplify146.0ms

prune602.0ms

localize65.0ms

rewrite36.0ms

series1.4s

simplify70.0ms

prune390.0ms

regimes925.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample9.4s

Profiling