Details

analyze4.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
50%	50%	0.1%	2
74.9%	25%	0.1%	3
87.4%	12.5%	0.1%	4
93.7%	6.2%	0.1%	5
96.8%	3.1%	0.1%	6
98.3%	1.6%	0.1%	7
99.1%	0.8%	0.1%	8
99.5%	0.4%	0.1%	9
99.7%	0.2%	0.1%	10
99.8%	0.1%	0.1%	11
99.9%	0%	0.1%	12
99.9%	0%	0.1%	13
99.9%	0%	0.1%	14

sample16.0ms

Algorithm

intervals

Results

10.0ms

256×

body

128

valid

simplify8.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	7	9
1	7	9

prune1.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: 0.8b

Counts

2 → 1

localize10.0ms

Local error

Found 1 expressions with local error:

0.8b	(/.f64 (atan2.f64 im re) (log.f64 10))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

12×	`times-frac_binary64`
10×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
5×	`pow1_binary64`
4×	`associate-/r*_binary64` `log-pow_binary64`
3×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-/l*_binary64`
1×	`add-log-exp_binary64` `cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64`

Counts

1 → 31

Calls

1 calls:

3.0ms

(/.f64 (atan2.f64 im re) (log.f64 10))

series54.0ms

Counts

1 → 3

Calls

1 calls:

54.0ms

(/.f64 (atan2.f64 im re) (log.f64 10))

simplify107.0ms

Algorithm

egg-herbie

Counts

34 → 34

Iterations

Useful iterations: 0 (97.0ms)

Iter	Nodes	Cost
0	5099	518

prune34.0ms

Filtered

22 candidates to 34 candidates (-54.5%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	25	9	34
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	26	9	35

Merged error: 0.0b

Counts

35 → 9

localize9.0ms

Local error

Found 2 expressions with local error:

0.1b	(/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 10)))
0.8b	(*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 10))))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

92×	`add-sqr-sqrt_binary64`
85×	`times-frac_binary64`
52×	`*-un-lft-identity_binary64`
51×	`sqrt-prod_binary64`
46×	`add-cube-cbrt_binary64`
25×	`associate-r_binary64` `associate-l_binary64`
21×	`add-exp-log_binary64`
16×	`add-cbrt-cube_binary64`
15×	`unswap-sqr_binary64`
14×	`pow1_binary64`
10×	`log-pow_binary64`
7×	`associate-/r*_binary64`
6×	`prod-exp_binary64` `div-exp_binary64`
5×	`cbrt-undiv_binary64`
4×	`cbrt-unprod_binary64`
3×	`associate-/l*_binary64` `div-inv_binary64`
2×	`add-log-exp_binary64` `rec-exp_binary64`
1×	`pow-prod-down_binary64` `associate-r/_binary64` `clear-num_binary64` `frac-2neg_binary64` `frac-times_binary64` `associate-l/_binary64` `*-commutative_binary64`

Counts

2 → 130

Calls

2 calls:

5.0ms	(/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 10)))
22.0ms	(*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 10))))

series146.0ms

Counts

2 → 6

Calls

2 calls:

92.0ms	(/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 10)))
54.0ms	(*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 10))))

simplify92.0ms

Algorithm

egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	5034	2570

prune98.0ms

Filtered

68 candidates to 136 candidates (-100.0%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	131	5	136
Fresh	4	4	8
Picked	1	0	1
Done	0	0	0
Total	136	9	145

Merged error: 0.0b

Counts

145 → 9

localize9.0ms

Local error

Found 2 expressions with local error:

0.1b	(*.f64 (atan2.f64 im re) (/.f64 1 (sqrt.f64 (log.f64 10))))
0.8b	(.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (.f64 (atan2.f64 im re) (/.f64 1 (sqrt.f64 (log.f64 10)))))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

49×	`add-exp-log_binary64`
46×	`times-frac_binary64`
43×	`add-sqr-sqrt_binary64`
33×	`*-un-lft-identity_binary64`
31×	`add-cube-cbrt_binary64`
28×	`add-cbrt-cube_binary64` `associate-l_binary64`
26×	`associate-r_binary64` `sqrt-prod_binary64`
24×	`prod-exp_binary64`
15×	`pow1_binary64`
12×	`cbrt-unprod_binary64`
8×	`rec-exp_binary64` `div-exp_binary64`
6×	`cbrt-undiv_binary64` `log-pow_binary64`
5×	`associate-*r/_binary64` `unswap-sqr_binary64`
4×	`pow-prod-down_binary64`
3×	`un-div-inv_binary64`
2×	`add-log-exp_binary64` `div-inv_binary64` `frac-times_binary64` `*-commutative_binary64`
1×	`associate-*l/_binary64`

Counts

2 → 108

Calls

2 calls:

12.0ms	(*.f64 (atan2.f64 im re) (/.f64 1 (sqrt.f64 (log.f64 10))))
16.0ms	(.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (.f64 (atan2.f64 im re) (/.f64 1 (sqrt.f64 (log.f64 10)))))

series142.0ms

Counts

2 → 6

Calls

2 calls:

84.0ms	(*.f64 (atan2.f64 im re) (/.f64 1 (sqrt.f64 (log.f64 10))))
58.0ms	(.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (.f64 (atan2.f64 im re) (/.f64 1 (sqrt.f64 (log.f64 10)))))

simplify120.0ms

Algorithm

egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 0 (98.0ms)

Iter	Nodes	Cost
0	4758	1541
1	4758	1541

prune70.0ms

Filtered

57 candidates to 114 candidates (-100.0%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	113	1	114
Fresh	4	4	8
Picked	0	1	1
Done	0	0	0
Total	117	6	123

Merged error: 0b

Counts

123 → 6

localize15.0ms

Local error

Found 2 expressions with local error:

0.8b	(.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 (log.f64 10)))) (.f64 (atan2.f64 im re) (pow.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) 3/2)))
0.8b	(*.f64 (atan2.f64 im re) (pow.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) 3/2))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

51×	`sqrt-prod_binary64`
48×	`add-sqr-sqrt_binary64`
46×	`times-frac_binary64`
35×	`*-un-lft-identity_binary64`
33×	`add-cube-cbrt_binary64`
31×	`associate-l_binary64`
30×	`associate-r_binary64` `unpow-prod-down_binary64`
29×	`add-exp-log_binary64`
16×	`prod-exp_binary64`
10×	`pow1_binary64`
9×	`add-cbrt-cube_binary64`
7×	`unswap-sqr_binary64`
6×	`log-pow_binary64` `pow-exp_binary64`
4×	`cbrt-unprod_binary64`
2×	`pow-to-exp_binary64` `add-log-exp_binary64` `sqr-pow_binary64` `rec-exp_binary64` `div-inv_binary64` `div-exp_binary64` `*-commutative_binary64`
1×	`pow-prod-down_binary64` `sqrt-div_binary64` `associate-*l/_binary64`

Counts

2 → 100

Calls

2 calls:

19.0ms	(.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 (log.f64 10)))) (.f64 (atan2.f64 im re) (pow.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) 3/2)))
15.0ms	(*.f64 (atan2.f64 im re) (pow.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) 3/2))

series244.0ms

Counts

2 → 6

Calls

2 calls:

54.0ms	(.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 (log.f64 10)))) (.f64 (atan2.f64 im re) (pow.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) 3/2)))
190.0ms	(*.f64 (atan2.f64 im re) (pow.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) 3/2))

simplify61.0ms

Algorithm

egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5526	2594

prune101.0ms

Filtered

63 candidates to 106 candidates (-68.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	105	1	106
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	106	6	112

Merged error: 0b

Counts

112 → 6

regimes43.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	16	29
1	16	29

end0.0ms

sample430.0ms

Algorithm

intervals

Results

295.0ms

8000×

body

128

valid

Details

analyze4.0ms

sample16.0ms

simplify8.0ms

prune1.0ms

localize10.0ms

rewrite6.0ms

series54.0ms

simplify107.0ms

prune34.0ms

localize9.0ms

rewrite41.0ms

series146.0ms

simplify92.0ms

prune98.0ms

localize9.0ms

rewrite40.0ms

series142.0ms

simplify120.0ms

prune70.0ms

localize15.0ms

rewrite46.0ms

series244.0ms

simplify61.0ms

prune101.0ms

regimes43.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample430.0ms

Profiling