Details

analyze574.0ms (11.6%)

Algorithm

1×

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 15 to 12 computations (20% saved)

sample114.0ms (2.3%)

Algorithm

1×

intervals

Results

31.0ms	64×	body	1024	valid
26.0ms	62×	body	1024	invalid
11.0ms	148×	body	128	valid
7.0ms	87×	body	128	invalid
6.0ms	26×	body	512	invalid
5.0ms	24×	body	512	valid
4.0ms	24×	body	256	invalid
3.0ms	18×	body	256	valid
2.0ms	2×	body	2048	valid

Compiler

Compiled 31 to 25 computations (19.4% saved)

simplify80.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

778×	`unswap-sqr_binary64`
491×	`associate-/r*_binary64`
475×	`fabs-mul_binary64`
360×	`associate-/l*_binary64`
346×	`times-frac_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	18
1	27	18
2	63	18
3	86	18
4	110	18
5	163	18
6	285	18
7	674	18
8	2124	18
9	2067	18
10	2395	18
11	3858	18
12	4188	18
13	5033	18

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

Alt Table

Status	Error	Program
▶	0.0b	(.f64 (.f64 1/2 (sin.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

Compiler

Compiled 39 to 30 computations (23.1% saved)

localize8.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

rewrite17.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

6×	`add-cbrt-cube_binary64`
6×	`add-exp-log_binary64`
6×	`pow1_binary64`
4×	`associate-r_binary64`
4×	`*-un-lft-identity_binary64`

Counts

1 → 23

Calls

1 calls:

7.0ms

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

Compiler

Compiled 430 to 152 computations (64.7% saved)

series32.0ms (0.6%)

Error

0.0b

Counts

1 → 12

Calls

1 calls:

25.0ms

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

Compiler

Compiled 607 to 397 computations (34.6% saved)

simplify101.0ms (2%)

Algorithm

1×	egg-herbie

Rules

405×	`times-frac_binary64`
376×	`*-commutative_binary64`
334×	`distribute-rgt-in_binary64`
308×	`distribute-lft-in_binary64`
261×	`sub-neg_binary64`

Counts

35 → 25

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	122	977
1	347	822
2	1239	793
3	3208	743
4	4753	743
5	4998	743
6	4923	743

prune12.0ms (0.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	24	1	25
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	25	1	26

Error

Counts

26 → 1

Alt Table

Status	Error	Program
▶	0b	(+.f64 (/.f64 (.f64 1/2 (sin.f64 re)) (exp.f64 im)) (.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re))))

Compiler

Compiled 385 to 177 computations (54% saved)

localize9.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite28.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

12×	`add-cbrt-cube_binary64`
8×	`add-exp-log_binary64`
7×	`pow1_binary64`
5×	`*-un-lft-identity_binary64`
5×	`add-sqr-sqrt_binary64`

Counts

2 → 39

Calls

2 calls:

5.0ms	(.f64 (exp.f64 im) (.f64 1/2 (sin.f64 re)))
4.0ms	(/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im))

Compiler

Compiled 776 to 380 computations (51% saved)

series58.0ms (1.2%)

Error

Counts

2 → 24

Calls

2 calls:

24.0ms	(.f64 (exp.f64 im) (.f64 1/2 (sin.f64 re)))
22.0ms	(/.f64 (*.f64 1/2 (sin.f64 re)) (exp.f64 im))

Compiler

Compiled 1160 to 719 computations (38% saved)

simplify68.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

650×	`associate-l_binary64`
491×	`associate-r_binary64`
396×	`associate-/l*_binary64`
236×	`times-frac_binary64`
235×	`distribute-lft-out_binary64`

Counts

63 → 43

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	124	1138
1	348	983
2	1101	955
3	3770	926
4	5124	926

prune24.0ms (0.5%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	43	0	43
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	43	1	44

Error

Counts

44 → 1

Alt Table

Status	Error	Program
	0b	(+.f64 (/.f64 (.f64 1/2 (sin.f64 re)) (exp.f64 im)) (.f64 (exp.f64 im) (*.f64 1/2 (sin.f64 re))))

Compiler

Compiled 728 to 383 computations (47.4% saved)

regimes97.0ms (2%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Compiler

Compiled 1146 to 808 computations (29.5% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`
1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	24
1	13	24
2	13	24

end1.0ms (0%)

Compiler: Compiled 17 to 11 computations (35.3% saved)

sample3.7s (75.1%)

Algorithm

1×

intervals

Results

1.1s	1992×	body	1024	valid
754.0ms	1883×	body	1024	invalid
386.0ms	4515×	body	128	valid
311.0ms	996×	body	512	valid
276.0ms	1000×	body	512	invalid
221.0ms	2640×	body	128	invalid
85.0ms	475×	body	256	invalid
77.0ms	492×	body	256	valid
6.0ms	5×	body	2048	valid

Compiler

Compiled 51 to 36 computations (29.4% saved)

Details

analyze574.0ms (11.6%)

sample114.0ms (2.3%)

simplify80.0ms (1.6%)

prune3.0ms (0.1%)

localize8.0ms (0.2%)

rewrite17.0ms (0.4%)

series32.0ms (0.6%)

simplify101.0ms (2%)

prune12.0ms (0.2%)

localize9.0ms (0.2%)

rewrite28.0ms (0.6%)

series58.0ms (1.2%)

simplify68.0ms (1.4%)

prune24.0ms (0.5%)

regimes97.0ms (2%)

simplify7.0ms (0.1%)

end1.0ms (0%)

sample3.7s (75.1%)

Profiling