Details

analyze581.0ms (8.3%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4943	36
1	4943	36
0	2	2
1	2	2

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
25%	74.9%	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

Compiler

Compiled 13 to 12 computations (7.7% saved)

sample125.0ms (1.8%)

Algorithm

1×

intervals

Results

39.0ms	75×	body	1024	valid
23.0ms	70×	body	1024	invalid
12.0ms	143×	body	128	valid
9.0ms	30×	body	512	valid
8.0ms	32×	body	512	invalid
7.0ms	83×	body	128	invalid
3.0ms	18×	body	256	invalid
1.0ms	8×	body	256	valid

Compiler

Compiled 25 to 25 computations (0% saved)

simplify152.0ms (2.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (144.0ms)

Iter	Nodes	Cost
0	5282	18

prune4.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Compiler

Compiled 22 to 20 computations (9.1% saved)

localize158.0ms (2.3%)

Local error

Found 2 expressions with local error:

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

rewrite51.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

7×	`pow1_binary64_139` `add-exp-log_binary64_116` `add-cbrt-cube_binary64_114` `*-un-lft-identity_binary64_78`
4×	`add-log-exp_binary64_117` `associate-r_binary64_18`
3×	`pow-prod-down_binary64_149` `prod-exp_binary64_127` `add-cube-cbrt_binary64_113` `cbrt-unprod_binary64_111` `add-sqr-sqrt_binary64_100`
2×	`flip3-+_binary64_81` `associate-*r/_binary64_20` `flip-+_binary64_52` `distribute-lft-out_binary64_29`
1×	`distribute-rgt-in_binary64_28` `distribute-lft-in_binary64_27` `associate-l_binary64_19` `*-commutative_binary64_9` `sum-log_binary64_169` `+-commutative_binary64_8`

Counts

2 → 35

Calls

2 calls:

11.0ms	(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
5.0ms	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

Compiler

Compiled 692 to 227 computations (67.2% saved)

series245.0ms (3.5%)

Error

0.0b

Counts

2 → 17

Calls

2 calls:

195.0ms	(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
27.0ms	(+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

Compiler

Compiled 701 to 504 computations (28.1% saved)

simplify86.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	4904	928
1	4904	928

prune44.0ms (0.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	50	2	52
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	50	3	53

Error

Counts

53 → 3

Compiler

Compiled 834 to 331 computations (60.3% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 1/2 (exp.f64 im))
0.0b	(+.f64 (.f64 (/.f64 1/2 (exp.f64 im)) (sin.f64 re)) (.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re))))
0.0b	(.f64 (exp.f64 im) (.f64 1/2 (sin.f64 re)))
0.0b	(*.f64 (/.f64 1/2 (exp.f64 im)) (sin.f64 re))

rewrite139.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

26×	`add-sqr-sqrt_binary64_100`
21×	`add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
19×	`times-frac_binary64_84`
16×	`add-cbrt-cube_binary64_114` `associate-l_binary64_19`
12×	`add-exp-log_binary64_116`
11×	`pow1_binary64_139`
6×	`add-log-exp_binary64_117`
5×	`prod-exp_binary64_127` `cbrt-unprod_binary64_111`
4×	`pow-prod-down_binary64_149` `associate-r_binary64_18`
3×	`associate-/l_binary64_23` `associate-/r_binary64_22`
2×	`div-exp_binary64_129` `cbrt-undiv_binary64_112` `unswap-sqr_binary64_46` `div-inv_binary64_75` `*-commutative_binary64_9`
1×	`associate-*l/_binary64_21` `sum-log_binary64_169` `flip3-+_binary64_81` `flip-+_binary64_52` `+-commutative_binary64_8` `frac-2neg_binary64_89` `clear-num_binary64_77`

Counts

4 → 88

Calls

4 calls:

8.0ms	(+.f64 (.f64 (/.f64 1/2 (exp.f64 im)) (sin.f64 re)) (.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re))))
8.0ms	(*.f64 (/.f64 1/2 (exp.f64 im)) (sin.f64 re))
7.0ms	(.f64 (exp.f64 im) (.f64 1/2 (sin.f64 re)))
4.0ms	(/.f64 1/2 (exp.f64 im))

Compiler

Compiled 2033 to 1037 computations (49% saved)

series599.0ms (8.6%)

Error

Counts

4 → 39

Calls

4 calls:

263.0ms	(+.f64 (.f64 (/.f64 1/2 (exp.f64 im)) (sin.f64 re)) (.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re))))
128.0ms	(*.f64 (/.f64 1/2 (exp.f64 im)) (sin.f64 re))
122.0ms	(.f64 (exp.f64 im) (.f64 1/2 (sin.f64 re)))
31.0ms	(/.f64 1/2 (exp.f64 im))

Compiler

Compiled 1905 to 1236 computations (35.1% saved)

simplify110.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 0 (82.0ms)

Iter	Nodes	Cost
0	4945	1978
1	4945	1978

prune129.0ms (1.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	127	0	127
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	127	3	130

Error

Counts

130 → 3

Compiler

Compiled 2508 to 1251 computations (50.1% saved)

localize11.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(.f64 1/2 (.f64 im im))
0.0b	(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (*.f64 im im)) 1))

rewrite81.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

9×	`pow1_binary64_139` `add-exp-log_binary64_116` `add-cbrt-cube_binary64_114`
8×	`add-sqr-sqrt_binary64_100`
6×	`associate-l_binary64_19`
5×	`add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
4×	`pow-prod-down_binary64_149` `prod-exp_binary64_127` `cbrt-unprod_binary64_111` `associate-r_binary64_18`
2×	`add-log-exp_binary64_117` `unswap-sqr_binary64_46` `associate-r/_binary64_20` `-commutative_binary64_9`
1×	`distribute-rgt-in_binary64_28` `distribute-lft-in_binary64_27` `flip3-+_binary64_81` `flip-+_binary64_52`

Counts

2 → 41

Calls

2 calls:

18.0ms	(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (*.f64 im im)) 1))
11.0ms	(.f64 1/2 (.f64 im im))

Compiler

Compiled 717 to 412 computations (42.5% saved)

series234.0ms (3.3%)

Error

Counts

2 → 14

Calls

2 calls:

185.0ms	(.f64 (sin.f64 re) (+.f64 (.f64 1/2 (*.f64 im im)) 1))
38.0ms	(.f64 1/2 (.f64 im im))

Compiler

Compiled 492 to 408 computations (17.1% saved)

simplify89.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

55 → 55

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	5321	761

prune61.0ms (0.9%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	55	0	55
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	55	3	58

Error

Counts

58 → 3

Compiler

Compiled 779 to 449 computations (42.4% saved)

regimes407.0ms (5.8%)

Accuracy

Total 0.0b remaining (52%)

Threshold costs 0.0b (52%)

Compiler

Compiled 2518 to 1974 computations (21.6% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	21	18
1	21	18

end0.0ms (0%)

sample3.7s (52.6%)

Algorithm

1×

intervals

Results

849.0ms	1958×	body	1024	valid
607.0ms	2025×	body	1024	invalid
334.0ms	4529×	body	128	valid
225.0ms	1002×	body	512	valid
215.0ms	1011×	body	512	invalid
194.0ms	2554×	body	128	invalid
74.0ms	482×	body	256	invalid
72.0ms	498×	body	256	valid
9.0ms	13×	body	2048	valid
0.0ms	1×	body	2048	invalid

Compiler

Compiled 404 to 320 computations (20.8% saved)

Details

analyze581.0ms (8.3%)

sample125.0ms (1.8%)

simplify152.0ms (2.2%)

prune4.0ms (0.1%)

localize158.0ms (2.3%)

rewrite51.0ms (0.7%)

series245.0ms (3.5%)

simplify86.0ms (1.2%)

prune44.0ms (0.6%)

localize10.0ms (0.1%)

rewrite139.0ms (2%)

series599.0ms (8.6%)

simplify110.0ms (1.6%)

prune129.0ms (1.8%)

localize11.0ms (0.2%)

rewrite81.0ms (1.2%)

series234.0ms (3.3%)

simplify89.0ms (1.3%)

prune61.0ms (0.9%)

regimes407.0ms (5.8%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample3.7s (52.6%)

Profiling