Details

analyze333.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
12.5%	87.4%	0.1%	4
62.4%	37.5%	0.1%	5
62.4%	37.5%	0.1%	6
62.4%	31.2%	6.3%	7
62.4%	31.2%	6.3%	8
62.4%	28.1%	9.5%	9
62.4%	28.1%	9.5%	10
62.4%	26.5%	11%	11
62.4%	26.5%	11%	12
62.4%	25.8%	11.8%	13
62.4%	25.8%	11.8%	14

sample135.0ms

Algorithm

intervals

Results

66.0ms	138×	body	1024	valid
19.0ms	73×	body	1024	invalid
13.0ms	58×	body	512	valid
7.0ms	40×	body	512	invalid
5.0ms	90×	body	128	invalid
4.0ms	28×	body	256	valid
3.0ms	4×	body	2048	valid
2.0ms	17×	body	256	invalid
2.0ms	28×	body	128	valid

simplify100.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (93.0ms)

Iter	Nodes	Cost
0	4963	18
1	4963	18

prune2.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: 43.5b

Counts

2 → 1

localize9.0ms

Local error

Found 2 expressions with local error:

0.5b	(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
6.3b	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

7×	`*-un-lft-identity_binary64` `pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `add-sqr-sqrt_binary64`
5×	`associate-r_binary64`
4×	`add-log-exp_binary64`
3×	`pow-prod-down_binary64` `sub-neg_binary64` `cbrt-unprod_binary64` `add-cube-cbrt_binary64` `prod-exp_binary64`
2×	`flip3--_binary64` `associate-*r/_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `flip--_binary64`
1×	`diff-log_binary64` `distribute-lft-in_binary64` `associate-l_binary64` `distribute-rgt-in_binary64` `*-commutative_binary64`

Counts

2 → 37

Calls

2 calls:

12.0ms	(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
7.0ms	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

series202.0ms

Counts

2 → 6

Calls

2 calls:

150.0ms	(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
52.0ms	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

simplify70.0ms

Algorithm

egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5538	764

prune45.0ms

Filtered

29 candidates to 43 candidates (-48.3%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	39	4	43
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	40	4	44

Merged error: 0.6b

Counts

44 → 4

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (.f64 im -2) (.f64 1/3 (pow.f64 im 3)))
0.1b	(*.f64 (pow.f64 im 5) -1/60)
0.1b	(*.f64 1/3 (pow.f64 im 3))
0.1b	(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (-.f64 (.f64 im -2) (.f64 1/3 (pow.f64 im 3))) (*.f64 (pow.f64 im 5) -1/60)))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt_binary64`
19×	`add-exp-log_binary64`
18×	`associate-r_binary64`
13×	`add-cbrt-cube_binary64`
12×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
11×	`associate-l_binary64`
9×	`pow1_binary64` `prod-exp_binary64`
8×	`unpow-prod-down_binary64`
7×	`unswap-sqr_binary64`
6×	`add-log-exp_binary64`
5×	`cbrt-unprod_binary64`
4×	`sqr-pow_binary64` `cube-prod_binary64`
3×	`pow-prod-down_binary64` `*-commutative_binary64`
2×	`pow-to-exp_binary64` `associate-*r/_binary64` `pow-exp_binary64`
1×	`flip3-+_binary64` `sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `flip--_binary64` `flip-+_binary64` `unpow3_binary64` `cube-mult_binary64`

Counts

4 → 89

Calls

4 calls:

4.0ms	(-.f64 (.f64 im -2) (.f64 1/3 (pow.f64 im 3)))
8.0ms	(*.f64 (pow.f64 im 5) -1/60)
7.0ms	(*.f64 1/3 (pow.f64 im 3))
11.0ms	(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (-.f64 (.f64 im -2) (.f64 1/3 (pow.f64 im 3))) (*.f64 (pow.f64 im 5) -1/60)))

series563.0ms

Counts

4 → 12

Calls

4 calls:

140.0ms	(-.f64 (.f64 im -2) (.f64 1/3 (pow.f64 im 3)))
67.0ms	(*.f64 (pow.f64 im 5) -1/60)
49.0ms	(*.f64 1/3 (pow.f64 im 3))
306.0ms	(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (-.f64 (.f64 im -2) (.f64 1/3 (pow.f64 im 3))) (*.f64 (pow.f64 im 5) -1/60)))

simplify62.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5062	1629

prune124.0ms

Filtered

65 candidates to 101 candidates (-55.4%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	92	9	101
Fresh	0	3	3
Picked	1	0	1
Done	0	0	0
Total	93	12	105

Merged error: 0.5b

Counts

105 → 12

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b	(*.f64 1/120 (pow.f64 im 5))
0.1b	(.f64 (sin.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (*.f64 1/120 (pow.f64 im 5))))
0.1b	(*.f64 1/6 (pow.f64 im 3))
0.1b	(*.f64 (sin.f64 re) im)

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

31×	`add-sqr-sqrt_binary64`
25×	`associate-r_binary64`
18×	`add-exp-log_binary64`
15×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
12×	`add-cbrt-cube_binary64` `associate-l_binary64`
9×	`unswap-sqr_binary64`
8×	`pow1_binary64` `unpow-prod-down_binary64` `prod-exp_binary64`
4×	`add-log-exp_binary64` `cbrt-unprod_binary64` `sqr-pow_binary64` `cube-prod_binary64` `*-commutative_binary64`
2×	`pow-to-exp_binary64` `pow-prod-down_binary64` `associate-*r/_binary64` `pow-exp_binary64`
1×	`flip3-+_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `flip-+_binary64` `unpow3_binary64` `cube-mult_binary64`

Counts

4 → 96

Calls

4 calls:

6.0ms	(*.f64 1/120 (pow.f64 im 5))
9.0ms	(.f64 (sin.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (*.f64 1/120 (pow.f64 im 5))))
7.0ms	(*.f64 1/6 (pow.f64 im 3))
5.0ms	(*.f64 (sin.f64 re) im)

series604.0ms

Counts

4 → 12

Calls

4 calls:

62.0ms	(*.f64 1/120 (pow.f64 im 5))
441.0ms	(.f64 (sin.f64 re) (+.f64 (.f64 1/6 (pow.f64 im 3)) (*.f64 1/120 (pow.f64 im 5))))
46.0ms	(*.f64 1/6 (pow.f64 im 3))
55.0ms	(*.f64 (sin.f64 re) im)

simplify80.0ms

Algorithm

egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4927	1358
1	4927	1358

prune127.0ms

Filtered

72 candidates to 108 candidates (-50.0%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	103	5	108
Fresh	2	9	11
Picked	1	0	1
Done	0	0	0
Total	106	14	120

Merged error: 0.5b

Counts

120 → 14

localize17.0ms

Local error

Found 4 expressions with local error:

0.3b	(*.f64 (sin.f64 re) (pow.f64 (cbrt.f64 im) 2))
0.5b	(pow.f64 (cbrt.f64 im) 2)
0.6b	(cbrt.f64 im)
0.6b	(cbrt.f64 im)

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

21×	`add-sqr-sqrt_binary64`
14×	`unpow-prod-down_binary64`
13×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `cbrt-prod_binary64`
11×	`associate-r_binary64`
10×	`add-exp-log_binary64`
6×	`add-cbrt-cube_binary64`
5×	`pow1_binary64` `unswap-sqr_binary64`
4×	`add-log-exp_binary64`
3×	`pow-unpow_binary64` `unpow2_binary64` `pow1/3_binary64` `sqr-pow_binary64` `associate-l_binary64` `prod-exp_binary64`
2×	`pow-to-exp_binary64` `pow-pow_binary64` `pow-exp_binary64`
1×	`cbrt-unprod_binary64` `*-commutative_binary64`

Counts

4 → 75

Calls

4 calls:

8.0ms	(*.f64 (sin.f64 re) (pow.f64 (cbrt.f64 im) 2))
3.0ms	(pow.f64 (cbrt.f64 im) 2)
1.0ms	(cbrt.f64 im)
1.0ms	(cbrt.f64 im)

series633.0ms

Counts

4 → 12

Calls

4 calls:

155.0ms	(*.f64 (sin.f64 re) (pow.f64 (cbrt.f64 im) 2))
167.0ms	(pow.f64 (cbrt.f64 im) 2)
151.0ms	(cbrt.f64 im)
160.0ms	(cbrt.f64 im)

simplify73.0ms

Algorithm

egg-herbie

Counts

87 → 87

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	5056	765

prune100.0ms

Filtered

67 candidates to 87 candidates (-29.9%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	86	1	87
Fresh	0	13	13
Picked	0	1	1
Done	0	0	0
Total	86	15	101

Merged error: 0.5b

Counts

101 → 15

regimes256.0ms

Accuracy

0% (1.8b remaining)

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

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	141	41
1	141	41

end0.0ms

sample4.0s

Algorithm

intervals

Results

1.9s	4064×	body	1024	valid
553.0ms	2010×	body	1024	invalid
484.0ms	2034×	body	512	valid
184.0ms	1004×	body	512	invalid
166.0ms	2592×	body	128	invalid
158.0ms	224×	body	2048	valid
145.0ms	1033×	body	256	valid
67.0ms	555×	body	256	invalid
47.0ms	645×	body	128	valid

Details

analyze333.0ms

sample135.0ms

simplify100.0ms

prune2.0ms

localize9.0ms

rewrite21.0ms

series202.0ms

simplify70.0ms

prune45.0ms

localize14.0ms

rewrite38.0ms

series563.0ms

simplify62.0ms

prune124.0ms

localize16.0ms

rewrite35.0ms

series604.0ms

simplify80.0ms

prune127.0ms

localize17.0ms

rewrite21.0ms

series633.0ms

simplify73.0ms

prune100.0ms

regimes256.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample4.0s

Profiling