Details

analyze204.0ms (5.1%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
50%	50%	50%	0.1%	0%	0%	0%	5
50%	50%	50%	0.1%	0%	0%	0%	6
57.1%	50%	37.5%	0.1%	12.5%	0%	0%	7
57.1%	50%	37.5%	0.1%	12.5%	0%	0%	8
61.5%	50%	31.2%	0.1%	18.7%	0%	0%	9
61.5%	50%	31.2%	0.1%	18.7%	0%	0%	10
64%	50%	28.1%	0.1%	21.9%	0%	0%	11
64%	50%	28.1%	0.1%	21.9%	0%	0%	12

Compiler

Compiled 14 to 11 computations (21.4% saved)

sample3.5s (88.6%)

Results

959.0ms	5279×	body	256	valid
936.0ms	1969×	body	1024	valid
857.0ms	1955×	body	1024	infinite
319.0ms	1006×	body	512	valid
259.0ms	1011×	body	512	infinite
194.0ms	1484×	body	256	infinite
1.0ms	2×	body	2048	valid

Bogosity

preprocess122.0ms (3%)

Algorithm

2×	egg-herbie

Rules

1424×	`times-frac`
1136×	`fma-def`
838×	`associate-r`
824×	`sqr-pow`
632×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	70
1	51	70
2	128	70
3	217	66
4	410	66
5	771	66
6	1605	66
7	2662	66
8	3700	66
9	4436	66
10	5063	66
11	6071	66
12	7652	66
0	2	2

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

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

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

Compiler

Compiled 15 to 12 computations (20% saved)

simplify96.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

1068×	`associate-/l*`
904×	`unswap-sqr`
890×	`fma-def`
728×	`associate-*r/`
712×	`associate-/r/`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	13	35
1	30	35
2	70	35
3	113	33
4	212	33
5	392	33
6	823	33
7	1357	33
8	3918	33
9	4348	33
10	5453	33
11	6144	33
12	7172	33

Stop Event

1×	node limit

Counts

1 → 3

Calls

Call 1

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

Outputs

(*.f64 (*.f64 1/2 (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 (cos.f64 re) (fma.f64 1/2 (exp.f64 im) (/.f64 1/2 (exp.f64 im))))

eval1.0ms (0%)

Compiler: Compiled 35 to 18 computations (48.6% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

Counts

4 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 13 to 10 computations (23.1% saved)

localize13.0ms (0.3%)

Compiler: Compiled 35 to 13 computations (62.9% saved)

eval0.0ms (0%)

Compiler: Compiled 2 to 2 computations (0% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (0 fresh and 1 done)

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

Error

Counts

1 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 26 to 20 computations (23.1% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative`
4×	`+-commutative`
2×	`sub-neg`
2×	`neg-mul-1`
2×	`neg-sub0`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	35
1	20	35
2	22	35
3	23	35

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 13 to 10 computations (23.1% saved)

soundness0.0ms (0%)

end14.0ms (0.4%)

Compiler: Compiled 13 to 10 computations (23.1% saved)

Details

analyze204.0ms (5.1%)

sample3.5s (88.6%)

preprocess122.0ms (3%)

simplify96.0ms (2.4%)

eval1.0ms (0%)

prune1.0ms (0%)

localize13.0ms (0.3%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify4.0ms (0.1%)

soundness0.0ms (0%)

end14.0ms (0.4%)

Profiling