Details

analyze316.0ms (2.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
0%	0%	99.9%	0.1%	0%	0%	0%	5
0%	0%	99.9%	0.1%	0%	0%	0%	6
12.5%	12.5%	87.4%	0.1%	0%	0%	0%	7
18.8%	18.7%	81.1%	0.1%	0%	0%	0%	8
28.1%	28.1%	71.8%	0.1%	0%	0%	0%	9
37.6%	34.3%	56.9%	0.1%	8.6%	0%	0%	10
44.8%	40.6%	49.9%	0.1%	9.4%	0%	0%	11
53.4%	48%	41.9%	0.1%	9.9%	0%	0%	12

Compiler

Compiled 11 to 8 computations (27.3% saved)

sample6.3s (41.2%)

Results

5.5s	8255×	body	256	valid
757.0ms	1141×	body	256	infinite
0.0ms	1×	body	1024	valid

Bogosity

preprocess11.0ms (0.1%)

Algorithm

2×	egg-herbie

Rules

12×	`rational.json-simplify-1`
6×	`rational.json-simplify-17`
6×	`rational.json-simplify-2`
2×	`swap-x-y`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	76
1	25	76
2	29	76
0	3	3
1	3	3

Stop Event

1×	unsound
1×	saturated

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
0
2

Call 2

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

Outputs
(*.f64 (+.f64 x y) (+.f64 z 1))
(*.f64 (+.f64 z 1) (+.f64 x y))
(*.f64 (+.f64 y x) (+.f64 z 1))
(*.f64 (+.f64 z 1) (+.f64 x y))
(*.f64 (+.f64 z y) (+.f64 x 1))
(*.f64 (+.f64 y z) (+.f64 x 1))
(*.f64 (+.f64 y z) (-.f64 x -1))
(*.f64 (+.f64 x z) (+.f64 y 1))

Symmetry

(sort x y)

Compiler

Compiled 13 to 10 computations (23.1% saved)

simplify88.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	12	19
2	14	19

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

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

Outputs
(*.f64 (+.f64 x y) (+.f64 z 1))

eval0.0ms (0%)

Compiler: Compiled 10 to 7 computations (30% 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 1))

Compiler

Compiled 10 to 7 computations (30% saved)

localize7.0ms (0%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 20 to 10 computations (50% saved)

series3.0ms (0%)

Counts

1 → 36

Calls

9 calls:

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

rewrite391.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1448×	`rational.json-simplify-35`
1348×	`bool.json-1`
1348×	`bool.json-2`
1310×	`rational.json-1`
1310×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	97	19
2	278	19
3	554	19
4	1120	19
5	2464	19
6	5135	19

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

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

Outputs

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

simplify946.0ms (6.2%)

Algorithm

1×	egg-herbie

Rules

4448×	`rational.json-simplify-35`
2110×	`rational.json-simplify-2`
1534×	`rational.json-simplify-1`
1044×	`rational.json-simplify-41`
890×	`rational.json-simplify-53`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	47	887
1	113	887
2	225	887
3	482	887
4	1948	887
5	3894	887
6	4475	887
7	4836	887
8	5088	887
9	5270	887
10	5427	887
11	6248	887
12	6275	887
13	6310	887
14	6348	887
15	6404	887
16	6584	887
17	6772	887
18	6941	887
19	7085	887
20	7229	887
21	7373	887
22	7517	887
23	7661	887
24	7805	887
25	7805	887
26	7949	887

Stop Event

1×	node limit

Counts

47 → 25

Calls

Call 1

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

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

eval4.0ms (0%)

Compiler: Compiled 238 to 132 computations (44.5% saved)

prune6.0ms (0%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	21	4	25
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	21	5	26

Error

0.0b

Counts

26 → 5

Alt Table

Click to see full alt table

Status	Error	Program
▶	22.6b	(+.f64 y x)
▶	40.0b	(*.f64 (+.f64 y x) z)
✓	0.0b	(*.f64 (+.f64 x y) (+.f64 z 1))
▶	30.1b	(*.f64 (+.f64 1 z) x)
▶	33.3b	(*.f64 y (-.f64 z -1))

Compiler

Compiled 40 to 28 computations (30% saved)

localize6.0ms (0%)

Compiler: Compiled 14 to 9 computations (35.7% saved)

localize5.0ms (0%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (+.f64 1 z) x)

Compiler

Compiled 14 to 9 computations (35.7% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

6 calls:

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

rewrite96.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1626×	`bool.json-1`
1626×	`bool.json-2`
1586×	`rational.json-1`
1586×	`rational.json-2`
1184×	`rational.json-simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	80	13
2	248	13
3	483	13
4	941	13
5	2028	13
6	4106	13
7	6516	13

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(*.f64 (+.f64 1 z) x)

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

Outputs

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

simplify1.2s (7.9%)

Algorithm

1×	egg-herbie

Rules

4920×	`rational.json-simplify-35`
2506×	`rational.json-simplify-2`
1114×	`rational.json-simplify-53`
970×	`rational.json-simplify-1`
790×	`rational.json-simplify-43`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	275
1	92	275
2	182	275
3	436	275
4	1871	275
5	3522	275
6	4343	275
7	4716	275
8	4927	275
9	5132	275
10	5314	275
11	5652	275
12	5652	275
13	5725	275
14	5895	275
15	6081	275
16	6310	275
17	6479	275
18	6626	275
19	6770	275
20	6914	275
21	7058	275
22	7202	275
23	7346	275
24	7346	275
25	7452	275
26	7452	275
27	7596	275
28	7740	275
29	7884	275

Stop Event

1×	node limit

Counts

23 → 17

Calls

Call 1

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

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

localize6.0ms (0%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 5 computations (64.3% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

9 calls:

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

rewrite225.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1638×	`bool.json-1`
1638×	`bool.json-2`
1606×	`rational.json-1`
1606×	`rational.json-2`
1606×	`rational.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	70	13
2	196	13
3	417	13
4	861	13
5	1884	13
6	3899	13
7	6401	13

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

Outputs

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

simplify1.3s (8.3%)

Algorithm

1×	egg-herbie

Rules

5174×	`rational.json-simplify-35`
2504×	`rational.json-simplify-2`
1114×	`rational.json-simplify-53`
1006×	`rational.json-simplify-1`
786×	`rational.json-simplify-43`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	40	593
1	93	419
2	184	419
3	450	419
4	1926	419
5	3711	419
6	4597	419
7	4932	419
8	5082	419
9	5228	419
10	5372	419
11	5701	419
12	5704	419
13	5777	419
14	5919	419
15	5947	419
16	6135	419
17	6292	419
18	6436	419
19	6580	419
20	6724	419
21	6868	419
22	7012	419
23	7156	419
24	7300	419
25	7402	419
26	7402	419
27	7546	419
28	7690	419
29	7834	419
30	7978	419

Stop Event

1×	node limit

Counts

35 → 17

Calls

Call 1

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

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

localize3.0ms (0%)

Compiler: Compiled 8 to 4 computations (50% saved)

eval246.0ms (1.6%)

Compiler: Compiled 291 to 167 computations (42.6% saved)

prune7.0ms (0%)

Pruning

8 alts after pruning (3 fresh and 5 done)

	Pruned	Kept	Total
New	31	3	34
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	31	8	39

Error

0.0b

Counts

39 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	22.6b	(+.f64 y x)
✓	40.0b	(*.f64 (+.f64 y x) z)
✓	0.0b	(*.f64 (+.f64 x y) (+.f64 z 1))
✓	30.1b	(*.f64 (+.f64 1 z) x)
▶	51.1b	(*.f64 z y)
▶	51.5b	(*.f64 z x)
✓	33.3b	(*.f64 y (-.f64 z -1))
	40.7b	x

Compiler

Compiled 56 to 39 computations (30.4% saved)

localize4.0ms (0%)

Compiler: Compiled 8 to 4 computations (50% saved)

localize3.0ms (0%)

Compiler: Compiled 8 to 4 computations (50% saved)

eval0.0ms (0%)

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

prune3.0ms (0%)

Pruning

8 alts after pruning (1 fresh and 7 done)

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

Error

0.0b

Counts

8 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	22.6b	(+.f64 y x)
✓	40.0b	(*.f64 (+.f64 y x) z)
✓	0.0b	(*.f64 (+.f64 x y) (+.f64 z 1))
✓	30.1b	(*.f64 (+.f64 1 z) x)
✓	51.1b	(*.f64 z y)
✓	51.5b	(*.f64 z x)
✓	33.3b	(*.f64 y (-.f64 z -1))
	40.7b	x

Compiler

Compiled 56 to 39 computations (30.4% saved)

eval0.0ms (0%)

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

prune3.0ms (0%)

Pruning

8 alts after pruning (1 fresh and 7 done)

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

Error

0.0b

Counts

8 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	22.6b	(+.f64 y x)
✓	40.0b	(*.f64 (+.f64 y x) z)
✓	0.0b	(*.f64 (+.f64 x y) (+.f64 z 1))
✓	30.1b	(*.f64 (+.f64 1 z) x)
✓	51.1b	(*.f64 z y)
✓	51.5b	(*.f64 z x)
✓	33.3b	(*.f64 y (-.f64 z -1))
	40.7b	x

Compiler

Compiled 56 to 39 computations (30.4% saved)

regimes114.0ms (0.7%)

Counts

8 → 1

Calls

Call 1

Inputs
x
(*.f64 z x)
(*.f64 z y)
(+.f64 y x)
(*.f64 y (-.f64 z -1))
(*.f64 (+.f64 1 z) x)
(*.f64 (+.f64 y x) z)
(*.f64 (+.f64 x y) (+.f64 z 1))

Outputs
(*.f64 (+.f64 x y) (+.f64 z 1))

Calls

6 calls:

86.0ms	x
6.0ms	(*.f64 (+.f64 x y) (+.f64 z 1))
5.0ms	(+.f64 z 1)
5.0ms	(+.f64 x y)
5.0ms	z

Results

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

Compiler

Compiled 69 to 42 computations (39.1% saved)

regimes1.7s (11.5%)

Counts

7 → 3

Calls

Call 1

Inputs
x
(*.f64 z x)
(*.f64 z y)
(+.f64 y x)
(*.f64 y (-.f64 z -1))
(*.f64 (+.f64 1 z) x)
(*.f64 (+.f64 y x) z)

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

Calls

3 calls:

1.7s	y
14.0ms	x
14.0ms	z

Results

Error	Segments	Branch
9.9b	2	`x`
9.3b	2	`y`
0.9b	3	`z`

Compiler

Compiled 40 to 22 computations (45% saved)

bsearch108.0ms (0.7%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
96.0ms	8.559547392652115e-13	756692803493886600.0
12.0ms	-68.02475691948077	-0.6183175865172088

Results

105.0ms	288×	body	256	valid
0.0ms	2×	body	256	infinite

Compiler

Compiled 304 to 210 computations (30.9% saved)

regimes895.0ms (5.9%)

Counts

6 → 2

Calls

Call 1

Inputs
x
(*.f64 z x)
(*.f64 z y)
(+.f64 y x)
(*.f64 y (-.f64 z -1))
(*.f64 (+.f64 1 z) x)

Outputs
(*.f64 (+.f64 1 z) x)
(*.f64 y (-.f64 z -1))

Calls

3 calls:

788.0ms	x
93.0ms	z
12.0ms	y

Results

Error	Segments	Branch
9.9b	2	`x`
9.3b	2	`y`
10.9b	3	`z`

Compiler

Compiled 35 to 21 computations (40% saved)

bsearch11.0ms (0.1%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
11.0ms	6.004734966091774e-91	1.0538770134068343e-88

Results

9.0ms

112×

body

256

valid

Compiler

Compiled 142 to 110 computations (22.5% saved)

regimes37.0ms (0.2%)

Counts

5 → 3

Calls

Call 1

Inputs
x
(*.f64 z x)
(*.f64 z y)
(+.f64 y x)
(*.f64 y (-.f64 z -1))

Outputs
(*.f64 y (-.f64 z -1))
(+.f64 y x)
(*.f64 z x)

Calls

3 calls:

15.0ms	x
12.0ms	z
9.0ms	y

Results

Error	Segments	Branch
13.7b	4	`x`
18.0b	2	`y`
10.9b	3	`z`

Compiler

Compiled 30 to 18 computations (40% saved)

bsearch106.0ms (0.7%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
96.0ms	8.559547392652115e-13	756692803493886600.0
9.0ms	-1.986348092914966e-14	-1.5714693770361697e-15

Results

103.0ms

272×

body

256

valid

Compiler

Compiled 266 to 194 computations (27.1% saved)

regimes373.0ms (2.5%)

Counts

4 → 3

Calls

Call 1

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

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

Calls

3 calls:

286.0ms	y
76.0ms	z
10.0ms	x

Results

Error	Segments	Branch
21.2b	3	`x`
21.6b	3	`y`
11.5b	3	`z`

Compiler

Compiled 25 to 15 computations (40% saved)

bsearch283.0ms (1.9%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
18.0ms	8.559547392652115e-13	756692803493886600.0
265.0ms	-68.02475691948077	-0.6183175865172088

Results

279.0ms	288×	body	256	valid
0.0ms	1×	body	256	infinite

Compiler

Compiled 268 to 192 computations (28.4% saved)

regimes43.0ms (0.3%)

Counts

3 → 3

Calls

Call 1

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

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

Calls

3 calls:

16.0ms	y
16.0ms	x
10.0ms	z

Results

Error	Segments	Branch
31.2b	5	`x`
34.6b	4	`y`
29.6b	3	`z`

Compiler

Compiled 22 to 14 computations (36.4% saved)

bsearch29.0ms (0.2%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
19.0ms	8.559547392652115e-13	756692803493886600.0
10.0ms	-68.02475691948077	-0.6183175865172088

Results

26.0ms	288×	body	256	valid
0.0ms	1×	body	256	infinite

Compiler

Compiled 232 to 174 computations (25% saved)

regimes34.0ms (0.2%)

Accuracy

Total -31.9b remaining (-105.6%)

Threshold costs -31.9b (-105.6%)

Counts

2 → 3

Calls

Call 1

Inputs
x
(*.f64 z x)

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

Calls

3 calls:

14.0ms	x
11.0ms	z
8.0ms	y

Results

Error	Segments	Branch
37.8b	5	`x`
39.5b	3	`y`
30.3b	3	`z`

Compiler

Compiled 19 to 13 computations (31.6% saved)

bsearch107.0ms (0.7%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
91.0ms	8.559547392652115e-13	756692803493886600.0
16.0ms	-68745682825804610.0	-109999313.50806805

Results

103.0ms	320×	body	256	valid
0.0ms	2×	body	256	infinite

Compiler

Compiled 256 to 192 computations (25% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	43	256

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(*.f64 (+.f64 x y) (+.f64 z 1))
(if (<=.f64 z -1) (.f64 (+.f64 y x) z) (if (<=.f64 z 1) (+.f64 y x) (.f64 (+.f64 y x) z)))
(if (<=.f64 y 3762771166858711/35835915874844867368919076489095108449946327955754392558399825615420669938882575126094039892345713852416) (.f64 (+.f64 1 z) x) (.f64 y (-.f64 z -1)))
(if (<=.f64 z -3089898338056309/158456325028528675187087900672) (.f64 y (-.f64 z -1)) (if (<=.f64 z 270) (+.f64 y x) (.f64 z x)))
(if (<=.f64 z -1) (.f64 z y) (if (<=.f64 z 950) (+.f64 y x) (.f64 z x)))
(if (<=.f64 z -1) (.f64 z y) (if (<=.f64 z 1) x (.f64 z x)))
(if (<=.f64 z -110000000) (.f64 z x) (if (<=.f64 z 1) x (.f64 z x)))
x

Outputs
(*.f64 (+.f64 x y) (+.f64 z 1))
(if (<=.f64 z -1) (.f64 (+.f64 y x) z) (if (<=.f64 z 1) (+.f64 y x) (.f64 (+.f64 y x) z)))
(if (<=.f64 y 3762771166858711/35835915874844867368919076489095108449946327955754392558399825615420669938882575126094039892345713852416) (.f64 (+.f64 1 z) x) (.f64 y (-.f64 z -1)))
(if (<=.f64 z -3089898338056309/158456325028528675187087900672) (.f64 y (-.f64 z -1)) (if (<=.f64 z 270) (+.f64 y x) (.f64 z x)))
(if (<=.f64 z -1) (.f64 z y) (if (<=.f64 z 950) (+.f64 y x) (.f64 z x)))
(if (<=.f64 z -1) (.f64 z y) (if (<=.f64 z 1) x (.f64 z x)))
(if (<=.f64 z -110000000) (.f64 z x) (if (<=.f64 z 1) x (.f64 z x)))
x

Compiler

Compiled 133 to 80 computations (39.8% saved)

soundness0.0ms (0%)

end213.0ms (1.4%)

Remove: (sort x y)
Compiler: Compiled 132 to 67 computations (49.2% saved)

Details

analyze316.0ms (2.1%)

sample6.3s (41.2%)

preprocess11.0ms (0.1%)

simplify88.0ms (0.6%)

eval0.0ms (0%)

prune1.0ms (0%)

localize7.0ms (0%)

series3.0ms (0%)

rewrite391.0ms (2.6%)

simplify946.0ms (6.2%)

eval4.0ms (0%)

prune6.0ms (0%)

localize6.0ms (0%)

localize5.0ms (0%)

series1.0ms (0%)

rewrite96.0ms (0.6%)

simplify1.2s (7.9%)

localize6.0ms (0%)

series2.0ms (0%)

rewrite225.0ms (1.5%)

simplify1.3s (8.3%)

localize3.0ms (0%)

eval246.0ms (1.6%)

prune7.0ms (0%)

localize4.0ms (0%)

localize3.0ms (0%)

eval0.0ms (0%)

prune3.0ms (0%)

eval0.0ms (0%)

prune3.0ms (0%)

regimes114.0ms (0.7%)

regimes1.7s (11.5%)

bsearch108.0ms (0.7%)

regimes895.0ms (5.9%)

bsearch11.0ms (0.1%)

regimes37.0ms (0.2%)

bsearch106.0ms (0.7%)

regimes373.0ms (2.5%)

bsearch283.0ms (1.9%)

regimes43.0ms (0.3%)

bsearch29.0ms (0.2%)

regimes34.0ms (0.2%)

bsearch107.0ms (0.7%)

simplify5.0ms (0%)

soundness0.0ms (0%)

end213.0ms (1.4%)

Profiling