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
75%	75%	25%	0%	0%	0%	0%	4
87.5%	87.5%	12.5%	0%	0%	0%	0%	5
93.8%	93.7%	6.2%	0%	0%	0%	0%	6
96.9%	96.8%	3.1%	0%	0%	0%	0%	7
98.4%	98.4%	1.6%	0%	0%	0%	0%	8
99.2%	99.2%	0.8%	0%	0%	0%	0%	9
99.6%	99.6%	0.4%	0%	0%	0%	0%	10
99.8%	99.8%	0.2%	0%	0%	0%	0%	11
99.9%	99.9%	0.1%	0%	0%	0%	0%	12

Compiler

Compiled 8 to 6 computations (25% saved)

sample2.7s (51.3%)

Results

2.7s

8256×

body

256

valid

Bogosity

preprocess136.0ms (2.6%)

Algorithm

2×	egg-herbie

Rules

1810×	`rational.json-simplify-35`
1348×	`rational.json-simplify-53`
1022×	`rational.json-simplify-39`
862×	`rational.json-simplify-59`
610×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	10	17
2	12	17
3	14	17
4	18	17
5	38	17
6	191	17
7	1970	17
8	5942	17
9	7797	17
0	1	1

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(sqrt.f64 (.f64 (.f64 2 x) x))

Outputs
(sqrt.f64 (.f64 (.f64 2 x) x))
(sqrt.f64 (.f64 x (.f64 2 x)))
(sqrt.f64 (.f64 2 (.f64 x x)))

Compiler

Compiled 8 to 6 computations (25% saved)

simplify140.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

1810×	`rational.json-simplify-35`
1348×	`rational.json-simplify-53`
1022×	`rational.json-simplify-39`
862×	`rational.json-simplify-59`
610×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	10	17
2	12	17
3	14	17
4	18	17
5	38	17
6	191	17
7	1970	17
8	5942	17
9	7797	17

Stop Event

1×	node limit

Counts

1 → 3

Calls

Call 1

Inputs
(sqrt.f64 (.f64 (.f64 2 x) x))

Outputs
(sqrt.f64 (.f64 (.f64 2 x) x))
(sqrt.f64 (.f64 x (.f64 2 x)))
(sqrt.f64 (.f64 2 (.f64 x x)))

eval1.0ms (0%)

Compiler: Compiled 19 to 13 computations (31.6% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

31.8b

Counts

4 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	31.8b	(sqrt.f64 (.f64 (.f64 2 x) x))

Compiler

Compiled 7 to 5 computations (28.6% saved)

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	30.8b	(sqrt.f64 (.f64 (.f64 2 x) x))

Compiler

Compiled 17 to 11 computations (35.3% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite99.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

2056×	`rational.json-1`
1464×	`rational.json-simplify-35`
1168×	`rational.json-simplify-2`
1036×	`exponential.json-3`
1036×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	52	17
2	109	17
3	214	17
4	385	17
5	924	17
6	3092	17
7	7904	17

Stop Event

1×	node limit

Counts

1 → 24

Calls

Call 1

Inputs
(sqrt.f64 (.f64 (.f64 2 x) x))

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

Outputs

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

simplify109.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

1662×	`rational.json-simplify-35`
1490×	`rational.json-simplify-46`
1036×	`rational.json-simplify-2`
840×	`rational.json-simplify-1`
568×	`rational.json-simplify-19`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	54	564
1	106	556
2	387	556
3	1086	556
4	1760	556
5	3462	556
6	6312	556
7	7027	556

Stop Event

1×	node limit

Counts

36 → 29

Calls

Call 1

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

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

eval5.0ms (0.1%)

Compiler: Compiled 284 to 200 computations (29.6% saved)

prune96.0ms (1.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	27	2	29
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	27	3	30

Error

0.2b

Counts

30 → 3

Alt Table

Click to see full alt table

Status	Error	Program
▶	32.5b	(*.f64 (sqrt.f64 2) (neg.f64 x))
▶	30.5b	(*.f64 (sqrt.f64 2) x)
✓	31.8b	(sqrt.f64 (.f64 (.f64 2 x) x))

Compiler

Compiled 18 to 14 computations (22.2% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.4b	(*.f64 (sqrt.f64 2) x)

Compiler

Compiled 9 to 7 computations (22.2% saved)

series0.0ms (0%)

Counts

1 → 0

Calls

3 calls:

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

rewrite221.0ms (4.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1740×	`rational.json-simplify-35`
1606×	`rational.json-1`
1606×	`rational.json-2`
1508×	`rational.json-simplify-53`
1262×	`exponential.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	45	11
2	95	11
3	183	11
4	323	11
5	705	11
6	1680	11
7	2910	11
8	3832	11
9	4975	11
10	6124	11
11	7083	11
12	7083	11
13	7710	11

Stop Event

1×	node limit

Counts

1 → 15

Calls

Call 1

Inputs
(*.f64 (sqrt.f64 2) x)

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

Outputs

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

simplify1.1s (20%)

Algorithm

1×	egg-herbie

Rules

3900×	`rational.json-simplify-35`
2832×	`rational.json-simplify-2`
1574×	`rational.json-simplify-53`
960×	`exponential.json-simplify-26`
930×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	47	165
1	136	165
2	291	165
3	819	165
4	2034	165
5	3334	165
6	4237	165
7	4530	165
8	4672	165
9	4779	165
10	4886	165
11	5468	165
12	5747	165
13	5965	165
14	6156	165
15	6258	165
16	6405	165
17	6484	165
18	6484	165
19	6591	165
20	6698	165
21	6805	165
22	6921	165
23	7028	165
24	7135	165
25	7466	165
26	7573	165
27	7680	165
28	7787	165
29	7894	165

Stop Event

1×	node limit

Counts

15 → 16

Calls

Call 1

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

Outputs
(+.f64 (*.f64 (sqrt.f64 2) x) 0)
(*.f64 (sqrt.f64 2) x)
(+.f64 0 (*.f64 (sqrt.f64 2) x))
(*.f64 (sqrt.f64 2) x)
(+.f64 (.f64 (sqrt.f64 2) (.f64 x 1/2)) (.f64 (sqrt.f64 2) (.f64 x 1/2)))
(*.f64 (sqrt.f64 2) x)
(-.f64 (*.f64 (sqrt.f64 2) x) 0)
(*.f64 (sqrt.f64 2) x)
(/.f64 (*.f64 (sqrt.f64 2) x) 1)
(*.f64 (sqrt.f64 2) x)
(/.f64 (.f64 2 (.f64 (sqrt.f64 2) x)) 2)
(*.f64 (sqrt.f64 2) x)
(/.f64 (.f64 (sqrt.f64 2) (.f64 x 4)) 4)
(*.f64 (sqrt.f64 2) x)
(/.f64 (.f64 (sqrt.f64 2) (.f64 x 8)) 8)
(*.f64 (sqrt.f64 2) x)
(/.f64 (.f64 2 (.f64 16 (.f64 (sqrt.f64 2) (.f64 x 4)))) 128)
(*.f64 (sqrt.f64 2) x)
(/.f64 (.f64 16 (.f64 (sqrt.f64 2) x)) 16)
(*.f64 (sqrt.f64 2) x)
(/.f64 (.f64 (sqrt.f64 2) (.f64 8 (*.f64 x 4))) 32)
(*.f64 (sqrt.f64 2) x)
(/.f64 (.f64 16 (.f64 (sqrt.f64 2) (*.f64 x 4))) 64)
(*.f64 (sqrt.f64 2) x)
(/.f64 (.f64 2 (.f64 2 (.f64 16 (.f64 (sqrt.f64 2) (*.f64 x 4))))) 256)
(*.f64 (sqrt.f64 2) x)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 16 (.f64 (sqrt.f64 2) (.f64 x 4)))))) 512)
(*.f64 (sqrt.f64 2) x)
(pow.f64 (*.f64 (sqrt.f64 2) x) 1)
(*.f64 (sqrt.f64 2) x)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.4b	(*.f64 (sqrt.f64 2) (neg.f64 x))

Compiler

Compiled 12 to 8 computations (33.3% saved)

series0.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite128.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1910×	`rational.json-simplify-35`
1610×	`rational.json-1`
1610×	`rational.json-2`
1610×	`rational.json-4`
1610×	`rational.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	15
1	55	15
2	125	15
3	260	15
4	512	15
5	1218	15
6	2586	15
7	4474	15
8	5728	15
9	7320	15

Stop Event

1×	node limit

Counts

1 → 25

Calls

Call 1

Inputs
(*.f64 (sqrt.f64 2) (neg.f64 x))

Outputs

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

simplify276.0ms (5.2%)

Algorithm

1×	egg-herbie

Rules

2282×	`rational.json-simplify-2`
1868×	`rational.json-simplify-35`
1724×	`rational.json-simplify-1`
1168×	`rational.json-simplify-41`
1086×	`rational.json-simplify-53`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	68	577
1	174	577
2	373	577
3	909	577
4	2522	577
5	4652	577
6	5254	577
7	5617	577
8	5876	577
9	6143	577
10	6179	577
11	7445	577
12	7883	577

Stop Event

1×	node limit

Counts

37 → 30

Calls

Call 1

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

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

eval10.0ms (0.2%)

Compiler: Compiled 423 to 364 computations (13.9% saved)

prune8.0ms (0.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

0.2b

Counts

49 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	32.5b	(*.f64 (sqrt.f64 2) (neg.f64 x))
✓	30.5b	(*.f64 (sqrt.f64 2) x)
✓	31.8b	(sqrt.f64 (.f64 (.f64 2 x) x))

Compiler

Compiled 18 to 14 computations (22.2% saved)

regimes67.0ms (1.3%)

Accuracy

Total -62.2b remaining (-13839.1%)

Threshold costs -62.2b (-13839.1%)

Counts

3 → 2

Calls

Call 1

Inputs
(*.f64 (sqrt.f64 2) x)
(*.f64 (sqrt.f64 2) (neg.f64 x))
(sqrt.f64 (.f64 (.f64 2 x) x))

Outputs
(*.f64 (sqrt.f64 2) (neg.f64 x))
(*.f64 (sqrt.f64 2) x)

Calls

3 calls:

52.0ms	(sqrt.f64 (.f64 (.f64 2 x) x))
7.0ms	(.f64 (.f64 2 x) x)
7.0ms	x

Results

Error	Segments	Branch
0.4b	2	`x`
14.4b	3	`(sqrt.f64 (.f64 (.f64 2 x) x))`
14.4b	3	`(.f64 (.f64 2 x) x)`

Compiler

Compiled 31 to 22 computations (29% saved)

bsearch19.0ms (0.4%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
19.0ms	-1.0079072536098313e-305	3.603476287487585e-298

Results

14.0ms

160×

body

256

valid

Compiler

Compiled 141 to 118 computations (16.3% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	46

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs

(if (<=.f64 x -2024022533073/101201126653655309176247673359458653524778324882071059178450679013715169783997673445980191850718562247593538932158405955694904368692896738433506699970369254960758712138283180682233453871046608170619883839236372534281003741712346349309051677824579778170405028256179384776166707307615251266093163754323003131653853870546747392) (*.f64 (sqrt.f64 2) (neg.f64 x)) (*.f64 (sqrt.f64 2) x))

(*.f64 (sqrt.f64 2) x)

Outputs

(if (<=.f64 x -2024022533073/101201126653655309176247673359458653524778324882071059178450679013715169783997673445980191850718562247593538932158405955694904368692896738433506699970369254960758712138283180682233453871046608170619883839236372534281003741712346349309051677824579778170405028256179384776166707307615251266093163754323003131653853870546747392) (*.f64 (sqrt.f64 2) (neg.f64 x)) (*.f64 (sqrt.f64 2) x))

(*.f64 (sqrt.f64 2) x)

Compiler

Compiled 19 to 15 computations (21.1% saved)

soundness153.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

1662×	`rational.json-simplify-35`
1490×	`rational.json-simplify-46`
1036×	`rational.json-simplify-2`
840×	`rational.json-simplify-1`
568×	`rational.json-simplify-19`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	54	564
1	106	556
2	387	556
3	1086	556
4	1760	556
5	3462	556
6	6312	556
7	7027	556

Stop Event

1×	node limit

Compiler

Compiled 18 to 15 computations (16.7% saved)

end20.0ms (0.4%)

Compiler: Compiled 18 to 14 computations (22.2% saved)

Details

analyze3.0ms (0.1%)

sample2.7s (51.3%)

preprocess136.0ms (2.6%)

simplify140.0ms (2.7%)

eval1.0ms (0%)

prune1.0ms (0%)

localize7.0ms (0.1%)

series1.0ms (0%)

rewrite99.0ms (1.9%)

simplify109.0ms (2.1%)

eval5.0ms (0.1%)

prune96.0ms (1.8%)

localize4.0ms (0.1%)

series0.0ms (0%)

rewrite221.0ms (4.2%)

simplify1.1s (20%)

localize6.0ms (0.1%)

series0.0ms (0%)

rewrite128.0ms (2.4%)

simplify276.0ms (5.2%)

eval10.0ms (0.2%)

prune8.0ms (0.2%)

regimes67.0ms (1.3%)

bsearch19.0ms (0.4%)

simplify2.0ms (0%)

soundness153.0ms (2.9%)

end20.0ms (0.4%)

Profiling