Details

analyze194.0ms (5.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
50%	50%	0.1%	2
50%	50%	0.1%	3
74.9%	25%	0.1%	4
74.9%	25%	0.1%	5
74.9%	18.7%	6.3%	6
74.9%	18.7%	6.3%	7
74.9%	15.6%	9.5%	8
74.9%	15.6%	9.5%	9
74.9%	14%	11%	10
74.9%	14%	11%	11
74.9%	13.3%	11.8%	12
74.9%	13.3%	11.8%	13
74.9%	12.9%	12.2%	14

Compiler

Compiled 8 to 6 computations (25% saved)

sample2.0s (56.2%)

Results

668.0ms	1355×	body	1024	valid
623.0ms	5813×	body	128	valid
301.0ms	707×	body	1024	invalid
203.0ms	732×	body	512	valid
94.0ms	365×	body	512	invalid
64.0ms	349×	body	256	valid
26.0ms	140×	body	256	invalid
22.0ms	200×	body	128	invalid
7.0ms	7×	body	2048	valid

Compiler

Compiled 16 to 12 computations (25% saved)

preprocess14.0ms (0.4%)

Algorithm

2×	egg-herbie

Rules

2×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	16
1	11	16
0	2	2

Stop Event

1×	saturated
1×	saturated

Compiler

Compiled 7 to 5 computations (28.6% saved)

simplify6.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	7	8

Stop Event

1×

saturated

Counts

1 → 1

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) (cos.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) (cos.f64 im))

series9.0ms (0.3%)

Counts

1 → 8

Calls

6 calls:

4.0ms	(*.f64 (exp.f64 re) (cos.f64 im))	re	-inf
1.0ms	(*.f64 (exp.f64 re) (cos.f64 im))	re	inf
1.0ms	(*.f64 (exp.f64 re) (cos.f64 im))	re	0
1.0ms	(*.f64 (exp.f64 re) (cos.f64 im))	im	0
1.0ms	(*.f64 (exp.f64 re) (cos.f64 im))	im	-inf

rewrite28.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

530×	`pow1_binary64`
483×	`add-log-exp_binary64`
483×	`log1p-expm1-u_binary64`
483×	`expm1-log1p-u_binary64`
471×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	113	8
2	1324	8

Stop Event

1×	node limit

Counts

1 → 13

simplify25.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

767×	`fma-neg_binary64`
720×	`fma-def_binary64`
541×	`cancel-sign-sub-inv_binary64`
293×	`distribute-rgt-neg-in_binary64`
237×	`distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	38	166
1	107	160
2	307	142
3	1089	122
4	3080	119

Stop Event

1×	node limit

Counts

21 → 27

prune18.0ms (0.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	25	2	27
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	25	3	28

Error

0.0b

Counts

28 → 3

Alt Table

Status	Error	Program
	0.7b	(log.f64 (pow.f64 (exp.f64 (exp.f64 re)) (cos.f64 im)))
▶	0.3b	(log1p.f64 (expm1.f64 (*.f64 (exp.f64 re) (cos.f64 im))))
✓	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))

Compiler

Compiled 338 to 186 computations (45% saved)

localize6.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))
✓	0.1b	(log1p.f64 (expm1.f64 (*.f64 (exp.f64 re) (cos.f64 im))))
✓	0.4b	(expm1.f64 (*.f64 (exp.f64 re) (cos.f64 im)))

series22.0ms (0.6%)

Counts

2 → 48

Calls

12 calls:

3.0ms	(expm1.f64 (*.f64 (exp.f64 re) (cos.f64 im)))	im	0
3.0ms	(expm1.f64 (*.f64 (exp.f64 re) (cos.f64 im)))	re	inf
3.0ms	(expm1.f64 (*.f64 (exp.f64 re) (cos.f64 im)))	re	0
2.0ms	(expm1.f64 (*.f64 (exp.f64 re) (cos.f64 im)))	re	-inf
2.0ms	(expm1.f64 (*.f64 (exp.f64 re) (cos.f64 im)))	im	-inf

rewrite39.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

611×	`pow1_binary64`
559×	`expm1-log1p-u_binary64`
558×	`add-log-exp_binary64`
558×	`log1p-expm1-u_binary64`
66×	`*-un-lft-identity_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	18
1	135	18
2	1534	18

Stop Event

1×	node limit

Counts

2 → 46

simplify28.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

790×	`associate-r_binary64`
354×	`associate-+l+_binary64`
288×	`*-commutative_binary64`
264×	`associate-+r+_binary64`
195×	`distribute-rgt-out_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	106	904
1	348	816
2	1248	760

Stop Event

1×	node limit

Counts

94 → 78

prune56.0ms (1.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	105	0	105
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	105	3	108

Error

0.0b

Counts

108 → 3

Alt Table

Status	Error	Program
▶	0.7b	(log.f64 (pow.f64 (exp.f64 (exp.f64 re)) (cos.f64 im)))
✓	0.3b	(log1p.f64 (expm1.f64 (*.f64 (exp.f64 re) (cos.f64 im))))
✓	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))

Compiler

Compiled 1627 to 755 computations (53.6% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(exp.f64 (exp.f64 re))
✓	0.1b	(pow.f64 (exp.f64 (exp.f64 re)) (cos.f64 im))
✓	0.3b	(log.f64 (pow.f64 (exp.f64 (exp.f64 re)) (cos.f64 im)))

series872.0ms (24.2%)

Counts

3 → 52

Calls

15 calls:

162.0ms	(log.f64 (pow.f64 (exp.f64 (exp.f64 re)) (cos.f64 im)))	re	inf
147.0ms	(log.f64 (pow.f64 (exp.f64 (exp.f64 re)) (cos.f64 im)))	im	-inf
146.0ms	(log.f64 (pow.f64 (exp.f64 (exp.f64 re)) (cos.f64 im)))	re	-inf
143.0ms	(log.f64 (pow.f64 (exp.f64 (exp.f64 re)) (cos.f64 im)))	im	inf
69.0ms	(pow.f64 (exp.f64 (exp.f64 re)) (cos.f64 im))	re	-inf

rewrite42.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

705×	`pow1_binary64`
645×	`add-log-exp_binary64`
645×	`log1p-expm1-u_binary64`
645×	`expm1-log1p-u_binary64`
77×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	23
1	152	23
2	1788	23

Stop Event

1×	node limit

Counts

3 → 66

simplify44.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

883×	`fma-neg_binary64`
349×	`*-commutative_binary64`
265×	`associate-+l+_binary64`
244×	`sub-neg_binary64`
223×	`associate-+r+_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	109	948
1	346	864
2	1231	801
3	3607	799

Stop Event

1×	node limit

Counts

118 → 103

prune55.0ms (1.5%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	103	0	103
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	103	3	106

Error

0.0b

Counts

106 → 3

Alt Table

Status	Error	Program
✓	0.7b	(log.f64 (pow.f64 (exp.f64 (exp.f64 re)) (cos.f64 im)))
✓	0.3b	(log1p.f64 (expm1.f64 (*.f64 (exp.f64 re) (cos.f64 im))))
✓	0.0b	(*.f64 (exp.f64 re) (cos.f64 im))

Compiler

Compiled 1545 to 687 computations (55.5% saved)

regimes64.0ms (1.8%)

Accuracy

Total 0.0b remaining (30.4%)

Threshold costs 0.0b (30.4%)

Counts

16 → 1

Compiler

Compiled 697 to 510 computations (26.8% 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

Stop Event

1×

saturated

end46.0ms (1.3%)

Stop Event

1×

done

Compiler

Compiled 39 to 29 computations (25.6% saved)

Details

analyze194.0ms (5.4%)

sample2.0s (56.2%)

preprocess14.0ms (0.4%)

simplify6.0ms (0.2%)

prune1.0ms (0%)

localize4.0ms (0.1%)

series9.0ms (0.3%)

rewrite28.0ms (0.8%)

simplify25.0ms (0.7%)

prune18.0ms (0.5%)

localize6.0ms (0.2%)

series22.0ms (0.6%)

rewrite39.0ms (1.1%)

simplify28.0ms (0.8%)

prune56.0ms (1.5%)

localize7.0ms (0.2%)

series872.0ms (24.2%)

rewrite42.0ms (1.2%)

simplify44.0ms (1.2%)

prune55.0ms (1.5%)

regimes64.0ms (1.8%)

simplify2.0ms (0%)

end46.0ms (1.3%)

Profiling