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.5s (40.1%)

Results

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

Bogosity

preprocess5.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.2%)

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

eval1.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.1%)

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

rewrite213.0ms (5.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1488×	`rational.json-simplify-53`
1358×	`rational.json-simplify-35`
1320×	`exponential.json-3`
1320×	`rational.json-1`
1320×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	51	13
2	125	13
3	221	13
4	404	13
5	855	13
6	2167	13
7	3794	13
8	4935	13
9	6376	13
10	7157	13
11	7157	13
12	7630	13

Stop Event

1×	node limit

Counts

1 → 14

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

simplify299.0ms (8.2%)

Algorithm

1×	egg-herbie

Rules

2362×	`rational.json-simplify-2`
2294×	`rational.json-simplify-35`
1456×	`exponential.json-simplify-26`
1152×	`rational.json-simplify-53`
1042×	`rational.json-simplify-1`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	49	374
1	133	354
2	272	354
3	629	354
4	2300	354
5	4153	354
6	5169	354
7	5736	354
8	5903	354
9	6009	354
10	6936	354
11	7616	354
12	7624	354
13	7934	354

Stop Event

1×	node limit

Counts

26 → 20

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

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

eval5.0ms (0.1%)

Compiler: Compiled 163 to 120 computations (26.4% saved)

prune3.0ms (0.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	18	2	20
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	18	3	21

Error

Counts

21 → 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))
▶	20.7b	(neg.f64 x)

Compiler

Compiled 16 to 11 computations (31.3% saved)

localize2.0ms (0.1%)

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

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 14 to 8 computations (42.9% saved)

series1.0ms (0%)

Counts

2 → 12

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	x	@	inf	(pow.f64 x 2)
0.0ms	x	@	-inf	(+.f64 (neg.f64 x) (pow.f64 x 2))
0.0ms	x	@	-inf	(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))

rewrite214.0ms (5.9%)

Algorithm

1×	batch-egg-rewrite

Rules

2384×	`rational.json-simplify-2`
1748×	`rational.json-simplify-35`
1276×	`exponential.json-3`
1276×	`rational.json-1`
1276×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	24
1	55	24
2	125	24
3	250	24
4	506	24
5	1215	24
6	2755	24
7	4255	24
8	5259	24
9	6310	24
10	7103	24
11	7312	24
12	7532	24

Stop Event

1×	node limit

Counts

2 → 57

Calls

Call 1

Inputs
(+.f64 (neg.f64 x) (pow.f64 x 2))
(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 (+.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)) 1/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 (.f64 (+.f64 (neg.f64 x) (pow.f64 x 2)) 8) 1/8)))) (#(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 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)) 1/4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/8 (.f64 (+.f64 (neg.f64 x) (pow.f64 x 2)) 8))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 x -2) (.f64 2 (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 (.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 2 (.f64 2 (.f64 2 (.f64 (+.f64 (neg.f64 x) (pow.f64 x 2)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (neg.f64 x) (pow.f64 x 2)) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 (+.f64 (neg.f64 x) (pow.f64 x 2)) 8)))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (neg.f64 x) (pow.f64 x 2)) 1)))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 x 2) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (pow.f64 x 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (pow.f64 x 2) 1/2) (.f64 (pow.f64 x 2) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (pow.f64 x 2) 0)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 (pow.f64 x 2) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 x 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (pow.f64 x 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 2 (pow.f64 x 2)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (.f64 (pow.f64 x 2) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (pow.f64 x 2) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (pow.f64 x 2) 8) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (.f64 2 (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (pow.f64 x 2) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 16 (.f64 (pow.f64 x 2) 1/16))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/4 (.f64 (pow.f64 x 2) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (pow.f64 x 2) 1/4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/8 (.f64 (pow.f64 x 2) 8))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/16 (pow.f64 (.f64 x 4) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (.f64 x 4) 2) 1/16)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (pow.f64 x 2) 1/16) 16)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/64 (pow.f64 (.f64 x 8) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (.f64 x 8) 2) 1/64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 x 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (pow.f64 x 2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (pow.f64 x 2) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (pow.f64 x 2) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (pow.f64 x 2) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (pow.f64 x 2) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 2) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 2) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 (pow.f64 x 2) 8)))))) 256)))))

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

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

simplify955.0ms (26.2%)

Algorithm

1×	egg-herbie

Rules

3738×	`rational.json-simplify-51`
3092×	`rational.json-simplify-2`
2742×	`rational.json-simplify-49`
2584×	`rational.json-simplify-35`
1380×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	112	831
1	230	831
2	781	831
3	1477	831
4	2577	831
5	3226	831
6	3322	831
7	3441	831
8	3597	831
9	3734	831
10	3821	831
11	3908	831
12	3959	831
13	4006	831
14	4053	831
15	4100	831
16	4147	831
17	4194	831
18	4241	831
19	4288	831
20	6197	831
21	6276	831
22	6353	831
23	6424	831
24	6499	831
25	6560	831
26	6563	831
27	6563	831
28	7604	831
29	7647	831
30	7690	831
31	7733	831
32	7776	831
33	7819	831

Stop Event

1×	node limit

Counts

69 → 62

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 (+.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)) 1/4))
(.f64 (.f64 (+.f64 (neg.f64 x) (pow.f64 x 2)) 4) 1/4)
(.f64 (.f64 (+.f64 (neg.f64 x) (pow.f64 x 2)) 8) 1/8)
(.f64 1/2 (.f64 2 (+.f64 (neg.f64 x) (pow.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)) 1/4) 4)
(.f64 1/8 (.f64 (+.f64 (neg.f64 x) (pow.f64 x 2)) 8))
(.f64 (+.f64 (.f64 x -2) (*.f64 2 (pow.f64 x 2))) 1/2)
(/.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 2 (.f64 2 (.f64 2 (.f64 (+.f64 (neg.f64 x) (pow.f64 x 2)) 8)))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 (+.f64 (neg.f64 x) (pow.f64 x 2)) 8))))) 128)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (neg.f64 x) (pow.f64 x 2)) 8)))))) 256)
(pow.f64 (+.f64 (neg.f64 x) (pow.f64 x 2)) 1)
(+.f64 (pow.f64 x 2) 0)
(+.f64 0 (pow.f64 x 2))
(+.f64 (.f64 (pow.f64 x 2) 1/2) (.f64 (pow.f64 x 2) 1/2))
(-.f64 (pow.f64 x 2) 0)
(.f64 2 (.f64 (pow.f64 x 2) 1/2))
(*.f64 (pow.f64 x 2) 1)
(*.f64 1 (pow.f64 x 2))
(.f64 (.f64 2 (pow.f64 x 2)) 1/2)
(.f64 4 (.f64 (pow.f64 x 2) 1/4))
(.f64 (.f64 (pow.f64 x 2) 4) 1/4)
(.f64 (.f64 (pow.f64 x 2) 8) 1/8)
(.f64 1/2 (.f64 2 (pow.f64 x 2)))
(.f64 (.f64 (pow.f64 x 2) 1/2) 2)
(.f64 16 (.f64 (pow.f64 x 2) 1/16))
(.f64 1/4 (.f64 (pow.f64 x 2) 4))
(.f64 (.f64 (pow.f64 x 2) 1/4) 4)
(.f64 1/8 (.f64 (pow.f64 x 2) 8))
(.f64 1/16 (pow.f64 (.f64 x 4) 2))
(.f64 (pow.f64 (.f64 x 4) 2) 1/16)
(.f64 (.f64 (pow.f64 x 2) 1/16) 16)
(.f64 1/64 (pow.f64 (.f64 x 8) 2))
(.f64 (pow.f64 (.f64 x 8) 2) 1/64)
(/.f64 (pow.f64 x 2) 1)
(/.f64 (*.f64 2 (pow.f64 x 2)) 2)
(/.f64 (*.f64 (pow.f64 x 2) 4) 4)
(/.f64 (*.f64 (pow.f64 x 2) 8) 8)
(/.f64 (.f64 2 (.f64 (pow.f64 x 2) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (*.f64 (pow.f64 x 2) 8))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 2) 8)))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 (pow.f64 x 2) 8))))) 128)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 2) 8)))))) 256)

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 (+.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)) 1/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 (.f64 (+.f64 (neg.f64 x) (pow.f64 x 2)) 8) 1/8)
(+.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 x -2) (*.f64 2 (pow.f64 x 2))))
(+.f64 (pow.f64 x 2) (neg.f64 x))
(.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)) 1/4) 4)
(+.f64 (pow.f64 x 2) (neg.f64 x))
(.f64 1/8 (.f64 (+.f64 (neg.f64 x) (pow.f64 x 2)) 8))
(+.f64 (pow.f64 x 2) (neg.f64 x))
(.f64 (+.f64 (.f64 x -2) (*.f64 2 (pow.f64 x 2))) 1/2)
(+.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 2 (.f64 2 (.f64 2 (.f64 (+.f64 (neg.f64 x) (pow.f64 x 2)) 8)))) 64)
(+.f64 (pow.f64 x 2) (neg.f64 x))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 (+.f64 (neg.f64 x) (pow.f64 x 2)) 8))))) 128)
(+.f64 (pow.f64 x 2) (neg.f64 x))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (neg.f64 x) (pow.f64 x 2)) 8)))))) 256)
(+.f64 (pow.f64 x 2) (neg.f64 x))
(pow.f64 (+.f64 (neg.f64 x) (pow.f64 x 2)) 1)
(+.f64 (pow.f64 x 2) (neg.f64 x))
(+.f64 (pow.f64 x 2) 0)
(pow.f64 x 2)
(+.f64 0 (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (.f64 (pow.f64 x 2) 1/2) (.f64 (pow.f64 x 2) 1/2))
(pow.f64 x 2)
(-.f64 (pow.f64 x 2) 0)
(pow.f64 x 2)
(.f64 2 (.f64 (pow.f64 x 2) 1/2))
(pow.f64 x 2)
(*.f64 (pow.f64 x 2) 1)
(pow.f64 x 2)
(*.f64 1 (pow.f64 x 2))
(pow.f64 x 2)
(.f64 (.f64 2 (pow.f64 x 2)) 1/2)
(pow.f64 x 2)
(.f64 4 (.f64 (pow.f64 x 2) 1/4))
(pow.f64 x 2)
(.f64 (.f64 (pow.f64 x 2) 4) 1/4)
(pow.f64 x 2)
(.f64 (.f64 (pow.f64 x 2) 8) 1/8)
(pow.f64 x 2)
(.f64 1/2 (.f64 2 (pow.f64 x 2)))
(pow.f64 x 2)
(.f64 (.f64 (pow.f64 x 2) 1/2) 2)
(pow.f64 x 2)
(.f64 16 (.f64 (pow.f64 x 2) 1/16))
(pow.f64 x 2)
(.f64 1/4 (.f64 (pow.f64 x 2) 4))
(pow.f64 x 2)
(.f64 (.f64 (pow.f64 x 2) 1/4) 4)
(pow.f64 x 2)
(.f64 1/8 (.f64 (pow.f64 x 2) 8))
(pow.f64 x 2)
(.f64 1/16 (pow.f64 (.f64 x 4) 2))
(pow.f64 x 2)
(.f64 (pow.f64 (.f64 x 4) 2) 1/16)
(pow.f64 x 2)
(.f64 (.f64 (pow.f64 x 2) 1/16) 16)
(pow.f64 x 2)
(.f64 1/64 (pow.f64 (.f64 x 8) 2))
(pow.f64 x 2)
(.f64 (pow.f64 (.f64 x 8) 2) 1/64)
(pow.f64 x 2)
(/.f64 (pow.f64 x 2) 1)
(pow.f64 x 2)
(/.f64 (*.f64 2 (pow.f64 x 2)) 2)
(pow.f64 x 2)
(/.f64 (*.f64 (pow.f64 x 2) 4) 4)
(pow.f64 x 2)
(/.f64 (*.f64 (pow.f64 x 2) 8) 8)
(pow.f64 x 2)
(/.f64 (.f64 2 (.f64 (pow.f64 x 2) 8)) 16)
(pow.f64 x 2)
(/.f64 (.f64 2 (.f64 2 (*.f64 (pow.f64 x 2) 8))) 32)
(pow.f64 x 2)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 2) 8)))) 64)
(pow.f64 x 2)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 (pow.f64 x 2) 8))))) 128)
(pow.f64 x 2)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 2) 8)))))) 256)
(pow.f64 x 2)

eval23.0ms (0.6%)

Compiler: Compiled 635 to 458 computations (27.9% saved)

prune8.0ms (0.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

Counts

65 → 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))
✓	20.7b	(neg.f64 x)

Compiler

Compiled 16 to 11 computations (31.3% saved)

regimes8.0ms (0.2%)

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 (neg.f64 x) (pow.f64 x 2))

Calls

2 calls:

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

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)

regimes63.0ms (1.7%)

Accuracy

Total -20.7b remaining (-88173.9%)

Threshold costs -20.7b (-88173.9%)

Counts

2 → 1

Calls

Call 1

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

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

Calls

2 calls:

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

Results

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

Compiler

Compiled 16 to 10 computations (37.5% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	35

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 16 to 11 computations (31.3% saved)

soundness335.0ms (9.2%)

Algorithm

1×	egg-herbie

Rules

2362×	`rational.json-simplify-2`
2294×	`rational.json-simplify-35`
1456×	`exponential.json-simplify-26`
1152×	`rational.json-simplify-53`
1042×	`rational.json-simplify-1`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	49	374
1	133	354
2	272	354
3	629	354
4	2300	354
5	4153	354
6	5169	354
7	5736	354
8	5903	354
9	6009	354
10	6936	354
11	7616	354
12	7624	354
13	7934	354

Stop Event

1×	node limit

Compiler

Compiled 21 to 15 computations (28.6% saved)

end19.0ms (0.5%)

Compiler: Compiled 14 to 8 computations (42.9% saved)

Details

analyze3.0ms (0.1%)

sample1.5s (40.1%)

preprocess5.0ms (0.1%)

simplify9.0ms (0.2%)

eval1.0ms (0%)

prune1.0ms (0%)

localize5.0ms (0.1%)

series1.0ms (0%)

rewrite213.0ms (5.8%)

simplify299.0ms (8.2%)

eval5.0ms (0.1%)

prune3.0ms (0.1%)

localize2.0ms (0.1%)

localize8.0ms (0.2%)

series1.0ms (0%)

rewrite214.0ms (5.9%)

simplify955.0ms (26.2%)

eval23.0ms (0.6%)

prune8.0ms (0.2%)

regimes8.0ms (0.2%)

regimes63.0ms (1.7%)

simplify2.0ms (0.1%)

soundness335.0ms (9.2%)

end19.0ms (0.5%)

Profiling