Details

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

sample152.0ms

Algorithm

intervals

Results

64.0ms	105×	body	1280	valid
26.0ms	80×	body	640	valid
17.0ms	50×	body	1280	invalid
10.0ms	42×	body	640	invalid
9.0ms	47×	body	320	valid
5.0ms	84×	body	80	invalid
4.0ms	22×	body	320	invalid
2.0ms	14×	body	160	valid
2.0ms	13×	body	160	invalid
1.0ms	10×	body	80	valid

simplify55.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	4861	11
1	4861	11

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.4b

Counts

2 → 1

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b	(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
5.5b	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

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

11.0ms	(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
6.0ms	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

series18.0ms

Counts

2 → 6

Calls

2 calls:

14.0ms	(.f64 (.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
4.0ms	(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

simplify55.0ms

Algorithm

egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4895	465
1	4895	465

prune38.0ms

Filtered

29 candidates to 43 candidates (-48.3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	41	2	43
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	42	2	44

Merged error: 0.2b

Counts

44 → 2

localize14.0ms

Local error

Found 3 expressions with local error:

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

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt_binary64`
18×	`add-exp-log_binary64`
16×	`associate-l_binary64`
13×	`associate-r_binary64`
12×	`add-cbrt-cube_binary64`
11×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
9×	`prod-exp_binary64`
8×	`pow1_binary64` `unpow-prod-down_binary64`
7×	`unswap-sqr_binary64`
5×	`cbrt-unprod_binary64`
4×	`sqr-pow_binary64` `cube-prod_binary64`
3×	`pow-prod-down_binary64` `add-log-exp_binary64` `*-commutative_binary64`
2×	`pow-to-exp_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

3 → 78

Calls

3 calls:

5.0ms	(*.f64 1/60 (pow.f64 im 5))
6.0ms	(*.f64 (pow.f64 im 3) -1/3)
12.0ms	(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (.f64 im -2) (-.f64 (.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))))

series51.0ms

Counts

3 → 9

Calls

3 calls:

5.0ms	(*.f64 1/60 (pow.f64 im 5))
4.0ms	(*.f64 (pow.f64 im 3) -1/3)
41.0ms	(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (.f64 im -2) (-.f64 (.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))))

simplify58.0ms

Algorithm

egg-herbie

Counts

87 → 87

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4955	921
1	4955	921

prune82.0ms

Filtered

55 candidates to 87 candidates (-58.2%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	81	6	87
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	81	8	89

Merged error: 0.1b

Counts

89 → 8

localize18.0ms

Local error

Found 4 expressions with local error:

0.5b	(.f64 (cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 (pow.f64 im 3) -1/3) (.f64 1/60 (pow.f64 im 5))))) (cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5))))))
0.6b	(cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))))
0.6b	(cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))))
0.6b	(cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod_binary64`
23×	`add-sqr-sqrt_binary64`
18×	`cbrt-div_binary64`
15×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
11×	`pow1_binary64`
9×	`flip3-+_binary64` `pow1/3_binary64` `flip-+_binary64`
6×	`swap-sqr_binary64` `associate-r_binary64` `add-exp-log_binary64` `associate-l_binary64`
4×	`add-log-exp_binary64` `add-cbrt-cube_binary64` `unswap-sqr_binary64` `frac-times_binary64`
2×	`pow-prod-down_binary64` `pow-prod-up_binary64` `associate-r/_binary64` `pow-sqr_binary64` `associate-l/_binary64`
1×	`cbrt-unprod_binary64` `pow-plus_binary64` `prod-exp_binary64` `pow2_binary64` `*-commutative_binary64`

Counts

4 → 87

Calls

4 calls:

19.0ms	(.f64 (cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 (pow.f64 im 3) -1/3) (.f64 1/60 (pow.f64 im 5))))) (cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5))))))
7.0ms	(cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))))
7.0ms	(cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))))
7.0ms	(cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))))

series87.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(.f64 (cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 (pow.f64 im 3) -1/3) (.f64 1/60 (pow.f64 im 5))))) (cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5))))))
20.0ms	(cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))))
20.0ms	(cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))))
21.0ms	(cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))))

simplify58.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5798	2930

prune285.0ms

Filtered

80 candidates to 99 candidates (-23.8%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	95	4	99
Fresh	0	6	6
Picked	1	0	1
Done	0	1	1
Total	96	11	107

Merged error: 0.1b

Counts

107 → 11

localize26.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))))
0.7b	(cbrt.f64 (cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5))))))
0.7b	(cbrt.f64 (cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5))))))
0.7b	(cbrt.f64 (cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5))))))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

30×	`cbrt-prod_binary64`
14×	`cbrt-div_binary64`
11×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
4×	`flip3-+_binary64` `add-log-exp_binary64` `pow1_binary64` `pow1/3_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `flip-+_binary64`

Counts

4 → 61

Calls

4 calls:

7.0ms	(cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))))
8.0ms	(cbrt.f64 (cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5))))))
8.0ms	(cbrt.f64 (cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5))))))
8.0ms	(cbrt.f64 (cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5))))))

series103.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))))
27.0ms	(cbrt.f64 (cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5))))))
30.0ms	(cbrt.f64 (cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5))))))
27.0ms	(cbrt.f64 (cbrt.f64 (+.f64 (.f64 im -2) (-.f64 (.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5))))))

simplify46.0ms

Algorithm

egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5034	2147

prune426.0ms

Filtered

69 candidates to 73 candidates (-5.8%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	72	1	73
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	72	12	84

Merged error: 0.1b

Counts

84 → 12

regimes245.0ms

Accuracy

0% (0.7b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	50	20
1	50	20

end0.0ms

sample4.5s

Algorithm

intervals

Results

1.9s	3239×	body	1280	valid
843.0ms	2603×	body	640	valid
526.0ms	1464×	body	1280	invalid
293.0ms	1204×	body	640	invalid
269.0ms	1294×	body	320	valid
153.0ms	2426×	body	80	invalid
104.0ms	610×	body	320	invalid
77.0ms	599×	body	160	valid
40.0ms	301×	body	160	invalid
17.0ms	265×	body	80	valid

Details

analyze352.0ms

sample152.0ms

simplify55.0ms

prune2.0ms

localize9.0ms

rewrite18.0ms

series18.0ms

simplify55.0ms

prune38.0ms

localize14.0ms

rewrite26.0ms

series51.0ms

simplify58.0ms

prune82.0ms

localize18.0ms

rewrite45.0ms

series87.0ms

simplify58.0ms

prune285.0ms

localize26.0ms

rewrite33.0ms

series103.0ms

simplify46.0ms

prune426.0ms

regimes245.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample4.5s

Profiling