Details

analyze3.0ms (0.1%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
0%	0%	100%	0%	0%	0%	0%	2
50%	50%	50%	0%	0%	0%	0%	3
66.7%	50%	25%	0%	25%	0%	0%	4
83.3%	62.5%	12.5%	0%	25%	0%	0%	5
91.7%	68.7%	6.2%	0%	25%	0%	0%	6
95.8%	71.8%	3.1%	0%	25%	0%	0%	7
97.9%	73.4%	1.6%	0%	25%	0%	0%	8
99%	74.2%	0.8%	0%	25%	0%	0%	9
99.5%	74.6%	0.4%	0%	25%	0%	0%	10
99.7%	74.8%	0.2%	0%	25%	0%	0%	11
99.9%	74.9%	0.1%	0%	25%	0%	0%	12

Compiler

Compiled 7 to 5 computations (28.6% saved)

sample1.2s (41.4%)

Results

1.2s	8256×	body	256	valid
0.0ms	1×	body	256	infinite

Bogosity

preprocess3.0ms (0.1%)

Algorithm

2×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	9	13
2	10	13
0	1	1

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0

Outputs
0

Call 2

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

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

Compiler

Compiled 7 to 5 computations (28.6% saved)

simplify9.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	9	13
2	10	13

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

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

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

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)

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

Error

0.0b

Counts

3 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(*.f64 x (-.f64 x 1))

Compiler

Compiled 6 to 4 computations (33.3% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 11 to 7 computations (36.4% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite93.0ms (3.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1480×	`bool.json-1`
1480×	`bool.json-2`
1438×	`rational.json-1`
1438×	`rational.json-2`
1438×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	70	13
2	228	13
3	447	13
4	866	13
5	1866	13
6	3767	13
7	6256	13

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

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

Outputs

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

simplify928.0ms (31.8%)

Algorithm

1×	egg-herbie

Rules

4420×	`rational.json-simplify-35`
2580×	`rational.json-simplify-2`
1078×	`rational.json-simplify-53`
1026×	`rational.json-simplify-1`
790×	`rational.json-simplify-43`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	39	335
1	92	315
2	183	315
3	437	315
4	1930	315
5	3671	315
6	4527	315
7	4924	315
8	5153	315
9	5394	315
10	5622	315
11	5991	315
12	5993	315
13	6073	315
14	6215	315
15	6275	315
16	6503	315
17	6747	315
18	6937	315
19	7120	315
20	7292	315
21	7463	315
22	7631	315
23	7631	315
24	7725	315
25	7725	315
26	7893	315

Stop Event

1×	node limit

Counts

23 → 17

Calls

Call 1

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

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

eval4.0ms (0.1%)

Compiler: Compiled 146 to 109 computations (25.3% saved)

prune3.0ms (0.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	15	2	17
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	15	3	18

Error

0.0b

Counts

18 → 3

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(+.f64 (neg.f64 x) (pow.f64 x 2))
✓	0.0b	(*.f64 x (-.f64 x 1))
▶	19.2b	(neg.f64 x)

Compiler

Compiled 16 to 11 computations (31.3% saved)

localize2.0ms (0.1%)

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

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (neg.f64 x) (pow.f64 x 2))

Compiler

Compiled 14 to 8 computations (42.9% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	x	@	-inf	(+.f64 (neg.f64 x) (pow.f64 x 2))
0.0ms	x	@	0	(+.f64 (neg.f64 x) (pow.f64 x 2))
0.0ms	x	@	inf	(+.f64 (neg.f64 x) (pow.f64 x 2))

rewrite105.0ms (3.6%)

Algorithm

1×	batch-egg-rewrite

Rules

2004×	`bool.json-1`
1368×	`rational.json-simplify-35`
1308×	`bool.json-2`
1254×	`rational.json-1`
1254×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	82	17
2	229	17
3	474	17
4	1023	17
5	2352	17
6	4938	17
7	7710	17

Stop Event

1×	node limit

Counts

1 → 23

Calls

Call 1

Inputs
(+.f64 (neg.f64 x) (pow.f64 x 2))

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

Outputs

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

simplify510.0ms (17.5%)

Algorithm

1×	egg-herbie

Rules

3200×	`rational.json-simplify-48`
2992×	`rational.json-simplify-1`
1720×	`rational.json-simplify-2`
1290×	`rational.json-simplify-35`
1196×	`rational.json-simplify-41`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	63	619
1	120	619
2	293	619
3	722	619
4	1180	619
5	2860	619
6	3236	619
7	3321	619
8	3385	619
9	3443	619
10	3492	619
11	4191	619
12	4294	619
13	4523	619
14	5138	619
15	5229	619
16	5260	619
17	5291	619
18	5322	619
19	6164	619
20	7090	619
21	7665	619
22	7718	619
23	7753	619
24	7787	619

Stop Event

1×	node limit

Counts

35 → 28

Calls

Call 1

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

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

eval7.0ms (0.2%)

Compiler: Compiled 270 to 195 computations (27.8% saved)

prune4.0ms (0.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	28	0	28
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	28	3	31

Error

0.0b

Counts

31 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (neg.f64 x) (pow.f64 x 2))
✓	0.0b	(*.f64 x (-.f64 x 1))
✓	19.2b	(neg.f64 x)

Compiler

Compiled 16 to 11 computations (31.3% saved)

regimes8.0ms (0.3%)

Accuracy

Total -19.1b remaining (-122484.5%)

Threshold costs -19.1b (-122484.5%)

Counts

3 → 1

Calls

Call 1

Inputs
(neg.f64 x)
(*.f64 x (-.f64 x 1))
(+.f64 (neg.f64 x) (pow.f64 x 2))

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

Calls

2 calls:

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

Results

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

Compiler

Compiled 22 to 13 computations (40.9% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	18

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 9 to 6 computations (33.3% saved)

soundness0.0ms (0%)

end14.0ms (0.5%)

Compiler: Compiled 8 to 5 computations (37.5% saved)

Details

analyze3.0ms (0.1%)

sample1.2s (41.4%)

preprocess3.0ms (0.1%)

simplify9.0ms (0.3%)

eval0.0ms (0%)

prune1.0ms (0%)

localize5.0ms (0.2%)

series1.0ms (0%)

rewrite93.0ms (3.2%)

simplify928.0ms (31.8%)

eval4.0ms (0.1%)

prune3.0ms (0.1%)

localize2.0ms (0.1%)

localize6.0ms (0.2%)

series1.0ms (0%)

rewrite105.0ms (3.6%)

simplify510.0ms (17.5%)

eval7.0ms (0.2%)

prune4.0ms (0.1%)

regimes8.0ms (0.3%)

simplify2.0ms (0.1%)

soundness0.0ms (0%)

end14.0ms (0.5%)

Profiling