Details

analyze264.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)

sample976.0ms (39.4%)

Results

761.0ms	8256×	body	256	valid
201.0ms	2121×	body	256	infinite

Bogosity

preprocess5.0ms (0.2%)

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)

simplify9.0ms (0.4%)

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)

localize7.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	y	@	0	(+.f64 (.f64 x y) (.f64 z t))
0.0ms	x	@	inf	(+.f64 (.f64 x y) (.f64 z t))

rewrite201.0ms (8.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1826×	`rational.json-simplify-35`
1684×	`rational.json-simplify-1`
1376×	`exponential.json-3`
1376×	`rational.json-1`
1376×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	59	19
2	123	19
3	257	19
4	478	19
5	1097	19
6	2654	19
7	4704	19
8	5665	19
9	6860	19
10	7801	19
11	7801	19

Stop Event

1×	node limit

Counts

1 → 23

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 (.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)) 1/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 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 8) 1/8)))) (#(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 (.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)) 1/4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/8 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 8))))) (#(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 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 8)))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (.f64 x y) (*.f64 z t)) 1)))))

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 (*.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)) 1/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 (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 8) 1/8)))) (#(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 (*.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)) 1/4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/8 (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 8))))) (#(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 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 8)))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 1)))))

simplify830.0ms (33.5%)

Algorithm

1×	egg-herbie

Rules

5858×	`rational.json-simplify-51`
3552×	`rational.json-simplify-35`
1346×	`rational.json-simplify-49`
1156×	`rational.json-simplify-2`
1128×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	58	1205
1	129	1205
2	430	1205
3	1197	1205
4	1906	1205
5	2791	1205
6	3281	1205
7	3355	1205
8	3403	1205
9	3435	1205
10	3467	1205
11	3499	1205
12	3531	1205
13	3563	1205
14	3595	1205
15	3627	1205
16	3659	1205
17	3691	1205
18	3723	1205
19	4625	1205
20	4876	1205
21	4969	1205
22	5058	1205
23	5145	1205
24	5231	1205
25	5444	1205
26	5444	1205
27	5530	1205
28	5616	1205
29	5702	1205
30	5788	1205
31	5874	1205
32	5960	1205
33	6046	1205
34	6132	1205
35	6218	1205

Stop Event

1×	node limit

Counts

71 → 26

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 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 2) 1/2)
(.f64 4 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 1/4))
(.f64 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 4) 1/4)
(.f64 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 8) 1/8)
(.f64 1/2 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 2))
(.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)) 1/4) 4)
(.f64 1/8 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 8))
(/.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 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 8)))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x y) (*.f64 z t)) 8))))) 128)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 8)))))) 256)
(pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 1)

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 (.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)) 1/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 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 8) 1/8)
(+.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 (.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)) 1/4) 4)
(+.f64 (.f64 y x) (.f64 t z))
(.f64 1/8 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 8))
(+.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 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 8)))) 64)
(+.f64 (.f64 y x) (.f64 t z))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x y) (*.f64 z t)) 8))))) 128)
(+.f64 (.f64 y x) (.f64 t z))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x y) (.f64 z t)) 8)))))) 256)
(+.f64 (.f64 y x) (.f64 t z))
(pow.f64 (+.f64 (.f64 x y) (.f64 z t)) 1)
(+.f64 (.f64 y x) (.f64 t z))

eval4.0ms (0.2%)

Compiler: Compiled 290 to 122 computations (57.9% saved)

prune5.0ms (0.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Error

0.0b

Counts

27 → 3

Alt Table

Click to see full alt table

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

Compiler

Compiled 25 to 17 computations (32% saved)

localize4.0ms (0.2%)

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

localize3.0ms (0.1%)

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

Compiler

Compiled 25 to 17 computations (32% saved)

regimes27.0ms (1.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	t
4.0ms	(*.f64 z t)
4.0ms	x
4.0ms	(+.f64 (.f64 x y) (.f64 z t))
3.0ms	z

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)

regimes62.0ms (2.5%)

Accuracy

Total -42.3b remaining (-233.1%)

Threshold costs -42.3b (-233.1%)

Counts

2 → 5

Calls

Call 1

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

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

Calls

4 calls:

19.0ms	t
14.0ms	y
14.0ms	z
14.0ms	x

Results

Error	Segments	Branch
18.9b	5	`x`
18.2b	5	`y`
18.6b	5	`z`
19.1b	7	`t`

Compiler

Compiled 30 to 22 computations (26.7% saved)

bsearch47.0ms (1.9%)

Algorithm

4×	binary-search

Steps

Time	Left	Right
8.0ms	3.09699741746164e+99	8.1155227174515445e+99
11.0ms	2.5593177649539585e-35	6.395549864359196e-34
11.0ms	1.9182874249311943e-71	1.3253617031542775e-70
16.0ms	-1.9043758503650803e-168	-6.200739167582094e-186

Results

41.0ms	448×	body	256	valid
1.0ms	6×	body	256	infinite

Compiler

Compiled 466 to 349 computations (25.1% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	97

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs

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

(if (<=.f64 y -2018324372703715/1062275985633534197379176413104937254659186235454063846398888276400807119721704485478325004530458571337778658972493002030693158675305414478819039957533174703887662541670786438063456256) (*.f64 y x) (if (<=.f64 y 8081502591659033/62165404551223330269422781018352605012557018849668464680057997111644937126566671941632) (*.f64 t z) (if (<=.f64 y 3086691458042867/46768052394588893382517914646921056628989841375232) (*.f64 y x) (if (<=.f64 y 3100000000000000068725651362513036654386469723058226297256279933423225231890942226241218547667697664) (*.f64 t z) (*.f64 y x)))))

(*.f64 t z)

Outputs

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

(if (<=.f64 y -2018324372703715/1062275985633534197379176413104937254659186235454063846398888276400807119721704485478325004530458571337778658972493002030693158675305414478819039957533174703887662541670786438063456256) (*.f64 y x) (if (<=.f64 y 8081502591659033/62165404551223330269422781018352605012557018849668464680057997111644937126566671941632) (*.f64 t z) (if (<=.f64 y 3086691458042867/46768052394588893382517914646921056628989841375232) (*.f64 y x) (if (<=.f64 y 3100000000000000068725651362513036654386469723058226297256279933423225231890942226241218547667697664) (*.f64 t z) (*.f64 y x)))))

(*.f64 t z)

Compiler

Compiled 53 to 30 computations (43.4% saved)

soundness0.0ms (0%)

end26.0ms (1.1%)

Remove

(sort z t)

(sort x y)

Compiler

Compiled 89 to 49 computations (44.9% saved)

Details

analyze264.0ms (10.7%)

sample976.0ms (39.4%)

preprocess5.0ms (0.2%)

simplify9.0ms (0.4%)

eval0.0ms (0%)

prune1.0ms (0%)

localize7.0ms (0.3%)

series3.0ms (0.1%)

rewrite201.0ms (8.1%)

simplify830.0ms (33.5%)

eval4.0ms (0.2%)

prune5.0ms (0.2%)

localize4.0ms (0.2%)

localize3.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0.1%)

regimes27.0ms (1.1%)

regimes62.0ms (2.5%)

bsearch47.0ms (1.9%)

simplify3.0ms (0.1%)

soundness0.0ms (0%)

end26.0ms (1.1%)

Profiling