Details

analyze267.0ms (10.7%)

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
13%	12.5%	83.4%	0.2%	3.9%	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)

sample953.0ms (38.3%)

Results

757.0ms	8256×	body	256	valid
183.0ms	1998×	body	256	infinite

Bogosity

preprocess6.0ms (0.3%)

Algorithm

2×	egg-herbie

Rules

12×	`rational.json-simplify-2`
12×	`rational.json-simplify-1`
2×	`swap-z-t`
2×	`swap-x-y`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	133
1	32	133
0	4	4
1	4	4

Stop Event

1×	unsound
1×	saturated

Calls

Call 1

Inputs
0
1
2
3

Outputs
0
1
0
2
3
2

Call 2

Inputs
(+.f64 (.f64 x y) (.f64 z t))
(+.f64 (.f64 y x) (.f64 z t))
(+.f64 (.f64 z y) (.f64 x t))
(+.f64 (.f64 t y) (.f64 z x))
(+.f64 (.f64 x z) (.f64 y t))
(+.f64 (.f64 x t) (.f64 z y))
(+.f64 (.f64 x y) (.f64 t z))

Outputs
(+.f64 (.f64 x y) (.f64 z t))
(+.f64 (.f64 y x) (.f64 z t))
(+.f64 (.f64 x y) (.f64 z t))
(+.f64 (.f64 z y) (.f64 x t))
(+.f64 (.f64 y z) (.f64 x t))
(+.f64 (.f64 t y) (.f64 z x))
(+.f64 (.f64 y t) (.f64 x z))
(+.f64 (.f64 x z) (.f64 y t))
(+.f64 (.f64 y t) (.f64 x z))
(+.f64 (.f64 x t) (.f64 z y))
(+.f64 (.f64 y z) (.f64 x t))
(+.f64 (.f64 x y) (.f64 t z))
(+.f64 (.f64 x y) (.f64 z t))

Symmetry

(sort x y)

(sort z t)

Compiler

Compiled 15 to 11 computations (26.7% saved)

simplify7.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

4×	`rational.json-simplify-2`
2×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	12	19

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

Inputs
(+.f64 (.f64 x y) (.f64 z t))

Outputs
(+.f64 (.f64 x y) (.f64 z t))

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 y) (.f64 z t))

Compiler

Compiled 11 to 7 computations (36.4% saved)

localize8.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 x y) (.f64 z t))

Compiler

Compiled 21 to 7 computations (66.7% saved)

series3.0ms (0.1%)

Counts

1 → 48

Calls

12 calls:

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

rewrite110.0ms (4.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1950×	`bool.json-1`
1344×	`rational.json-simplify-35`
1218×	`bool.json-2`
1188×	`rational.json-1`
1188×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	89	19
2	235	19
3	492	19
4	1018	19
5	2251	19
6	4657	19
7	7659	19

Stop Event

1×	node limit

Counts

1 → 20

Calls

Call 1

Inputs
(+.f64 (.f64 x y) (.f64 z t))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 x y) (.f64 z t)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 x y) (.f64 z t)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (+.f64 (.f64 x y) (.f64 z t)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (+.f64 (.f64 t (.f64 z 1/2)) (.f64 y (.f64 x 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (/.f64 (+.f64 (.f64 x y) (.f64 z t)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (+.f64 (.f64 z (+.f64 t t)) (.f64 x (+.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/4 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 (.f64 x y) (.f64 z t)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 x y) (.f64 z t)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 8))) (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (+.f64 (.f64 x y) (.f64 z t))))))) (#(struct:change #<rule egg-rr> (2) ((x and (+.f64 (.f64 x y) (.f64 z t)) (+.f64 (.f64 x y) (.f64 z t)))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 (.f64 x y) (.f64 z t)) (+.f64 (.f64 x y) (.f64 z t)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (*.f64 x y) (*.f64 z t)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (+.f64 (*.f64 t (*.f64 z 1/2)) (*.f64 y (*.f64 x 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (*.f64 z (+.f64 t t)) (*.f64 x (+.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 8))) (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (+.f64 (*.f64 x y) (*.f64 z t))))))) (#(struct:change #<rule egg-rr> (2) ((x and (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t)))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t)))))))

simplify990.0ms (39.8%)

Algorithm

1×	egg-herbie

Rules

5898×	`rational.json-simplify-51`
1986×	`rational.json-simplify-35`
1706×	`rational.json-simplify-2`
1162×	`rational.json-simplify-1`
1146×	`rational.json-simplify-49`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	60	1148
1	123	1148
2	290	1148
3	711	1148
4	1133	1148
5	2463	1148
6	3242	1148
7	3298	1148
8	3328	1148
9	3354	1148
10	3380	1148
11	3406	1148
12	3455	1148
13	3481	1148
14	3507	1148
15	3533	1148
16	3559	1148
17	3585	1148
18	3611	1148
19	4455	1148
20	4825	1148
21	4857	1148
22	4887	1148
23	4916	1148
24	4945	1148
25	4974	1148
26	5003	1148
27	5032	1148
28	5061	1148
29	5090	1148
30	5119	1148
31	5148	1148
32	5177	1148
33	5206	1148
34	5235	1148
35	5264	1148
36	5293	1148
37	5322	1148
38	5351	1148
39	5380	1148
40	5380	1148

Stop Event

1×	node limit

Counts

68 → 23

Calls

Call 1

Inputs
(*.f64 t z)
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(*.f64 y x)
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(*.f64 y x)
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(*.f64 t z)
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(*.f64 y x)
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(*.f64 y x)
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(*.f64 y x)
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(*.f64 t z)
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(*.f64 t z)
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(*.f64 y x)
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(*.f64 t z)
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(*.f64 t z)
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(-.f64 (+.f64 (.f64 x y) (.f64 z t)) 0)
(.f64 (+.f64 (.f64 x y) (*.f64 z t)) 1)
(.f64 1 (+.f64 (.f64 x y) (*.f64 z t)))
(.f64 2 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 1/2))
(.f64 2 (+.f64 (.f64 t (.f64 z 1/2)) (.f64 y (*.f64 x 1/2))))
(.f64 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 2) 1/2)
(.f64 4 (/.f64 (+.f64 (.f64 x y) (*.f64 z t)) 4))
(.f64 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 4) 1/4)
(.f64 1/2 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 2))
(.f64 1/2 (+.f64 (.f64 z (+.f64 t t)) (*.f64 x (+.f64 y y))))
(.f64 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 1/2) 2)
(.f64 1/4 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 4))
(.f64 (/.f64 (+.f64 (.f64 x y) (*.f64 z t)) 4) 4)
(/.f64 (+.f64 (.f64 x y) (.f64 z t)) 1)
(/.f64 (.f64 (+.f64 (.f64 x y) (*.f64 z t)) 2) 2)
(/.f64 (.f64 (+.f64 (.f64 x y) (*.f64 z t)) 4) 4)
(/.f64 (.f64 (+.f64 (.f64 x y) (*.f64 z t)) 8) 8)
(/.f64 (.f64 2 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x y) (*.f64 z t)) 8))) 32)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 8))) (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 8)))) 64)

Outputs
(*.f64 t z)
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(*.f64 y x)
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(*.f64 y x)
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(*.f64 t z)
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(*.f64 y x)
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(*.f64 y x)
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(*.f64 y x)
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(*.f64 t z)
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(*.f64 t z)
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(*.f64 y x)
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(*.f64 t z)
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(*.f64 t z)
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(+.f64 (.f64 y x) (.f64 t z))
(-.f64 (+.f64 (.f64 x y) (.f64 z t)) 0)
(+.f64 (.f64 y x) (.f64 t z))
(.f64 (+.f64 (.f64 x y) (*.f64 z t)) 1)
(+.f64 (.f64 y x) (.f64 t z))
(.f64 1 (+.f64 (.f64 x y) (*.f64 z t)))
(+.f64 (.f64 y x) (.f64 t z))
(.f64 2 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 1/2))
(+.f64 (.f64 y x) (.f64 t z))
(.f64 2 (+.f64 (.f64 t (.f64 z 1/2)) (.f64 y (*.f64 x 1/2))))
(+.f64 (.f64 y x) (.f64 t z))
(.f64 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 2) 1/2)
(+.f64 (.f64 y x) (.f64 t z))
(.f64 4 (/.f64 (+.f64 (.f64 x y) (*.f64 z t)) 4))
(+.f64 (.f64 y x) (.f64 t z))
(.f64 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 4) 1/4)
(+.f64 (.f64 y x) (.f64 t z))
(.f64 1/2 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 2))
(+.f64 (.f64 y x) (.f64 t z))
(.f64 1/2 (+.f64 (.f64 z (+.f64 t t)) (*.f64 x (+.f64 y y))))
(+.f64 (.f64 y x) (.f64 t z))
(.f64 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 1/2) 2)
(+.f64 (.f64 y x) (.f64 t z))
(.f64 1/4 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 4))
(+.f64 (.f64 y x) (.f64 t z))
(.f64 (/.f64 (+.f64 (.f64 x y) (*.f64 z t)) 4) 4)
(+.f64 (.f64 y x) (.f64 t z))
(/.f64 (+.f64 (.f64 x y) (.f64 z t)) 1)
(+.f64 (.f64 y x) (.f64 t z))
(/.f64 (.f64 (+.f64 (.f64 x y) (*.f64 z t)) 2) 2)
(+.f64 (.f64 y x) (.f64 t z))
(/.f64 (.f64 (+.f64 (.f64 x y) (*.f64 z t)) 4) 4)
(+.f64 (.f64 y x) (.f64 t z))
(/.f64 (.f64 (+.f64 (.f64 x y) (*.f64 z t)) 8) 8)
(+.f64 (.f64 y x) (.f64 t z))
(/.f64 (.f64 2 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 8)) 16)
(+.f64 (.f64 y x) (.f64 t z))
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x y) (*.f64 z t)) 8))) 32)
(+.f64 (.f64 y x) (.f64 t z))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 8))) (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 8)))) 64)
(+.f64 (.f64 y x) (.f64 t z))

eval4.0ms (0.2%)

Compiler: Compiled 257 to 107 computations (58.4% saved)

prune4.0ms (0.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	21	2	23
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	21	3	24

Error

0.0b

Counts

24 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (.f64 x y) (.f64 z t))
▶	30.3b	(*.f64 y x)
▶	31.2b	(*.f64 t z)

Compiler

Compiled 25 to 17 computations (32% saved)

localize4.0ms (0.1%)

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 y) (.f64 z t))
✓	30.3b	(*.f64 y x)
✓	31.2b	(*.f64 t z)

Compiler

Compiled 25 to 17 computations (32% saved)

regimes26.0ms (1%)

Counts

3 → 1

Calls

Call 1

Inputs
(*.f64 t z)
(*.f64 y x)
(+.f64 (.f64 x y) (.f64 z t))

Outputs
(+.f64 (.f64 x y) (.f64 z t))

Calls

7 calls:

4.0ms	z
4.0ms	(*.f64 x y)
3.0ms	(+.f64 (.f64 x y) (.f64 z t))
3.0ms	t
3.0ms	x

Results

Error	Segments	Branch
0.0b	1	`x`
0.0b	1	`y`
0.0b	1	`z`
0.0b	1	`t`
0.0b	1	`(+.f64 (.f64 x y) (.f64 z t))`
0.0b	1	`(*.f64 x y)`
0.0b	1	`(*.f64 z t)`

Compiler

Compiled 62 to 42 computations (32.3% saved)

regimes51.0ms (2%)

Accuracy

Total -45.5b remaining (-310.4%)

Threshold costs -45.5b (-310.4%)

Counts

2 → 3

Calls

Call 1

Inputs
(*.f64 t z)
(*.f64 y x)

Outputs
(*.f64 t z)
(*.f64 y x)
(*.f64 t z)

Calls

4 calls:

14.0ms	y
13.0ms	z
11.0ms	t
11.0ms	x

Results

Error	Segments	Branch
18.4b	3	`x`
16.6b	5	`y`
16.5b	5	`z`
14.6b	3	`t`

Compiler

Compiled 30 to 22 computations (26.7% saved)

bsearch23.0ms (0.9%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
10.0ms	7834483942455.18	109715296787704.75
13.0ms	-2.6032704710888764e-122	-6.440994241810654e-125

Results

20.0ms

224×

body

256

valid

Compiler

Compiled 242 to 181 computations (25.2% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	65

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs

(+.f64 (*.f64 x y) (*.f64 z t))

(if (<=.f64 t -7889398248994235/1488565707357402911845015158554633286356257506687627387456491927921949262056238946972039271861787782268441644249633132407878864135402815488) (*.f64 t z) (if (<=.f64 t 13500000000000) (*.f64 y x) (*.f64 t z)))

(*.f64 t z)

Outputs

(+.f64 (*.f64 x y) (*.f64 z t))

(if (<=.f64 t -7889398248994235/1488565707357402911845015158554633286356257506687627387456491927921949262056238946972039271861787782268441644249633132407878864135402815488) (*.f64 t z) (if (<=.f64 t 13500000000000) (*.f64 y x) (*.f64 t z)))

(*.f64 t z)

Compiler

Compiled 39 to 24 computations (38.5% saved)

soundness0.0ms (0%)

end24.0ms (1%)

Remove

(sort z t)

(sort x y)

Compiler

Compiled 75 to 43 computations (42.7% saved)

Details

analyze267.0ms (10.7%)

sample953.0ms (38.3%)

preprocess6.0ms (0.3%)

simplify7.0ms (0.3%)

eval0.0ms (0%)

prune1.0ms (0%)

localize8.0ms (0.3%)

series3.0ms (0.1%)

rewrite110.0ms (4.4%)

simplify990.0ms (39.8%)

eval4.0ms (0.2%)

prune4.0ms (0.2%)

localize4.0ms (0.1%)

localize4.0ms (0.2%)

eval0.0ms (0%)

prune1.0ms (0.1%)

regimes26.0ms (1%)

regimes51.0ms (2%)

bsearch23.0ms (0.9%)

simplify2.0ms (0.1%)

soundness0.0ms (0%)

end24.0ms (1%)

Profiling