Details

analyze462.0ms (8.5%)

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
50%	50%	0.1%	5
50%	50%	0.1%	6
50%	37.5%	12.6%	7
50%	37.5%	12.6%	8
50%	31.2%	18.8%	9
50%	31.2%	18.8%	10
50%	28.1%	22%	11
50%	28.1%	22%	12
50%	26.5%	23.5%	13
50%	26.5%	23.5%	14

Compiler

Compiled 14 to 11 computations (21.4% saved)

sample4.2s (77.5%)

Results

1.3s	2093×	body	1024	valid
1.1s	2019×	body	1024	invalid
589.0ms	4576×	body	128	valid
385.0ms	1059×	body	512	valid
352.0ms	1071×	body	512	invalid
126.0ms	515×	body	256	invalid
117.0ms	523×	body	256	valid
94.0ms	711×	body	128	invalid
6.0ms	5×	body	2048	valid

Compiler

Compiled 41 to 32 computations (22% saved)

simplify37.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

529×	`associate-/l*_binary64`
430×	`unswap-sqr_binary64`
374×	`times-frac_binary64`
351×	`fma-def_binary64`
340×	`associate-/r/_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	11	18
1	28	18
2	70	18
3	134	17
4	194	17
5	347	17
6	783	17
7	1356	17
8	3975	17
9	4498	17

Stop Event

1×	node limit

Counts

1 → 2

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 50 to 35 computations (30% saved)

localize8.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

series15.0ms (0.3%)

Counts

1 → 24

Calls

1 calls:

14.0ms

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

rewrite30.0ms (0.6%)

Algorithm

1×	egg-rewrite
1×	batch-egg-rewrite

Rules

119×	`add-sqr-sqrt_binary64`
112×	`log1p-expm1-u_binary64`
112×	`expm1-log1p-u_binary64`
111×	`add-cbrt-cube_binary64`
111×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	18
1	233	18
2	3740	18
0	11	18

Stop Event

1×	iter limit
1×	unsound

Counts

1 → 8

Calls

1 calls:

30.0ms

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

simplify31.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

705×	`fma-neg_binary64`
403×	`fma-def_binary64`
241×	`sub-neg_binary64`
179×	`distribute-rgt-neg-in_binary64`
175×	`distribute-rgt-out_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	68	585
1	196	533
2	623	517
3	2802	476

Stop Event

1×	node limit

Counts

32 → 26

prune21.0ms (0.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

0.0b

Counts

27 → 2

Alt Table

Status	Error	Program
✓	0.0b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
▶	0.6b	(cbrt.f64 (.f64 (.f64 (.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))) (.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))

Status

Error

Program

✓

0.0b

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

▶

0.6b

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

Compiler

Compiled 602 to 303 computations (49.7% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
✓	0.1b	(.f64 (.f64 (.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))) (.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
✓	0.2b	(.f64 (.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (.f64 1/2 (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
✓	0.6b	(cbrt.f64 (.f64 (.f64 (.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))) (.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))

series115.0ms (2.1%)

Counts

4 → 96

Calls

4 calls:

46.0ms	(.f64 (.f64 (.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))) (.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
42.0ms	(.f64 (.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (.f64 1/2 (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
14.0ms	(cbrt.f64 (.f64 (.f64 (.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))) (.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))
12.0ms	(*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))

rewrite144.0ms (2.7%)

Algorithm

8×	egg-rewrite
1×	batch-egg-rewrite

Rules

146×	`associate-r_binary64`
138×	`add-sqr-sqrt_binary64`
132×	`add-cbrt-cube_binary64`
132×	`log1p-expm1-u_binary64`
132×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	72
1	293	72
2	4549	72
0	14	18
1	293	18
2	4549	18
0	14	18
0	12	21
1	258	21
2	4200	21
0	12	21
0	13	21
1	277	21
2	4497	21
0	13	21
0	9	15
1	190	15
2	3165	15
0	9	15

Stop Event

1×	iter limit
1×	unsound
1×	iter limit
1×	unsound
1×	iter limit
1×	unsound
1×	iter limit
1×	unsound
1×	unsound

Counts

4 → 35

Calls

4 calls:

143.0ms	(*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
143.0ms	(.f64 (.f64 (.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))) (.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
143.0ms	(.f64 (.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (.f64 1/2 (*.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))))
143.0ms	(cbrt.f64 (.f64 (.f64 (.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))) (.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))

simplify65.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

917×	`cancel-sign-sub-inv_binary64`
429×	`fma-def_binary64`
351×	`associate-r_binary64`
284×	`unswap-sqr_binary64`
248×	`fma-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	286	3152
1	971	2855
2	3595	2767

Stop Event

1×	node limit

Counts

131 → 102

prune141.0ms (2.6%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

0.0b

Counts

152 → 2

Alt Table

Status	Error	Program
✓	0.0b	(.f64 (.f64 1/2 (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
✓	0.6b	(cbrt.f64 (.f64 (.f64 (.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))) (.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))) (.f64 1/2 (.f64 (cos.f64 re) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))))))

Status

Error

Program

✓

0.0b

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

✓

0.6b

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

Compiler

Compiled 6240 to 2740 computations (56.1% saved)

regimes87.0ms (1.6%)

Accuracy

Total 0.0b remaining (22.7%)

Threshold costs 0.0b (22.7%)

Counts

13 → 1

Compiler

Compiled 1298 to 872 computations (32.8% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
2×	`+-commutative_binary64`
1×	`sub-neg_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	18
1	18	18
2	20	18
3	21	18

Stop Event

1×

saturated

end52.0ms (1%)

Compiler: Compiled 77 to 47 computations (39% saved)

Details

analyze462.0ms (8.5%)

sample4.2s (77.5%)

simplify37.0ms (0.7%)

prune2.0ms (0%)

localize8.0ms (0.1%)

series15.0ms (0.3%)

rewrite30.0ms (0.6%)

simplify31.0ms (0.6%)

prune21.0ms (0.4%)

localize11.0ms (0.2%)

series115.0ms (2.1%)

rewrite144.0ms (2.7%)

simplify65.0ms (1.2%)

prune141.0ms (2.6%)

regimes87.0ms (1.6%)

simplify2.0ms (0%)

end52.0ms (1%)

Profiling