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 10 to 5 computations (50% saved)

sample1.0s (18.4%)

Results

1.0s

8256×

body

256

valid

Bogosity

preprocess109.0ms (2%)

Algorithm

2×	egg-herbie

Rules

1374×	`rational.json-simplify-2`
1110×	`rational.json-simplify-59`
1048×	`rational.json-simplify-19`
896×	`rational.json-simplify-1`
688×	`rational.json-simplify-39`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	10	17
2	16	17
3	40	17
4	236	17
5	2866	17
6	5407	17
7	7532	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 x x) (.f64 x x)))

Outputs
(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))
(sqrt.f64 (*.f64 x (+.f64 x x)))

Compiler

Compiled 10 to 5 computations (50% saved)

simplify113.0ms (2%)

Algorithm

1×	egg-herbie

Rules

1374×	`rational.json-simplify-2`
1110×	`rational.json-simplify-59`
1048×	`rational.json-simplify-19`
896×	`rational.json-simplify-1`
688×	`rational.json-simplify-39`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	10	17
2	16	17
3	40	17
4	236	17
5	2866	17
6	5407	17
7	7532	17

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))

Outputs
(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))
(sqrt.f64 (*.f64 x (+.f64 x x)))

eval0.0ms (0%)

Compiler: Compiled 15 to 7 computations (53.3% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

31.8b

Counts

3 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 7 to 4 computations (42.9% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 16 to 4 computations (75% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite65.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1560×	`rational.json-simplify-35`
1202×	`rational.json-simplify-2`
1098×	`exponential.json-3`
1098×	`rational.json-1`
1098×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	45	17
2	102	17
3	214	17
4	402	17
5	962	17
6	3232	17

Stop Event

1×	node limit

Counts

1 → 24

Calls

Call 1

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

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

Outputs

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

simplify1.0s (18.4%)

Algorithm

1×	egg-herbie

Rules

9380×	`rational.json-simplify-41`
3294×	`rational.json-simplify-2`
3082×	`rational.json-simplify-51`
2104×	`rational.json-simplify-35`
1142×	`rational.json-simplify-49`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	54	564
1	105	556
2	392	556
3	1014	556
4	1567	556
5	2197	556
6	2534	556
7	2616	556
8	2673	556
9	2712	556
10	2750	556
11	2788	556
12	2826	556
13	2864	556
14	2902	556
15	2940	556
16	2978	556
17	3016	556
18	3054	556
19	3809	556
20	6173	556
21	6242	556
22	6281	556
23	6318	556
24	6354	556
25	6390	556
26	6426	556
27	6462	556
28	6498	556
29	6534	556
30	6570	556
31	6606	556
32	6642	556
33	6678	556
34	6714	556
35	6750	556
36	7785	556
37	7785	556
38	7785	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 x (+.f64 x x))) 0)
(+.f64 0 (sqrt.f64 (*.f64 x (+.f64 x x))))
(+.f64 (.f64 (sqrt.f64 (.f64 x (+.f64 x x))) 1/2) (.f64 (sqrt.f64 (.f64 x (+.f64 x x))) 1/2))
(-.f64 (sqrt.f64 (*.f64 x (+.f64 x x))) 0)
(.f64 (sqrt.f64 (.f64 x (+.f64 x x))) 1)
(.f64 1 (sqrt.f64 (.f64 x (+.f64 x x))))
(.f64 2 (.f64 (sqrt.f64 (*.f64 x (+.f64 x x))) 1/2))
(.f64 (.f64 (sqrt.f64 (*.f64 x (+.f64 x x))) 2) 1/2)
(.f64 4 (.f64 (sqrt.f64 (*.f64 x (+.f64 x x))) 1/4))
(.f64 (.f64 (sqrt.f64 (*.f64 x (+.f64 x x))) 4) 1/4)
(.f64 1/2 (.f64 (sqrt.f64 (*.f64 x (+.f64 x x))) 2))
(.f64 (.f64 (sqrt.f64 (*.f64 x (+.f64 x x))) 8) 1/8)
(.f64 1/4 (.f64 (sqrt.f64 (*.f64 x (+.f64 x x))) 4))
(.f64 (.f64 (sqrt.f64 (*.f64 x (+.f64 x x))) 1/2) 2)
(.f64 1/8 (.f64 (sqrt.f64 (*.f64 x (+.f64 x x))) 8))
(.f64 (.f64 (sqrt.f64 (*.f64 x (+.f64 x x))) 1/4) 4)
(/.f64 (sqrt.f64 (*.f64 x (+.f64 x x))) 1)
(/.f64 (.f64 (sqrt.f64 (.f64 x (+.f64 x x))) 2) 2)
(/.f64 (.f64 (sqrt.f64 (.f64 x (+.f64 x x))) 4) 4)
(/.f64 (.f64 (sqrt.f64 (.f64 x (+.f64 x x))) 8) 8)
(/.f64 (.f64 2 (.f64 (sqrt.f64 (*.f64 x (+.f64 x x))) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (.f64 x (+.f64 x x))) 8))) 32)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (.f64 x (+.f64 x x))) 8))) (.f64 2 (.f64 2 (.f64 (sqrt.f64 (.f64 x (+.f64 x x))) 8)))) 64)
(pow.f64 (sqrt.f64 (*.f64 x (+.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 x (+.f64 x x))) 0)
(sqrt.f64 (*.f64 x (+.f64 x x)))
(+.f64 0 (sqrt.f64 (*.f64 x (+.f64 x x))))
(sqrt.f64 (*.f64 x (+.f64 x x)))
(+.f64 (.f64 (sqrt.f64 (.f64 x (+.f64 x x))) 1/2) (.f64 (sqrt.f64 (.f64 x (+.f64 x x))) 1/2))
(sqrt.f64 (*.f64 x (+.f64 x x)))
(-.f64 (sqrt.f64 (*.f64 x (+.f64 x x))) 0)
(sqrt.f64 (*.f64 x (+.f64 x x)))
(.f64 (sqrt.f64 (.f64 x (+.f64 x x))) 1)
(sqrt.f64 (*.f64 x (+.f64 x x)))
(.f64 1 (sqrt.f64 (.f64 x (+.f64 x x))))
(sqrt.f64 (*.f64 x (+.f64 x x)))
(.f64 2 (.f64 (sqrt.f64 (*.f64 x (+.f64 x x))) 1/2))
(sqrt.f64 (*.f64 x (+.f64 x x)))
(.f64 (.f64 (sqrt.f64 (*.f64 x (+.f64 x x))) 2) 1/2)
(sqrt.f64 (*.f64 x (+.f64 x x)))
(.f64 4 (.f64 (sqrt.f64 (*.f64 x (+.f64 x x))) 1/4))
(sqrt.f64 (*.f64 x (+.f64 x x)))
(.f64 (.f64 (sqrt.f64 (*.f64 x (+.f64 x x))) 4) 1/4)
(sqrt.f64 (*.f64 x (+.f64 x x)))
(.f64 1/2 (.f64 (sqrt.f64 (*.f64 x (+.f64 x x))) 2))
(sqrt.f64 (*.f64 x (+.f64 x x)))
(.f64 (.f64 (sqrt.f64 (*.f64 x (+.f64 x x))) 8) 1/8)
(sqrt.f64 (*.f64 x (+.f64 x x)))
(.f64 1/4 (.f64 (sqrt.f64 (*.f64 x (+.f64 x x))) 4))
(sqrt.f64 (*.f64 x (+.f64 x x)))
(.f64 (.f64 (sqrt.f64 (*.f64 x (+.f64 x x))) 1/2) 2)
(sqrt.f64 (*.f64 x (+.f64 x x)))
(.f64 1/8 (.f64 (sqrt.f64 (*.f64 x (+.f64 x x))) 8))
(sqrt.f64 (*.f64 x (+.f64 x x)))
(.f64 (.f64 (sqrt.f64 (*.f64 x (+.f64 x x))) 1/4) 4)
(sqrt.f64 (*.f64 x (+.f64 x x)))
(/.f64 (sqrt.f64 (*.f64 x (+.f64 x x))) 1)
(sqrt.f64 (*.f64 x (+.f64 x x)))
(/.f64 (.f64 (sqrt.f64 (.f64 x (+.f64 x x))) 2) 2)
(sqrt.f64 (*.f64 x (+.f64 x x)))
(/.f64 (.f64 (sqrt.f64 (.f64 x (+.f64 x x))) 4) 4)
(sqrt.f64 (*.f64 x (+.f64 x x)))
(/.f64 (.f64 (sqrt.f64 (.f64 x (+.f64 x x))) 8) 8)
(sqrt.f64 (*.f64 x (+.f64 x x)))
(/.f64 (.f64 2 (.f64 (sqrt.f64 (*.f64 x (+.f64 x x))) 8)) 16)
(sqrt.f64 (*.f64 x (+.f64 x x)))
(/.f64 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (.f64 x (+.f64 x x))) 8))) 32)
(sqrt.f64 (*.f64 x (+.f64 x x)))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (sqrt.f64 (.f64 x (+.f64 x x))) 8))) (.f64 2 (.f64 2 (.f64 (sqrt.f64 (.f64 x (+.f64 x x))) 8)))) 64)
(sqrt.f64 (*.f64 x (+.f64 x x)))
(pow.f64 (sqrt.f64 (*.f64 x (+.f64 x x))) 1)
(sqrt.f64 (*.f64 x (+.f64 x x)))

eval8.0ms (0.1%)

Compiler: Compiled 284 to 121 computations (57.4% saved)

prune4.0ms (0.1%)

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 x (+.f64 x x)))

Compiler

Compiled 18 to 13 computations (27.8% 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	@	0	(*.f64 (sqrt.f64 2) x)
0.0ms	x	@	inf	(*.f64 (sqrt.f64 2) x)

rewrite241.0ms (4.4%)

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.0s (19%)

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

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

simplify275.0ms (5%)

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

eval11.0ms (0.2%)

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

prune7.0ms (0.1%)

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 x (+.f64 x x)))

Compiler

Compiled 18 to 13 computations (27.8% saved)

regimes32.0ms (0.6%)

Accuracy

Total -62.2b remaining (-13839.1%)

Threshold costs -62.2b (-13839.1%)

Counts

4 → 2

Calls

Call 1

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

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

Calls

4 calls:

8.0ms	(+.f64 (.f64 x x) (.f64 x x))
8.0ms	x
7.0ms	(sqrt.f64 (+.f64 (.f64 x x) (.f64 x x)))
7.0ms	(*.f64 x x)

Results

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

Compiler

Compiled 47 to 24 computations (48.9% saved)

bsearch16.0ms (0.3%)

Algorithm

1×	binary-search

Steps

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

Results

14.0ms

160×

body

256

valid

Compiler

Compiled 143 to 117 computations (18.2% saved)

simplify3.0ms (0.1%)

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)

soundness1.4s (25.2%)

Algorithm

3×	egg-herbie

Rules

9380×	`rational.json-simplify-41`
3294×	`rational.json-simplify-2`
3082×	`rational.json-simplify-51`
2104×	`rational.json-simplify-35`
1374×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	10	17
2	16	17
3	40	17
4	236	17
5	2866	17
6	5407	17
7	7532	17
0	54	564
1	105	556
2	392	556
3	1014	556
4	1567	556
5	2197	556
6	2534	556
7	2616	556
8	2673	556
9	2712	556
10	2750	556
11	2788	556
12	2826	556
13	2864	556
14	2902	556
15	2940	556
16	2978	556
17	3016	556
18	3054	556
19	3809	556
20	6173	556
21	6242	556
22	6281	556
23	6318	556
24	6354	556
25	6390	556
26	6426	556
27	6462	556
28	6498	556
29	6534	556
30	6570	556
31	6606	556
32	6642	556
33	6678	556
34	6714	556
35	6750	556
36	7785	556
37	7785	556
38	7785	556
0	7	17
1	10	17
2	16	17
3	40	17
4	236	17
5	2866	17
6	5407	17
7	7532	17

Stop Event

1×	node limit
1×	node limit
1×	node limit

Compiler

Compiled 48 to 29 computations (39.6% saved)

end19.0ms (0.3%)

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

Details

analyze3.0ms (0.1%)

sample1.0s (18.4%)

preprocess109.0ms (2%)

simplify113.0ms (2%)

eval0.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0.1%)

series1.0ms (0%)

rewrite65.0ms (1.2%)

simplify1.0s (18.4%)

eval8.0ms (0.1%)

prune4.0ms (0.1%)

localize4.0ms (0.1%)

series0.0ms (0%)

rewrite241.0ms (4.4%)

simplify1.0s (19%)

localize6.0ms (0.1%)

series0.0ms (0%)

rewrite130.0ms (2.4%)

simplify275.0ms (5%)

eval11.0ms (0.2%)

prune7.0ms (0.1%)

regimes32.0ms (0.6%)

bsearch16.0ms (0.3%)

simplify3.0ms (0.1%)

soundness1.4s (25.2%)

end19.0ms (0.3%)

Profiling