Details

analyze471.0ms (22.8%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
0%	0%	99.8%	0.2%	0%	0%	0%	1
0%	0%	99.8%	0.2%	0%	0%	0%	2
0%	0%	99.8%	0.2%	0%	0%	0%	3
0%	0%	99.8%	0.2%	0%	0%	0%	4
0%	0%	99.8%	0.2%	0%	0%	0%	5
0%	0%	99.8%	0.2%	0%	0%	0%	6
0%	0%	99.8%	0.2%	0%	0%	0%	7
0%	0%	99.8%	0.2%	0%	0%	0%	8
6.3%	6.2%	93.6%	0.2%	0%	0%	0%	9
9.4%	9.4%	90.4%	0.2%	0%	0%	0%	10
14.1%	14%	85.8%	0.2%	0%	0%	0%	11
19.6%	18.7%	76.8%	0.2%	4.3%	0%	0%	12

Compiler

Compiled 12 to 8 computations (33.3% saved)

sample1.0s (49.4%)

Results

820.0ms	8256×	body	256	valid
187.0ms	2005×	body	256	infinite

Bogosity

preprocess99.0ms (4.8%)

Algorithm

2×	egg-herbie

Rules

1572×	`rational_best_oopsla_all_46_json_45_simplify-49`
1384×	`rational_best_oopsla_all_46_json_45_simplify-23`
1116×	`rational_best_oopsla_all_46_json_45_simplify-10`
1030×	`rational_best_oopsla_all_46_json_45_simplify-7`
936×	`rational_best_oopsla_all_46_json_45_simplify-89`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	133
1	70	133
2	215	133
3	750	133
4	3296	133
5	7597	133
0	4	4
1	4	4

Stop Event

1×	unsound
1×	node limit

Calls

Call 1

Inputs
0
1
2
3

Outputs
0
1
2
1
3
0

Call 2

Inputs
(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))
(+.f64 (.f64 x.im y.im) (.f64 x.re y.re))
(+.f64 (.f64 y.re y.im) (.f64 x.im x.re))
(+.f64 (.f64 y.im x.re) (.f64 x.im y.re))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re x.im) (.f64 y.im y.re))
(+.f64 (.f64 x.re y.re) (.f64 x.im y.im))

Outputs
(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))
(+.f64 (.f64 x.im y.im) (.f64 x.re y.re))
(+.f64 (.f64 y.im x.im) (.f64 x.re y.re))
(+.f64 (.f64 y.re y.im) (.f64 x.im x.re))
(+.f64 (.f64 x.re x.im) (.f64 y.im y.re))
(+.f64 (.f64 y.im x.re) (.f64 x.im y.re))
(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))
(+.f64 (.f64 x.re x.im) (.f64 y.im y.re))
(+.f64 (.f64 x.re y.re) (.f64 x.im y.im))
(+.f64 (.f64 y.im x.im) (.f64 x.re y.re))

Symmetry

(sort x.re y.im)

(sort x.im y.re)

Compiler

Compiled 15 to 11 computations (26.7% saved)

simplify100.0ms (4.8%)

Algorithm

1×	egg-herbie

Rules

1524×	`rational_best_oopsla_all_46_json_45_simplify-10`
1452×	`rational_best_oopsla_all_46_json_45_simplify-30`
1420×	`rational_best_oopsla_all_46_json_45_simplify-72`
1078×	`rational_best_oopsla_all_46_json_45_simplify-89`
858×	`rational_best_oopsla_all_46_json_45_simplify-74`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	20	19
2	65	19
3	231	19
4	940	19
5	3636	19
6	6519	19

Stop Event

1×	node limit

Counts

1 → 1

Calls

Call 1

Inputs
(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))

Outputs
(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))

eval0.0ms (0%)

Compiler: Compiled 11 to 7 computations (36.4% saved)

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

Click to see full alt table

Status	Error	Program
▶	0.0b	(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))

Compiler

Compiled 11 to 7 computations (36.4% saved)

localize7.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))

Compiler

Compiled 21 to 7 computations (66.7% saved)

series3.0ms (0.2%)

Counts

1 → 48

Calls

12 calls:

Time	Variable		Point	Expression
0.0ms	x.im	@	0	(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))
0.0ms	x.re	@	0	(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))
0.0ms	x.re	@	inf	(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))
0.0ms	x.re	@	-inf	(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))
0.0ms	y.im	@	0	(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))

rewrite65.0ms (3.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1924×	`rational_best_oopsla_all_46_json-2`
1924×	`rational_best_oopsla_all_46_json-1`
1924×	`rational_best_oopsla_all_46_json-4`
1924×	`rational_best_oopsla_all_46_json-3`
678×	`rational_best_oopsla_all_46_json_45_simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	58	19
2	203	19
3	934	19
4	4226	19

Stop Event

1×	node limit

Counts

1 → 27

Calls

Call 1

Inputs
(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 x.re y.im) (.f64 x.im (neg.f64 y.re)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 x.im y.re) (.f64 x.re (neg.f64 y.im)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (.f64 (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (.f64 -1 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (/.f64 1 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (.f64 (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))) (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (/.f64 (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (.f64 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (/.f64 1 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)))) (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (.f64 (.f64 (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))) (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)))) (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))) (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (/.f64 1 (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))) (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (/.f64 (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))) (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (neg.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (/.f64 1 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)))) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))) (neg.f64 (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))) (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)))) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)))) (neg.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (/.f64 (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))) (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (.f64 -1 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 x.re y.im) (*.f64 x.im (neg.f64 y.re)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 x.im y.re) (*.f64 x.re (neg.f64 y.im)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) (*.f64 (/.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) (*.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (*.f64 -1 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) (/.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) (*.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) (/.f64 1 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) (*.f64 (/.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re))) (/.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) (*.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) (/.f64 (/.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re))) (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) (*.f64 (*.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) (/.f64 1 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)))) (/.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) (*.f64 (*.f64 (/.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re))) (/.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)))) (/.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re))) (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re))) (*.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) (/.f64 1 (/.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re))) (*.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) (/.f64 (/.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re))) (/.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (neg.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) (/.f64 1 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)))) (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re))) (neg.f64 (/.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re))) (/.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)))) (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (/.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)))) (neg.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) (/.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) (/.f64 (/.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re))) (/.f64 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)) (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re)))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 -1 (+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re))))))))

simplify106.0ms (5.1%)

Algorithm

1×	egg-herbie

Rules

1532×	`rational_best_oopsla_all_46_json_45_simplify-72`
1180×	`rational_best_oopsla_all_46_json_45_simplify-89`
1000×	`rational_best_oopsla_all_46_json_45_simplify-74`
872×	`rational_best_oopsla_all_46_json_45_simplify-24`
776×	`rational_best_oopsla_all_46_json_45_simplify-13`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	64	1289
1	238	1289
2	1234	1289
3	5842	1289

Stop Event

1×	node limit

Counts

75 → 32

Calls

Call 1

Inputs
(*.f64 y.re x.im)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(*.f64 x.re y.im)
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(*.f64 x.re y.im)
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(*.f64 y.re x.im)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(*.f64 x.re y.im)
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(*.f64 x.re y.im)
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(*.f64 x.re y.im)
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(*.f64 y.re x.im)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(*.f64 y.re x.im)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(*.f64 x.re y.im)
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(*.f64 y.re x.im)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(*.f64 y.re x.im)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(-.f64 (.f64 x.re y.im) (.f64 x.im (neg.f64 y.re)))
(-.f64 (.f64 x.im y.re) (.f64 x.re (neg.f64 y.im)))
(-.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 0)
(-.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (.f64 (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re))) 0))
(-.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (.f64 (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re)) 0))
(-.f64 0 (.f64 -1 (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re))))
(.f64 (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re)) 1)
(.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re))))
(.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (/.f64 1 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)))))
(.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (.f64 (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))) (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)))))
(.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (/.f64 (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)))))
(.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (.f64 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (/.f64 1 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)))) (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re)))))
(.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (.f64 (.f64 (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))) (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)))) (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re)))))
(.f64 1 (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re)))
(.f64 (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))) (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re)))
(.f64 (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))) (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (/.f64 1 (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))))))
(.f64 (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))) (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (/.f64 (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))) (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))))))
(.f64 -1 (neg.f64 (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re))))
(.f64 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (/.f64 1 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)))) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)))
(.f64 (neg.f64 (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re))) -1)
(.f64 (neg.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))) (neg.f64 (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re)))))
(.f64 (.f64 (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))) (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)))) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)))
(.f64 (neg.f64 (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)))) (neg.f64 (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re))))
(/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 1)
(/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))))
(/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (/.f64 (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))) (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)))))
(neg.f64 (.f64 -1 (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re))))

Outputs
(*.f64 y.re x.im)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(*.f64 x.re y.im)
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(*.f64 x.re y.im)
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(*.f64 y.re x.im)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(*.f64 x.re y.im)
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(*.f64 x.re y.im)
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(*.f64 x.re y.im)
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(*.f64 y.re x.im)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(*.f64 y.re x.im)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(*.f64 x.re y.im)
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 y.re x.im) (.f64 x.re y.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(*.f64 y.re x.im)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(*.f64 y.re x.im)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(-.f64 (.f64 x.re y.im) (.f64 x.im (neg.f64 y.re)))
(-.f64 (.f64 x.re y.im) (.f64 y.re (neg.f64 x.im)))
(-.f64 (.f64 x.im y.re) (.f64 x.re (neg.f64 y.im)))
(-.f64 (.f64 x.re y.im) (.f64 x.im (neg.f64 y.re)))
(-.f64 (.f64 x.re y.im) (.f64 y.re (neg.f64 x.im)))
(-.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 0)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(-.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (.f64 (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re))) 0))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(-.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (.f64 (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re)) 0))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(-.f64 0 (.f64 -1 (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re))))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(.f64 (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re)) 1)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re))))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (/.f64 1 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)))))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (.f64 (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))) (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)))))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (/.f64 (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)))))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (.f64 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (/.f64 1 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)))) (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re)))))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (.f64 (.f64 (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))) (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)))) (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re)))))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(.f64 1 (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re)))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(.f64 (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))) (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re)))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(.f64 (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))) (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (/.f64 1 (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))))))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(.f64 (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))) (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (/.f64 (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))) (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))))))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(.f64 -1 (neg.f64 (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re))))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(.f64 (.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (/.f64 1 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)))) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(.f64 (neg.f64 (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re))) -1)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(.f64 (neg.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))) (neg.f64 (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re)))))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(.f64 (.f64 (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))) (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)))) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(.f64 (neg.f64 (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)))) (neg.f64 (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re))))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) 1)
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (/.f64 (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re))) (/.f64 (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)) (+.f64 (.f64 x.re y.im) (.f64 x.im y.re)))))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))
(neg.f64 (.f64 -1 (+.f64 (.f64 x.re y.im) (*.f64 x.im y.re))))
(+.f64 (.f64 x.re y.im) (.f64 y.re x.im))

eval4.0ms (0.2%)

Compiler: Compiled 684 to 81 computations (88.2% saved)

prune5.0ms (0.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	30	2	32
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	30	3	33

Error

0.0b

Counts

33 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))
▶	31.4b	(*.f64 y.re x.im)
▶	30.1b	(*.f64 x.re y.im)

Compiler

Compiled 25 to 17 computations (32% saved)

localize4.0ms (0.2%)

Compiler: Compiled 9 to 5 computations (44.4% saved)

localize4.0ms (0.2%)

Compiler: Compiled 9 to 5 computations (44.4% saved)

eval0.0ms (0%)

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

prune1.0ms (0.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

0.0b

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))
✓	31.4b	(*.f64 y.re x.im)
✓	30.1b	(*.f64 x.re y.im)

Compiler

Compiled 25 to 17 computations (32% saved)

regimes25.0ms (1.2%)

Counts

3 → 1

Calls

Call 1

Inputs
(*.f64 x.re y.im)
(*.f64 y.re x.im)
(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))

Outputs
(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))

Calls

7 calls:

4.0ms	y.re
3.0ms	(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))
3.0ms	x.re
3.0ms	x.im
3.0ms	y.im

Results

Error	Segments	Branch
0.0b	1	`x.re`
0.0b	1	`x.im`
0.0b	1	`y.re`
0.0b	1	`y.im`
0.0b	1	`(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))`
0.0b	1	`(*.f64 x.re y.im)`
0.0b	1	`(*.f64 x.im y.re)`

Compiler

Compiled 62 to 41 computations (33.9% saved)

regimes71.0ms (3.4%)

Accuracy

Total -49.3b remaining (-439.9%)

Threshold costs -49.3b (-439.9%)

Counts

2 → 5

Calls

Call 1

Inputs
(*.f64 x.re y.im)
(*.f64 y.re x.im)

Outputs
(*.f64 x.re y.im)
(*.f64 y.re x.im)
(*.f64 x.re y.im)
(*.f64 y.re x.im)
(*.f64 x.re y.im)

Calls

5 calls:

18.0ms	x.im
15.0ms	(*.f64 x.re y.im)
13.0ms	x.re
13.0ms	y.re
11.0ms	y.im

Results

Error	Segments	Branch
16.6b	5	`x.re`
17.2b	5	`x.im`
18.0b	5	`y.re`
17.0b	3	`y.im`
11.2b	5	`(*.f64 x.re y.im)`

Compiler

Compiled 37 to 27 computations (27% saved)

bsearch50.0ms (2.4%)

Algorithm

4×	binary-search

Steps

Time	Left	Right
10.0ms	1.2980548495393155e+53	1.7530729833667823e+55
14.0ms	1.6657988243592655e-5	4198.23851300136
12.0ms	9.54415182644179e-63	3.627045056437141e-59
14.0ms	-1.5318156469982928e-11	-2.8102195377917873e-19

Results

45.0ms

528×

body

256

valid

Compiler

Compiled 480 to 376 computations (21.7% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	121

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs

(+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re))

(if (<=.f64 (*.f64 x.re y.im) -2281771080410813/5070602400912917605986812821504) (*.f64 x.re y.im) (if (<=.f64 (*.f64 x.re y.im) 5644864350319165/28948022309329048855892746252171976963317496166410141009864396001978282409984) (*.f64 y.re x.im) (if (<=.f64 (*.f64 x.re y.im) 1150) (*.f64 x.re y.im) (if (<=.f64 (*.f64 x.re y.im) 145000000000000009650861524061763039817404206324645888) (*.f64 y.re x.im) (*.f64 x.re y.im)))))

(*.f64 x.re y.im)

Outputs

(+.f64 (*.f64 x.re y.im) (*.f64 x.im y.re))

(if (<=.f64 (*.f64 x.re y.im) -2281771080410813/5070602400912917605986812821504) (*.f64 x.re y.im) (if (<=.f64 (*.f64 x.re y.im) 5644864350319165/28948022309329048855892746252171976963317496166410141009864396001978282409984) (*.f64 y.re x.im) (if (<=.f64 (*.f64 x.re y.im) 1150) (*.f64 x.re y.im) (if (<=.f64 (*.f64 x.re y.im) 145000000000000009650861524061763039817404206324645888) (*.f64 y.re x.im) (*.f64 x.re y.im)))))

(*.f64 x.re y.im)

Compiler

Compiled 61 to 30 computations (50.8% saved)

soundness0.0ms (0%)

end25.0ms (1.2%)

Remove

(sort x.im y.re)

(sort x.re y.im)

Compiler

Compiled 97 to 48 computations (50.5% saved)

Details

analyze471.0ms (22.8%)

sample1.0s (49.4%)

preprocess99.0ms (4.8%)

simplify100.0ms (4.8%)

eval0.0ms (0%)

prune1.0ms (0%)

localize7.0ms (0.3%)

series3.0ms (0.2%)

rewrite65.0ms (3.1%)

simplify106.0ms (5.1%)

eval4.0ms (0.2%)

prune5.0ms (0.3%)

localize4.0ms (0.2%)

localize4.0ms (0.2%)

eval0.0ms (0%)

prune1.0ms (0.1%)

regimes25.0ms (1.2%)

regimes71.0ms (3.4%)

bsearch50.0ms (2.4%)

simplify3.0ms (0.1%)

soundness0.0ms (0%)

end25.0ms (1.2%)

Profiling