Details

analyze1.1s (16.4%)

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
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
12.5%	87.4%	0.1%	6
12.5%	85.9%	1.7%	7
18.7%	78.8%	2.4%	8
18.7%	77.7%	3.6%	9
21.9%	74%	4.2%	10
21.9%	73.3%	4.9%	11
23.4%	71.4%	5.2%	12
23.4%	71%	5.6%	13
24.2%	70%	5.8%	14

Compiler

Compiled 8 to 6 computations (25% saved)

sample5.2s (76.3%)

Results

3.1s	1360×	body	8192	exit
751.0ms	1396×	body	1024	valid
741.0ms	5841×	body	128	valid
238.0ms	695×	body	512	valid
165.0ms	358×	body	1024	invalid
75.0ms	321×	body	256	valid
56.0ms	180×	body	512	invalid
19.0ms	141×	body	128	invalid
15.0ms	76×	body	256	invalid
4.0ms	3×	body	2048	valid

Compiler

Compiled 15 to 11 computations (26.7% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	7	8
2	7	8

prune1.0ms (0%)

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

Error

0.0b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.0b	(*.f64 (exp.f64 re) (sin.f64 im))

Compiler

Compiled 21 to 15 computations (28.6% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (exp.f64 re) (sin.f64 im))

series8.0ms (0.1%)

Counts

1 → 8

Calls

1 calls:

8.0ms

(*.f64 (exp.f64 re) (sin.f64 im))

rewrite5.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`add-sqr-sqrt_binary64`
3×	`associate-r_binary64`
3×	`associate-l_binary64`
3×	`*-un-lft-identity_binary64`
3×	`add-cube-cbrt_binary64`

Counts

1 → 20

Calls

1 calls:

4.0ms

(*.f64 (exp.f64 re) (sin.f64 im))

simplify68.0ms (1%)

Algorithm

1×	egg-herbie

Rules

963×	`fma-neg_binary64`
601×	`cancel-sign-sub-inv_binary64`
423×	`unswap-sqr_binary64`
355×	`distribute-rgt-neg-in_binary64`
283×	`*-commutative_binary64`

Counts

28 → 44

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	69	408
1	185	370
2	527	349
3	1418	335
4	2537	333
5	4402	333
6	4955	333

prune23.0ms (0.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

Counts

45 → 2

Alt Table

Status	Error	Program
▶	19.8b	(+.f64 (.f64 1/2 (.f64 (pow.f64 re 2) (sin.f64 im))) (+.f64 (*.f64 re (sin.f64 im)) (sin.f64 im)))
✓	0.0b	(*.f64 (exp.f64 re) (sin.f64 im))

Compiler

Compiled 544 to 208 computations (61.8% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 1/2 (.f64 (pow.f64 re 2) (sin.f64 im)))
✓	0.0b	(+.f64 (*.f64 re (sin.f64 im)) (sin.f64 im))
✓	0.1b	(*.f64 re (sin.f64 im))
✓	0.8b	(*.f64 (pow.f64 re 2) (sin.f64 im))

series42.0ms (0.6%)

Counts

4 → 19

Calls

4 calls:

15.0ms	(.f64 1/2 (.f64 (pow.f64 re 2) (sin.f64 im)))
12.0ms	(*.f64 (pow.f64 re 2) (sin.f64 im))
8.0ms	(+.f64 (*.f64 re (sin.f64 im)) (sin.f64 im))
7.0ms	(*.f64 re (sin.f64 im))

rewrite21.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`add-exp-log_binary64`
18×	`add-sqr-sqrt_binary64`
14×	`associate-l_binary64`
13×	`add-cbrt-cube_binary64`
11×	`*-un-lft-identity_binary64`

Counts

4 → 86

Calls

4 calls:

6.0ms	(*.f64 (pow.f64 re 2) (sin.f64 im))
5.0ms	(.f64 1/2 (.f64 (pow.f64 re 2) (sin.f64 im)))
4.0ms	(+.f64 (*.f64 re (sin.f64 im)) (sin.f64 im))
3.0ms	(*.f64 re (sin.f64 im))

simplify97.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

493×	`cancel-sign-sub-inv_binary64`
451×	`*-commutative_binary64`
408×	`sub-neg_binary64`
380×	`distribute-rgt-neg-in_binary64`
227×	`associate-r_binary64`

Counts

105 → 154

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	180	1587
1	486	1415
2	1675	1358
3	3892	1358
4	4726	1358
5	4929	1358

prune98.0ms (1.4%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

156 → 2

Alt Table

Status	Error	Program
✓	19.8b	(+.f64 (.f64 1/2 (.f64 (pow.f64 re 2) (sin.f64 im))) (+.f64 (*.f64 re (sin.f64 im)) (sin.f64 im)))
✓	0.0b	(*.f64 (exp.f64 re) (sin.f64 im))

Compiler

Compiled 3589 to 1664 computations (53.6% saved)

regimes76.0ms (1.1%)

Accuracy

Total 0.0b remaining (40%)

Threshold costs 0.0b (40%)

Counts

15 → 1

Compiler

Compiled 1077 to 695 computations (35.5% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	7	8
2	7	8

end38.0ms (0.6%)

Compiler: Compiled 39 to 26 computations (33.3% saved)

Details

analyze1.1s (16.4%)

sample5.2s (76.3%)

simplify6.0ms (0.1%)

prune1.0ms (0%)

localize4.0ms (0.1%)

series8.0ms (0.1%)

rewrite5.0ms (0.1%)

simplify68.0ms (1%)

prune23.0ms (0.3%)

localize9.0ms (0.1%)

series42.0ms (0.6%)

rewrite21.0ms (0.3%)

simplify97.0ms (1.4%)

prune98.0ms (1.4%)

regimes76.0ms (1.1%)

simplify2.0ms (0%)

end38.0ms (0.6%)

Profiling