Details

analyze55.0ms (2.6%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
25%	25%	74.9%	0.1%	0%	0%	0%	5
37.5%	37.5%	62.4%	0.1%	0%	0%	0%	6
50%	43.7%	43.7%	0.1%	12.5%	0%	0%	7
60.7%	53.1%	34.3%	0.1%	12.5%	0%	0%	8
71.2%	57.8%	23.4%	0.1%	18.7%	0%	0%	9
77.9%	63.2%	18%	0.1%	18.7%	0%	0%	10
84.5%	66%	12.1%	0.1%	21.9%	0%	0%	11
88.3%	68.9%	9.2%	0.1%	21.9%	0%	0%	12

Compiler

Compiled 10 to 7 computations (30% saved)

sample763.0ms (36.4%)

Results

723.0ms	8256×	body	256	valid
28.0ms	347×	body	256	infinite

Bogosity

preprocess143.0ms (6.8%)

Algorithm

2×	egg-herbie

Rules

1088×	`rational.json-simplify-2`
922×	`rational.json-simplify-44`
906×	`rational.json-simplify-37`
844×	`rational.json-simplify-39`
820×	`rational.json-simplify-47`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	38
1	21	38
2	29	38
3	65	38
4	361	38
5	3916	38
6	6211	38
7	7296	38
8	7968	38
0	2	2

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(.f64 x (+.f64 1 (.f64 y y)))
(.f64 y (+.f64 1 (.f64 x x)))

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

Compiler

Compiled 11 to 8 computations (27.3% saved)

simplify128.0ms (6.1%)

Algorithm

1×	egg-herbie

Rules

1810×	`rational.json-simplify-35`
1346×	`rational.json-simplify-53`
1010×	`rational.json-simplify-39`
864×	`rational.json-simplify-59`
716×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	14	19
2	18	19
3	36	19
4	185	19
5	1965	19
6	5909	19
7	7834	19

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(.f64 x (+.f64 1 (.f64 y y)))

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

eval0.0ms (0%)

Compiler: Compiled 16 to 9 computations (43.8% 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

4.6b

Counts

3 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	4.6b	(.f64 x (-.f64 (.f64 y y) -1))

Compiler

Compiled 9 to 6 computations (33.3% saved)

localize7.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 20 to 9 computations (55% saved)

series2.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite69.0ms (3.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1658×	`bool.json-1`
1658×	`bool.json-2`
1634×	`rational.json-1`
1634×	`rational.json-2`
1278×	`bool.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	84	19
2	246	19
3	549	19
4	1731	19
5	5528	19

Stop Event

1×	node limit

Counts

1 → 8

Calls

Call 1

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

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

Outputs

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

simplify152.0ms (7.3%)

Algorithm

1×	egg-herbie

Rules

1160×	`rational.json-simplify-2`
1060×	`rational.json-simplify-59`
1028×	`rational.json-simplify-19`
840×	`rational.json-simplify-1`
690×	`rational.json-simplify-53`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	34	578
1	77	578
2	144	578
3	315	578
4	951	578
5	3654	578
6	5850	578
7	7076	578
8	7970	578

Stop Event

1×	node limit

Counts

32 → 14

Calls

Call 1

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

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

eval2.0ms (0.1%)

Compiler: Compiled 132 to 82 computations (37.9% saved)

prune3.0ms (0.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	12	2	14
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	12	3	15

Error

4.4b

Counts

15 → 3

Alt Table

Click to see full alt table

Status	Error	Program
▶	4.6b	(+.f64 (*.f64 (pow.f64 y 2) x) x)
✓	4.6b	(.f64 x (-.f64 (.f64 y y) -1))
	19.6b	x

Compiler

Compiled 21 to 14 computations (33.3% saved)

localize9.0ms (0.4%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (*.f64 (pow.f64 y 2) x) x)
✓	9.3b	(*.f64 (pow.f64 y 2) x)

Compiler

Compiled 20 to 12 computations (40% saved)

series2.0ms (0.1%)

Counts

2 → 15

Calls

12 calls:

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

rewrite103.0ms (4.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1968×	`bool.json-1`
1968×	`bool.json-2`
1212×	`rational.json-simplify-35`
1206×	`rational.json-1`
1206×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	32
1	79	32
2	212	32
3	445	32
4	930	32
5	2058	32
6	4395	32
7	7552	32

Stop Event

1×	node limit

Counts

2 → 42

Calls

Call 1

Inputs
(*.f64 (pow.f64 y 2) x)
(+.f64 (*.f64 (pow.f64 y 2) x) x)

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

Outputs

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

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

simplify397.0ms (18.9%)

Algorithm

1×	egg-herbie

Rules

2202×	`rational.json-simplify-35`
2174×	`rational.json-simplify-2`
1512×	`rational.json-simplify-1`
970×	`rational.json-simplify-52`
900×	`rational.json-simplify-53`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	97	987
1	216	987
2	461	987
3	1201	987
4	2350	987
5	3120	987
6	3482	987
7	3720	987
8	3993	987
9	4412	987
10	5178	987
11	5862	987
12	6316	987
13	6777	987
14	6915	987
15	7115	987
16	7547	987
17	7731	987
18	7854	987

Stop Event

1×	node limit

Counts

57 → 48

Calls

Call 1

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

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

eval11.0ms (0.5%)

Compiler: Compiled 532 to 392 computations (26.3% saved)

prune7.0ms (0.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	48	0	48
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	48	3	51

Error

4.4b

Counts

51 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	4.6b	(+.f64 (*.f64 (pow.f64 y 2) x) x)
✓	4.6b	(.f64 x (-.f64 (.f64 y y) -1))
	19.6b	x

Compiler

Compiled 21 to 14 computations (33.3% saved)

eval0.0ms (0%)

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

prune1.0ms (0.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

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

Error

4.4b

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	4.6b	(+.f64 (*.f64 (pow.f64 y 2) x) x)
✓	4.6b	(.f64 x (-.f64 (.f64 y y) -1))
	19.6b	x

Compiler

Compiled 21 to 14 computations (33.3% saved)

eval0.0ms (0%)

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

prune1.0ms (0.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

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

Error

4.4b

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	4.6b	(+.f64 (*.f64 (pow.f64 y 2) x) x)
✓	4.6b	(.f64 x (-.f64 (.f64 y y) -1))
	19.6b	x

Compiler

Compiled 21 to 14 computations (33.3% saved)

regimes21.0ms (1%)

Counts

4 → 1

Calls

Call 1

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

Outputs
(+.f64 (*.f64 (pow.f64 y 2) x) x)

Calls

5 calls:

7.0ms	x
4.0ms	(.f64 x (+.f64 1 (.f64 y y)))
3.0ms	y
3.0ms	(+.f64 1 (*.f64 y y))
3.0ms	(*.f64 y y)

Results

Error	Segments	Branch
4.6b	1	`x`
4.6b	1	`y`
4.6b	1	`(.f64 x (+.f64 1 (.f64 y y)))`
4.6b	1	`(+.f64 1 (*.f64 y y))`
4.6b	1	`(*.f64 y y)`

Compiler

Compiled 51 to 31 computations (39.2% saved)

regimes15.0ms (0.7%)

Accuracy

Total -15.1b remaining (-331.1%)

Threshold costs -15.1b (-331.1%)

Counts

3 → 1

Calls

Call 1

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

Outputs
(.f64 x (+.f64 1 (.f64 y y)))

Calls

5 calls:

4.0ms	y
3.0ms	(.f64 x (+.f64 1 (.f64 y y)))
3.0ms	x
2.0ms	(*.f64 y y)
2.0ms	(+.f64 1 (*.f64 y y))

Results

Error	Segments	Branch
4.6b	1	`x`
4.6b	1	`y`
4.6b	1	`(.f64 x (+.f64 1 (.f64 y y)))`
4.6b	1	`(+.f64 1 (*.f64 y y))`
4.6b	1	`(*.f64 y y)`

Compiler

Compiled 44 to 27 computations (38.6% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	39

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(+.f64 (*.f64 (pow.f64 y 2) x) x)
(.f64 x (+.f64 1 (.f64 y y)))
x

Outputs
(+.f64 (*.f64 (pow.f64 y 2) x) x)
(.f64 x (+.f64 1 (.f64 y y)))
x

Compiler

Compiled 21 to 14 computations (33.3% saved)

soundness181.0ms (8.6%)

Algorithm

1×	egg-herbie

Rules

1810×	`rational.json-simplify-35`
1346×	`rational.json-simplify-53`
1010×	`rational.json-simplify-39`
864×	`rational.json-simplify-59`
716×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	14	19
2	18	19
3	36	19
4	185	19
5	1965	19
6	5909	19
7	7834	19

Stop Event

1×	node limit

Compiler

Compiled 16 to 9 computations (43.8% saved)

end20.0ms (0.9%)

Compiler: Compiled 17 to 10 computations (41.2% saved)

Details

analyze55.0ms (2.6%)

sample763.0ms (36.4%)

preprocess143.0ms (6.8%)

simplify128.0ms (6.1%)

eval0.0ms (0%)

prune1.0ms (0%)

localize7.0ms (0.3%)

series2.0ms (0.1%)

rewrite69.0ms (3.3%)

simplify152.0ms (7.3%)

eval2.0ms (0.1%)

prune3.0ms (0.1%)

localize9.0ms (0.4%)

series2.0ms (0.1%)

rewrite103.0ms (4.9%)

simplify397.0ms (18.9%)

eval11.0ms (0.5%)

prune7.0ms (0.3%)

eval0.0ms (0%)

prune1.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0.1%)

regimes21.0ms (1%)

regimes15.0ms (0.7%)

simplify2.0ms (0.1%)

soundness181.0ms (8.6%)

end20.0ms (0.9%)

Profiling