Details

analyze100.0ms (1.8%)

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
25%	25%	74.9%	0.1%	0%	0%	0%	5
37.5%	37.5%	62.4%	0.1%	0%	0%	0%	6
53.3%	50%	43.7%	0.1%	6.2%	0%	0%	7
63.3%	59.3%	34.3%	0.1%	6.2%	0%	0%	8
74.1%	67.1%	23.4%	0.1%	9.4%	0%	0%	9
80.2%	72.6%	18%	0.1%	9.4%	0%	0%	10
86.4%	76.9%	12.1%	0.1%	10.9%	0%	0%	11
89.7%	79.8%	9.2%	0.1%	10.9%	0%	0%	12

Compiler

Compiled 8 to 6 computations (25% saved)

sample1.6s (29.3%)

Results

1.6s	8256×	body	256	valid
9.0ms	131×	body	256	infinite

Bogosity

preprocess8.0ms (0.2%)

Algorithm

2×	egg-herbie

Rules

4×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	26
1	11	26
0	2	2

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

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

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

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	8	13

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

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

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

eval0.0ms (0%)

Compiler: Compiled 7 to 5 computations (28.6% 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 x (-.f64 1 y))

Compiler

Compiled 7 to 5 computations (28.6% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 8 computations (38.5% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite420.0ms (7.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1212×	`bool.json-1`
1212×	`bool.json-2`
1192×	`rational.json-simplify-35`
1166×	`rational.json-1`
1166×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	77	13
2	237	13
3	474	13
4	921	13
5	1980	13
6	4310	13
7	7507	13

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

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

Outputs

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

simplify1.1s (20%)

Algorithm

1×	egg-herbie

Rules

5576×	`rational.json-simplify-35`
2300×	`rational.json-simplify-2`
1094×	`rational.json-simplify-53`
708×	`rational.json-simplify-1`
682×	`rational.json-simplify-43`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	44	497
1	101	475
2	212	475
3	452	475
4	1724	475
5	3303	475
6	4252	475
7	4657	475
8	4859	475
9	5066	475
10	5079	475
11	5452	475
12	5456	475
13	5526	475
14	5604	475
15	5815	475
16	6047	475
17	6252	475
18	6447	475
19	6642	475
20	6837	475
21	7032	475
22	7032	475
23	7088	475
24	7091	475
25	7095	475
26	7095	475
27	7291	475
28	7487	475
29	7683	475
30	7879	475

Stop Event

1×	node limit

Counts

35 → 20

Calls

Call 1

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

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

eval3.0ms (0.1%)

Compiler: Compiled 166 to 112 computations (32.5% saved)

prune5.0ms (0.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	17	3	20
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	17	4	21

Error

Counts

21 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(+.f64 x (*.f64 y (neg.f64 x)))
▶	37.2b	(*.f64 y (neg.f64 x))
✓	0.0b	(*.f64 x (-.f64 1 y))
	25.9b	x

Compiler

Compiled 24 to 16 computations (33.3% saved)

localize4.0ms (0.1%)

Compiler: Compiled 10 to 4 computations (60% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 16 to 5 computations (68.8% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite441.0ms (8.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1548×	`bool.json-1`
1548×	`bool.json-2`
1494×	`rational.json-1`
1494×	`rational.json-2`
1494×	`rational.json-4`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	83	17
2	237	17
3	521	17
4	1150	17
5	2674	13
6	5723	13

Stop Event

1×	node limit

Counts

1 → 31

Calls

Call 1

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

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

Outputs

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

simplify245.0ms (4.5%)

Algorithm

1×	egg-herbie

Rules

2098×	`rational.json-simplify-2`
1902×	`rational.json-simplify-35`
1498×	`rational.json-simplify-1`
850×	`rational.json-simplify-48`
790×	`rational.json-simplify-45`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	85	969
1	176	759
2	430	759
3	1286	759
4	2368	759
5	3383	759
6	3902	759
7	4140	759
8	4376	759
9	4704	759
10	5159	759
11	5982	759
12	6813	759
13	7425	759

Stop Event

1×	node limit

Counts

55 → 44

Calls

Call 1

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

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

eval7.0ms (0.1%)

Compiler: Compiled 368 to 254 computations (31% saved)

prune63.0ms (1.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	43	1	44
Fresh	0	1	1
Picked	1	0	1
Done	0	2	2
Total	44	4	48

Error

Counts

48 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(-.f64 x (*.f64 y x))
✓	37.2b	(*.f64 y (neg.f64 x))
✓	0.0b	(*.f64 x (-.f64 1 y))
	25.9b	x

Compiler

Compiled 23 to 15 computations (34.8% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 12 to 4 computations (66.7% saved)

series1.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite147.0ms (2.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1308×	`bool.json-1`
1308×	`bool.json-2`
1266×	`rational.json-1`
1266×	`rational.json-2`
1266×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	60	13
2	178	13
3	397	13
4	840	13
5	1876	13
6	4320	13

Stop Event

1×	node limit

Counts

1 → 51

Calls

Call 1

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

Outputs

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

simplify232.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

2544×	`rational.json-simplify-2`
2062×	`rational.json-simplify-35`
1074×	`rational.json-simplify-51`
1062×	`rational.json-simplify-1`
776×	`rational.json-simplify-52`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	122	1019
1	259	1013
2	553	1007
3	1372	1007
4	2522	1007
5	3952	1007
6	5310	1007
7	6296	1007
8	6925	1007
9	7168	1007
10	7366	1007
11	7552	1007

Stop Event

1×	node limit

Counts

75 → 63

Calls

Call 1

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

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

eval11.0ms (0.2%)

Compiler: Compiled 553 to 297 computations (46.3% saved)

prune83.0ms (1.5%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	63	0	63
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	63	4	67

Error

Counts

67 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f64 x (*.f64 y x))
✓	37.2b	(*.f64 y (neg.f64 x))
✓	0.0b	(*.f64 x (-.f64 1 y))
	25.9b	x

Compiler

Compiled 23 to 15 computations (34.8% saved)

eval0.0ms (0%)

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

prune2.0ms (0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

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

Error

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f64 x (*.f64 y x))
✓	37.2b	(*.f64 y (neg.f64 x))
✓	0.0b	(*.f64 x (-.f64 1 y))
	25.9b	x

Compiler

Compiled 23 to 15 computations (34.8% saved)

regimes18.0ms (0.3%)

Counts

5 → 1

Calls

Call 1

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

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

Calls

4 calls:

5.0ms	(*.f64 x (-.f64 1 y))
4.0ms	x
4.0ms	y
3.0ms	(-.f64 1 y)

Results

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

Compiler

Compiled 41 to 23 computations (43.9% saved)

regimes836.0ms (15.3%)

Accuracy

Total -59.5b remaining (-3346.6%)

Threshold costs -59.5b (-3346.6%)

Counts

2 → 3

Calls

Call 1

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

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

Calls

2 calls:

809.0ms	y
26.0ms	x

Results

Error	Segments	Branch
19.2b	9	`x`
1.8b	3	`y`

Compiler

Compiled 13 to 8 computations (38.5% saved)

bsearch20.0ms (0.4%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
5.0ms	0.8332286219781533	1.551398172031305
14.0ms	-2751.0284709717835	-0.29189197902147296

Results

18.0ms

192×

body

256

valid

Compiler

Compiled 144 to 105 computations (27.1% saved)

simplify74.0ms (1.4%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	55

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(*.f64 x (-.f64 1 y))
(if (<=.f64 y -1) (.f64 y (neg.f64 x)) (if (<=.f64 y 1) x (.f64 y (neg.f64 x))))
x

Outputs
(*.f64 x (-.f64 1 y))
(if (<=.f64 y -1) (.f64 y (neg.f64 x)) (if (<=.f64 y 1) x (.f64 y (neg.f64 x))))
x

Compiler

Compiled 29 to 17 computations (41.4% saved)

soundness0.0ms (0%)

end22.0ms (0.4%)

Compiler: Compiled 25 to 13 computations (48% saved)

Details

analyze100.0ms (1.8%)

sample1.6s (29.3%)

preprocess8.0ms (0.2%)

simplify7.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

localize5.0ms (0.1%)

series2.0ms (0%)

rewrite420.0ms (7.7%)

simplify1.1s (20%)

eval3.0ms (0.1%)

prune5.0ms (0.1%)

localize4.0ms (0.1%)

localize6.0ms (0.1%)

series2.0ms (0%)

rewrite441.0ms (8.1%)

simplify245.0ms (4.5%)

eval7.0ms (0.1%)

prune63.0ms (1.2%)

localize4.0ms (0.1%)

series1.0ms (0%)

rewrite147.0ms (2.7%)

simplify232.0ms (4.2%)

eval11.0ms (0.2%)

prune83.0ms (1.5%)

eval0.0ms (0%)

prune2.0ms (0%)

regimes18.0ms (0.3%)

regimes836.0ms (15.3%)

bsearch20.0ms (0.4%)

simplify74.0ms (1.4%)

soundness0.0ms (0%)

end22.0ms (0.4%)

Profiling