Details

analyze710.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
18.7%	81.2%	0.1%	7
18.7%	81.2%	0.1%	8
29.7%	69.5%	0.9%	9
30.4%	67.9%	1.7%	10
36.3%	61.1%	2.6%	11
36.9%	59.5%	3.6%	12
39.9%	55.9%	4.2%	13
40.2%	54.9%	4.9%	14

sample147.0ms

Algorithm

intervals

Results

92.0ms	28×	body	2560	valid
25.0ms	45×	body	1280	valid
8.0ms	30×	body	640	valid
7.0ms	135×	body	80	valid
2.0ms	9×	body	320	valid
1.0ms	9×	body	160	valid
0.0ms	8×	body	80	invalid

simplify454.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	671	14
1	671	14

prune4.0ms

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: 15.9b

Counts

2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.3b	(*.f64 PI.f64 l)
0.6b	(/.f64 1.0 (*.f64 F F))
4.9b	(.f64 (/.f64 1.0 (.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))
28.9b	(tan.f64 (*.f64 PI.f64 l))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
17×	`add-sqr-sqrt_binary64`
11×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
10×	`associate-l_binary64`
8×	`pow1_binary64`
7×	`times-frac_binary64`
6×	`cbrt-unprod_binary64` `associate-r_binary64` `prod-exp_binary64`
4×	`add-log-exp_binary64` `cbrt-undiv_binary64` `div-exp_binary64`
3×	`unswap-sqr_binary64` `associate-/l*_binary64` `tan-quot_binary64`
2×	`pow-prod-down_binary64` `div-inv_binary64` `*-commutative_binary64`
1×	`associate-/r_binary64` `associate-r/_binary64` `clear-num_binary64` `frac-2neg_binary64` `frac-times_binary64` `associate-*l/_binary64`

Counts

4 → 77

Calls

4 calls:

4.0ms	(*.f64 PI.f64 l)
5.0ms	(/.f64 1.0 (*.f64 F F))
10.0ms	(.f64 (/.f64 1.0 (.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))
12.0ms	(tan.f64 (*.f64 PI.f64 l))

series57.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(*.f64 PI.f64 l)
4.0ms	(/.f64 1.0 (*.f64 F F))
28.0ms	(.f64 (/.f64 1.0 (.f64 F F)) (tan.f64 (*.f64 PI.f64 l)))
22.0ms	(tan.f64 (*.f64 PI.f64 l))

simplify56.0ms

Algorithm

egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5076	722

prune131.0ms

Filtered

63 candidates to 89 candidates (-41.3%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	79	10	89
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	80	10	90

Merged error: 11.0b

Counts

90 → 10

localize10.0ms

Local error

Found 4 expressions with local error:

0.3b	(.f64 (tan.f64 (.f64 PI.f64 l)) (/.f64 1.0 F))
0.3b	(*.f64 PI.f64 l)
0.3b	(*.f64 PI.f64 l)
28.9b	(tan.f64 (*.f64 PI.f64 l))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

25×	`add-sqr-sqrt_binary64`
19×	`associate-r_binary64`
16×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
13×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
10×	`pow1_binary64` `times-frac_binary64`
9×	`associate-l_binary64`
4×	`add-log-exp_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64`
3×	`pow-prod-down_binary64` `tan-quot_binary64` `*-commutative_binary64`
1×	`cbrt-undiv_binary64` `associate-r/_binary64` `div-inv_binary64` `div-exp_binary64` `frac-times_binary64` `associate-l/_binary64`

Counts

4 → 78

Calls

4 calls:

8.0ms	(.f64 (tan.f64 (.f64 PI.f64 l)) (/.f64 1.0 F))
4.0ms	(*.f64 PI.f64 l)
4.0ms	(*.f64 PI.f64 l)
2.0ms	(tan.f64 (*.f64 PI.f64 l))

series37.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(.f64 (tan.f64 (.f64 PI.f64 l)) (/.f64 1.0 F))
3.0ms	(*.f64 PI.f64 l)
3.0ms	(*.f64 PI.f64 l)
10.0ms	(tan.f64 (*.f64 PI.f64 l))

simplify49.0ms

Algorithm

egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	4946	657
1	4946	657

prune139.0ms

Filtered

63 candidates to 90 candidates (-42.9%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	78	12	90
Fresh	3	6	9
Picked	1	0	1
Done	0	0	0
Total	82	18	100

Merged error: 10.9b

Counts

100 → 18

localize10.0ms

Local error

Found 4 expressions with local error:

0.2b	(/.f64 (.f64 (tan.f64 (.f64 PI.f64 l)) 1.0) F)
0.3b	(*.f64 PI.f64 l)
0.3b	(*.f64 PI.f64 l)
28.9b	(tan.f64 (*.f64 PI.f64 l))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64`
13×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
10×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
8×	`pow1_binary64`
6×	`associate-r_binary64` `associate-l_binary64`
4×	`add-log-exp_binary64`
3×	`associate-/r*_binary64` `cbrt-unprod_binary64` `prod-exp_binary64` `times-frac_binary64`
2×	`pow-prod-down_binary64` `cbrt-undiv_binary64` `unswap-sqr_binary64` `div-exp_binary64` `tan-quot_binary64` `*-commutative_binary64`
1×	`associate-/l/_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l_binary64` `div-inv_binary64` `associate-l/_binary64`

Counts

4 → 66

Calls

4 calls:

6.0ms	(/.f64 (.f64 (tan.f64 (.f64 PI.f64 l)) 1.0) F)
4.0ms	(*.f64 PI.f64 l)
4.0ms	(*.f64 PI.f64 l)
2.0ms	(tan.f64 (*.f64 PI.f64 l))

series37.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(/.f64 (.f64 (tan.f64 (.f64 PI.f64 l)) 1.0) F)
3.0ms	(*.f64 PI.f64 l)
3.0ms	(*.f64 PI.f64 l)
10.0ms	(tan.f64 (*.f64 PI.f64 l))

simplify51.0ms

Algorithm

egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5091	520

prune101.0ms

Filtered

54 candidates to 78 candidates (-44.4%)

Pruning

18 alts after pruning (17 fresh and 1 done)

	Pruned	Kept	Total
New	78	0	78
Fresh	0	17	17
Picked	0	1	1
Done	0	0	0
Total	78	18	96

Merged error: 10.9b

Counts

96 → 18

localize17.0ms

Local error

Found 4 expressions with local error:

0.3b	(.f64 (tan.f64 (.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) (/.f64 1.0 F))
1.0b	(sqrt.f64 PI.f64)
1.0b	(sqrt.f64 PI.f64)
28.9b	(tan.f64 (.f64 (sqrt.f64 PI.f64) (.f64 l (sqrt.f64 PI.f64))))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

21×	`add-sqr-sqrt_binary64`
14×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
13×	`associate-r_binary64`
10×	`times-frac_binary64`
9×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
8×	`pow1_binary64`
6×	`sqrt-prod_binary64`
4×	`add-log-exp_binary64`
3×	`associate-l_binary64` `tan-quot_binary64`
2×	`pow1/2_binary64` `cbrt-unprod_binary64` `sqrt-pow1_binary64` `unswap-sqr_binary64` `rem-sqrt-square_binary64` `prod-exp_binary64`
1×	`pow-prod-down_binary64` `cbrt-undiv_binary64` `associate-r/_binary64` `div-inv_binary64` `div-exp_binary64` `frac-times_binary64` `associate-l/_binary64` `*-commutative_binary64`

Counts

4 → 68

Calls

4 calls:

9.0ms	(.f64 (tan.f64 (.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) (/.f64 1.0 F))
1.0ms	(sqrt.f64 PI.f64)
2.0ms	(sqrt.f64 PI.f64)
3.0ms	(tan.f64 (.f64 (sqrt.f64 PI.f64) (.f64 l (sqrt.f64 PI.f64))))

series33.0ms

Counts

4 → 8

Calls

4 calls:

21.0ms	(.f64 (tan.f64 (.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) (/.f64 1.0 F))
0.0ms	(sqrt.f64 PI.f64)
0.0ms	(sqrt.f64 PI.f64)
11.0ms	(tan.f64 (.f64 (sqrt.f64 PI.f64) (.f64 l (sqrt.f64 PI.f64))))

simplify61.0ms

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4945	597
1	4945	597

prune74.0ms

Filtered

58 candidates to 76 candidates (-31.0%)

Pruning

19 alts after pruning (17 fresh and 2 done)

	Pruned	Kept	Total
New	73	3	76
Fresh	2	14	16
Picked	0	1	1
Done	0	1	1
Total	75	19	94

Merged error: 10.9b

Counts

94 → 19

regimes527.0ms

Accuracy

0% (0.3b remaining)

Error of 12.4b against oracle of 12.0b and baseline of 12.4b

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	113	25
1	113	25

end0.0ms

sample4.1s

Algorithm

intervals

Results

2.4s	797×	body	2560	valid
968.0ms	1659×	body	1280	valid
272.0ms	983×	body	640	valid
203.0ms	3986×	body	80	valid
70.0ms	399×	body	320	valid
21.0ms	176×	body	160	valid
10.0ms	183×	body	80	invalid
2.0ms	1×	body	2560	invalid
2.0ms	4×	body	1280	invalid
1.0ms	2×	body	5120	exit

Details

analyze710.0ms

sample147.0ms

simplify454.0ms

prune4.0ms

localize12.0ms

rewrite34.0ms

series57.0ms

simplify56.0ms

prune131.0ms

localize10.0ms

rewrite22.0ms

series37.0ms

simplify49.0ms

prune139.0ms

localize10.0ms

rewrite17.0ms

series37.0ms

simplify51.0ms

prune101.0ms

localize17.0ms

rewrite17.0ms

series33.0ms

simplify61.0ms

prune74.0ms

regimes527.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample4.1s

Profiling