Details

analyze1.2s (15.1%)

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
0%	0%	99.9%	0.1%	0%	0%	0%	5
0%	0%	99.9%	0.1%	0%	0%	0%	6
12.5%	12.5%	87.4%	0.1%	0%	0%	0%	7
14.8%	12.5%	71.8%	0.1%	15.6%	0%	0%	8
22.6%	18.7%	64%	0.1%	17.2%	0%	0%	9
32.7%	25%	51.5%	0.1%	23.4%	0%	0%	10
41%	31.2%	44.9%	0.1%	23.8%	0%	0%	11
49.5%	37.1%	37.8%	0.1%	25%	0%	0%	12

Compiler

Compiled 13 to 9 computations (30.8% saved)

sample3.1s (39.8%)

Results

3.0s	8256×	body	256	valid
114.0ms	1171×	body	256	infinite

Bogosity

preprocess95.0ms (1.2%)

Algorithm

2×	egg-herbie

Rules

1158×	`rational.json-simplify-51`
1086×	`rational.json-simplify-19`
972×	`rational.json-simplify-46`
898×	`rational.json-simplify-54`
874×	`rational.json-simplify-49`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	100
1	31	100
2	53	100
3	115	100
4	558	100
5	3939	100
6	6485	100
0	3	3
1	3	3

Stop Event

1×	unsound
1×	node limit

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2
1

Call 2

Inputs
(-.f64 (.f64 x x) (.f64 (*.f64 y 4) z))
(-.f64 (.f64 y y) (.f64 (*.f64 x 4) z))
(-.f64 (.f64 z z) (.f64 (*.f64 y 4) x))
(-.f64 (.f64 x x) (.f64 (*.f64 z 4) y))

Outputs
(-.f64 (.f64 x x) (.f64 (*.f64 y 4) z))
(-.f64 (.f64 x x) (.f64 y (*.f64 4 z)))
(-.f64 (.f64 x x) (.f64 4 (*.f64 y z)))
(-.f64 (.f64 y y) (.f64 (*.f64 x 4) z))
(-.f64 (.f64 y y) (.f64 z (*.f64 x 4)))
(-.f64 (.f64 y y) (.f64 x (*.f64 4 z)))
(-.f64 (.f64 y y) (.f64 4 (*.f64 x z)))
(-.f64 (.f64 z z) (.f64 (*.f64 y 4) x))
(-.f64 (.f64 z z) (.f64 x (*.f64 y 4)))
(-.f64 (.f64 z z) (.f64 4 (*.f64 y x)))
(-.f64 (.f64 z z) (.f64 4 (*.f64 x y)))
(-.f64 (.f64 x x) (.f64 (*.f64 z 4) y))
(-.f64 (.f64 x x) (.f64 (*.f64 y 4) z))
(-.f64 (.f64 x x) (.f64 y (*.f64 4 z)))
(-.f64 (.f64 x x) (.f64 4 (*.f64 y z)))

Symmetry

(sort y z)

Compiler

Compiled 15 to 11 computations (26.7% saved)

simplify130.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

1812×	`rational.json-simplify-35`
1350×	`rational.json-simplify-53`
996×	`rational.json-simplify-39`
864×	`rational.json-simplify-59`
638×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	25
1	14	25
2	22	25
3	44	25
4	193	25
5	1988	25
6	5955	25
7	7844	25

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(-.f64 (.f64 x x) (.f64 (*.f64 y 4) z))

Outputs
(-.f64 (.f64 x x) (.f64 (*.f64 y 4) z))
(-.f64 (.f64 x x) (.f64 y (*.f64 4 z)))

eval1.0ms (0%)

Compiler: Compiled 21 to 12 computations (42.9% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

3 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(-.f64 (.f64 x x) (.f64 (*.f64 y 4) z))

Compiler

Compiled 12 to 8 computations (33.3% saved)

localize10.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (.f64 x x) (.f64 (*.f64 y 4) z))

Compiler

Compiled 27 to 14 computations (48.1% saved)

series5.0ms (0.1%)

Counts

1 → 36

Calls

9 calls:

Time	Variable		Point	Expression
2.0ms	y	@	-inf	(-.f64 (.f64 x x) (.f64 (*.f64 y 4) z))
1.0ms	x	@	0	(-.f64 (.f64 x x) (.f64 (*.f64 y 4) z))
0.0ms	y	@	inf	(-.f64 (.f64 x x) (.f64 (*.f64 y 4) z))
0.0ms	y	@	0	(-.f64 (.f64 x x) (.f64 (*.f64 y 4) z))
0.0ms	x	@	inf	(-.f64 (.f64 x x) (.f64 (*.f64 y 4) z))

rewrite72.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1766×	`bool.json-1`
1766×	`bool.json-2`
1738×	`rational.json-1`
1360×	`bool.json-3`
886×	`rational.json-simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	25
1	99	25
2	272	25
3	639	25
4	1941	25
5	5877	25

Stop Event

1×	node limit

Counts

1 → 22

Calls

Call 1

Inputs
(-.f64 (.f64 x x) (.f64 (*.f64 y 4) z))

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

Outputs

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

simplify124.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

1002×	`rational.json-simplify-19`
860×	`rational.json-simplify-2`
828×	`rational.json-simplify-48`
822×	`rational.json-simplify-1`
732×	`rational.json-simplify-39`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	56	1406
1	104	1318
2	219	1318
3	433	1318
4	1236	1318
5	3345	1318
6	4771	1318
7	6247	1318

Stop Event

1×	node limit

Counts

58 → 31

Calls

Call 1

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

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

eval7.0ms (0.1%)

Compiler: Compiled 350 to 204 computations (41.7% saved)

prune5.0ms (0.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Error

0.0b

Counts

32 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f64 (.f64 x x) (.f64 (*.f64 y 4) z))
▶	26.3b	(.f64 y (.f64 -4 z))
▶	26.3b	(.f64 -4 (.f64 y z))

Compiler

Compiled 28 to 20 computations (28.6% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 -4 (.f64 y z))

Compiler

Compiled 14 to 7 computations (50% saved)

series2.0ms (0%)

Counts

1 → 0

Calls

6 calls:

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

rewrite100.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1898×	`bool.json-1`
1898×	`bool.json-2`
1108×	`rational.json-1`
1108×	`rational.json-2`
1108×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	72	13
2	211	13
3	459	13
4	919	13
5	2009	13
6	4275	13
7	7315	13

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(.f64 -4 (.f64 y z))

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

Outputs

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

simplify784.0ms (10%)

Algorithm

1×	egg-herbie

Rules

6056×	`rational.json-simplify-35`
5138×	`rational.json-simplify-49`
1942×	`rational.json-simplify-2`
836×	`rational.json-simplify-1`
556×	`rational.json-simplify-53`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	41	143
1	100	143
2	218	143
3	562	143
4	1598	143
5	2763	143
6	3620	143
7	3966	143
8	4240	143
9	4453	143
10	4657	143
11	4659	143
12	4877	143
13	4888	143
14	4900	143
15	4900	143
16	5091	143
17	5283	143
18	5476	143
19	5669	143
20	5862	143
21	6055	143
22	6055	143
23	6248	143
24	6441	143
25	6634	143
26	6827	143
27	7020	143
28	7213	143

Stop Event

1×	node limit

Counts

11 → 12

Calls

Call 1

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

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

localize6.0ms (0.1%)

Compiler: Compiled 14 to 9 computations (35.7% saved)

eval2.0ms (0%)

Compiler: Compiled 119 to 78 computations (34.5% saved)

prune5.0ms (0.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	11	1	12
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	11	4	15

Error

0.0b

Counts

15 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	26.6b	(/.f64 (.f64 y (.f64 z -8)) 2)
✓	0.0b	(-.f64 (.f64 x x) (.f64 (*.f64 y 4) z))
✓	26.3b	(.f64 y (.f64 -4 z))
✓	26.3b	(.f64 -4 (.f64 y z))

Compiler

Compiled 38 to 28 computations (26.3% saved)

localize8.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 (.f64 y (.f64 z -8)) 2)

Compiler

Compiled 22 to 15 computations (31.8% saved)

series0.0ms (0%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	y	@	0	(/.f64 (.f64 y (.f64 z -8)) 2)
0.0ms	z	@	-inf	(/.f64 (.f64 y (.f64 z -8)) 2)
0.0ms	y	@	inf	(/.f64 (.f64 y (.f64 z -8)) 2)
0.0ms	z	@	inf	(/.f64 (.f64 y (.f64 z -8)) 2)
0.0ms	y	@	-inf	(/.f64 (.f64 y (.f64 z -8)) 2)

rewrite83.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1492×	`bool.json-1`
1492×	`bool.json-2`
1436×	`rational.json-1`
1436×	`rational.json-2`
1436×	`rational.json-4`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	96	19
2	294	13
3	673	13
4	1502	13
5	3287	13
6	5959	13

Stop Event

1×	node limit

Counts

1 → 97

Calls

Call 1

Inputs
(/.f64 (.f64 y (.f64 z -8)) 2)

Outputs

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

simplify362.0ms (4.6%)

Algorithm

1×	egg-herbie

Rules

3900×	`rational.json-simplify-35`
2052×	`rational.json-simplify-53`
1996×	`rational.json-simplify-2`
1320×	`rational.json-simplify-1`
1008×	`rational.json-simplify-41`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	192	1573
1	475	1573
2	1016	1573
3	1445	1573
4	2241	1573
5	2663	1573
6	3869	1573
7	4248	1573
8	4604	1573
9	4609	1573
10	6079	1573
11	6084	1573
12	6509	1573
13	6524	1573
14	6840	1573
15	7155	1573
16	7467	1573
17	7779	1573

Stop Event

1×	node limit

Counts

121 → 98

Calls

Call 1

Inputs
(.f64 -4 (.f64 y z))
(.f64 -4 (.f64 y z))
(.f64 -4 (.f64 y z))
(.f64 -4 (.f64 y z))
(.f64 -4 (.f64 y z))
(.f64 -4 (.f64 y z))
(.f64 -4 (.f64 y z))
(.f64 -4 (.f64 y z))
(.f64 -4 (.f64 y z))
(.f64 -4 (.f64 y z))
(.f64 -4 (.f64 y z))
(.f64 -4 (.f64 y z))
(.f64 -4 (.f64 y z))
(.f64 -4 (.f64 y z))
(.f64 -4 (.f64 y z))
(.f64 -4 (.f64 y z))
(.f64 -4 (.f64 y z))
(.f64 -4 (.f64 y z))
(.f64 -4 (.f64 y z))
(.f64 -4 (.f64 y z))
(.f64 -4 (.f64 y z))
(.f64 -4 (.f64 y z))
(.f64 -4 (.f64 y z))
(.f64 -4 (.f64 y z))
(+.f64 (.f64 z (.f64 y -4)) 0)
(+.f64 0 (.f64 z (.f64 y -4)))
(+.f64 (.f64 y (.f64 z -2)) (.f64 y (.f64 z -2)))
(-.f64 (.f64 z (.f64 y -4)) 0)
(.f64 y (.f64 z -4))
(.f64 z (.f64 y -4))
(.f64 -8 (.f64 y (*.f64 z 1/2)))
(.f64 (.f64 z -8) (*.f64 y 1/2))
(.f64 (.f64 y (*.f64 z -8)) 1/2)
(.f64 2 (.f64 y (*.f64 z -2)))
(.f64 (.f64 z (*.f64 y -4)) 1)
(.f64 1 (.f64 z (*.f64 y -4)))
(.f64 (.f64 z (*.f64 y -16)) 1/4)
(.f64 4 (/.f64 (.f64 y (*.f64 z -8)) 8))
(.f64 4 (.f64 (.f64 y 1/2) (.f64 z -2)))
(.f64 4 (.f64 (.f64 y 1/4) (.f64 z -4)))
(.f64 4 (.f64 (.f64 z -4) (.f64 y 1/4)))
(.f64 4 (.f64 (/.f64 (*.f64 z -2) 2) y))
(.f64 4 (.f64 (/.f64 y 8) (*.f64 z -8)))
(.f64 4 (.f64 (.f64 y -2) (.f64 z 1/2)))
(.f64 (.f64 y -8) (*.f64 z 1/2))
(.f64 (.f64 y 1/2) (*.f64 z -8))
(.f64 (+.f64 y y) (.f64 z -2))
(.f64 (.f64 (*.f64 y z) -32) 1/8)
(.f64 8 (.f64 (/.f64 (.f64 z -2) 2) (.f64 y 1/2)))
(.f64 8 (.f64 (/.f64 y 8) (*.f64 z -4)))
(.f64 8 (.f64 (.f64 z -2) (.f64 y 1/4)))
(.f64 8 (.f64 (/.f64 (*.f64 z -8) 16) y))
(.f64 8 (.f64 (/.f64 y 16) (*.f64 z -8)))
(.f64 8 (.f64 (.f64 y 1/4) (.f64 z -2)))
(.f64 (.f64 z -16) (*.f64 y 1/4))
(.f64 (+.f64 z z) (.f64 y -2))
(.f64 (+.f64 z z) (.f64 (*.f64 y 1/2) -4))
(.f64 (.f64 y z) -4)
(.f64 1/2 (.f64 y (*.f64 z -8)))
(.f64 (.f64 z 1/2) (*.f64 y -8))
(.f64 (.f64 z -4) y)
(.f64 (.f64 (.f64 z (.f64 y -16)) 4) 1/16)
(.f64 (.f64 y 4) (/.f64 (*.f64 z -2) 2))
(.f64 (.f64 y 4) (.f64 1/4 (.f64 z -4)))
(.f64 (.f64 y 4) (.f64 1/8 (.f64 z -8)))
(.f64 (.f64 y 4) (.f64 1/2 (.f64 z -2)))
(.f64 (.f64 y 4) (.f64 -2 (.f64 z 1/2)))
(.f64 (.f64 y -16) (*.f64 z 1/4))
(.f64 (.f64 z -32) (/.f64 y 8))
(.f64 (.f64 z -32) (.f64 (.f64 y 1/2) 1/4))
(.f64 (.f64 z -32) (.f64 1/2 (.f64 y 1/4)))
(.f64 (.f64 z -32) (*.f64 1/8 y))
(.f64 (.f64 z 4) (/.f64 (*.f64 y -8) 8))
(.f64 (.f64 z 4) (.f64 (.f64 y 1/2) -2))
(.f64 (.f64 z 4) (.f64 -4 (.f64 y 1/4)))
(.f64 (.f64 z 4) (*.f64 -1 y))
(.f64 (.f64 y -4) z)
(.f64 (.f64 y (*.f64 z 1/2)) -8)
(.f64 (.f64 z (+.f64 y y)) -2)
(.f64 -4 (.f64 y z))
(.f64 (.f64 y 1/4) (*.f64 z -16))
(.f64 (.f64 z -2) (+.f64 y y))
(.f64 1/4 (.f64 z (*.f64 y -16)))
(.f64 -16 (/.f64 (.f64 y z) 4))
(.f64 -16 (.f64 (.f64 y 1/2) (.f64 z 1/2)))
(.f64 -16 (.f64 z (*.f64 y 1/4)))
(.f64 -16 (.f64 y (*.f64 z 1/4)))
(.f64 (.f64 2 (.f64 y 4)) (.f64 1/8 (*.f64 z -4)))
(.f64 (.f64 2 (.f64 y 4)) (.f64 1/16 (*.f64 z -8)))
(.f64 (.f64 2 (.f64 y 4)) (.f64 1/4 (*.f64 z -2)))
(.f64 (.f64 2 (.f64 z -32)) (.f64 1/8 (*.f64 y 1/2)))
(.f64 (.f64 2 (.f64 z -32)) (.f64 1/4 (*.f64 y 1/4)))
(.f64 (.f64 2 (.f64 z -32)) (.f64 1/16 y))
(.f64 (.f64 2 (*.f64 y -16)) (/.f64 z 8))
(.f64 (.f64 2 (.f64 y -16)) (.f64 1/4 (*.f64 z 1/2)))
(.f64 (.f64 2 (*.f64 z (+.f64 y y))) -1)
(.f64 (.f64 z 1/4) (*.f64 y -16))
(.f64 -2 (.f64 z (+.f64 y y)))
(.f64 (.f64 y -2) (+.f64 z z))
(.f64 (.f64 y (*.f64 z -2)) 2)
(.f64 1/8 (.f64 (*.f64 y z) -32))
(.f64 (/.f64 (.f64 y (*.f64 z -8)) 8) 4)
(.f64 (/.f64 y 8) (.f64 z -32))
(.f64 (/.f64 (.f64 y z) 4) -16)
(.f64 (/.f64 (.f64 z -2) 2) (*.f64 y 4))
(.f64 (/.f64 z 8) (.f64 2 (*.f64 y -16)))
(.f64 -1 (.f64 2 (*.f64 z (+.f64 y y))))
(.f64 (/.f64 (.f64 y -8) 8) (*.f64 z 4))
(.f64 1/16 (.f64 (.f64 z (.f64 y -16)) 4))
(.f64 -32 (.f64 (.f64 y 1/2) (.f64 z 1/4)))
(.f64 -32 (.f64 (.f64 y 1/4) (.f64 z 1/2)))
(.f64 -32 (.f64 (.f64 z 1/2) (.f64 y 1/4)))
(.f64 -32 (.f64 (/.f64 z 8) y))
(.f64 (.f64 (.f64 y 1/2) (.f64 z 1/4)) -32)
(.f64 (.f64 (.f64 y 1/2) (.f64 z 1/2)) -16)
(.f64 (.f64 (.f64 y 1/2) 1/4) (.f64 z -32))
(.f64 (.f64 (*.f64 y 1/2) -4) (+.f64 z z))
(.f64 (.f64 y (*.f64 z 1/4)) -16)
(.f64 (.f64 (.f64 y 1/2) (.f64 z -2)) 4)
(.f64 (.f64 (.f64 y 1/2) -2) (.f64 z 4))
(neg.f64 (.f64 2 (.f64 z (+.f64 y y))))

Outputs
(.f64 -4 (.f64 y z))
(.f64 y (.f64 -4 z))
(.f64 -4 (.f64 y z))
(.f64 y (.f64 -4 z))
(.f64 -4 (.f64 y z))
(.f64 y (.f64 -4 z))
(.f64 -4 (.f64 y z))
(.f64 y (.f64 -4 z))
(.f64 -4 (.f64 y z))
(.f64 y (.f64 -4 z))
(.f64 -4 (.f64 y z))
(.f64 y (.f64 -4 z))
(.f64 -4 (.f64 y z))
(.f64 y (.f64 -4 z))
(.f64 -4 (.f64 y z))
(.f64 y (.f64 -4 z))
(.f64 -4 (.f64 y z))
(.f64 y (.f64 -4 z))
(.f64 -4 (.f64 y z))
(.f64 y (.f64 -4 z))
(.f64 -4 (.f64 y z))
(.f64 y (.f64 -4 z))
(.f64 -4 (.f64 y z))
(.f64 y (.f64 -4 z))
(.f64 -4 (.f64 y z))
(.f64 y (.f64 -4 z))
(.f64 -4 (.f64 y z))
(.f64 y (.f64 -4 z))
(.f64 -4 (.f64 y z))
(.f64 y (.f64 -4 z))
(.f64 -4 (.f64 y z))
(.f64 y (.f64 -4 z))
(.f64 -4 (.f64 y z))
(.f64 y (.f64 -4 z))
(.f64 -4 (.f64 y z))
(.f64 y (.f64 -4 z))
(.f64 -4 (.f64 y z))
(.f64 y (.f64 -4 z))
(.f64 -4 (.f64 y z))
(.f64 y (.f64 -4 z))
(.f64 -4 (.f64 y z))
(.f64 y (.f64 -4 z))
(.f64 -4 (.f64 y z))
(.f64 y (.f64 -4 z))
(.f64 -4 (.f64 y z))
(.f64 y (.f64 -4 z))
(.f64 -4 (.f64 y z))
(.f64 y (.f64 -4 z))
(+.f64 (.f64 z (.f64 y -4)) 0)
(.f64 y (.f64 -4 z))
(+.f64 0 (.f64 z (.f64 y -4)))
(.f64 y (.f64 -4 z))
(+.f64 (.f64 y (.f64 z -2)) (.f64 y (.f64 z -2)))
(.f64 y (.f64 -4 z))
(-.f64 (.f64 z (.f64 y -4)) 0)
(.f64 y (.f64 -4 z))
(.f64 y (.f64 z -4))
(.f64 y (.f64 -4 z))
(.f64 z (.f64 y -4))
(.f64 y (.f64 -4 z))
(.f64 -8 (.f64 y (*.f64 z 1/2)))
(.f64 y (.f64 -4 z))
(.f64 (.f64 z -8) (*.f64 y 1/2))
(.f64 y (.f64 -4 z))
(.f64 (.f64 y (*.f64 z -8)) 1/2)
(.f64 y (.f64 -4 z))
(.f64 2 (.f64 y (*.f64 z -2)))
(.f64 y (.f64 -4 z))
(.f64 (.f64 z (*.f64 y -4)) 1)
(.f64 y (.f64 -4 z))
(.f64 1 (.f64 z (*.f64 y -4)))
(.f64 y (.f64 -4 z))
(.f64 (.f64 z (*.f64 y -16)) 1/4)
(.f64 y (.f64 -4 z))
(.f64 4 (/.f64 (.f64 y (*.f64 z -8)) 8))
(.f64 y (.f64 -4 z))
(.f64 4 (.f64 (.f64 y 1/2) (.f64 z -2)))
(.f64 y (.f64 -4 z))
(.f64 4 (.f64 (.f64 y 1/4) (.f64 z -4)))
(.f64 y (.f64 -4 z))
(.f64 4 (.f64 (.f64 z -4) (.f64 y 1/4)))
(.f64 y (.f64 -4 z))
(.f64 4 (.f64 (/.f64 (*.f64 z -2) 2) y))
(.f64 y (.f64 -4 z))
(.f64 4 (.f64 (/.f64 y 8) (*.f64 z -8)))
(.f64 y (.f64 -4 z))
(.f64 4 (.f64 (.f64 y -2) (.f64 z 1/2)))
(.f64 y (.f64 -4 z))
(.f64 (.f64 y -8) (*.f64 z 1/2))
(.f64 y (.f64 -4 z))
(.f64 (.f64 y 1/2) (*.f64 z -8))
(.f64 y (.f64 -4 z))
(.f64 (+.f64 y y) (.f64 z -2))
(.f64 y (.f64 -4 z))
(.f64 (.f64 (*.f64 y z) -32) 1/8)
(.f64 y (.f64 -4 z))
(.f64 8 (.f64 (/.f64 (.f64 z -2) 2) (.f64 y 1/2)))
(.f64 y (.f64 -4 z))
(.f64 8 (.f64 (/.f64 y 8) (*.f64 z -4)))
(.f64 y (.f64 -4 z))
(.f64 8 (.f64 (.f64 z -2) (.f64 y 1/4)))
(.f64 y (.f64 -4 z))
(.f64 8 (.f64 (/.f64 (*.f64 z -8) 16) y))
(.f64 y (.f64 -4 z))
(.f64 8 (.f64 (/.f64 y 16) (*.f64 z -8)))
(.f64 y (.f64 -4 z))
(.f64 8 (.f64 (.f64 y 1/4) (.f64 z -2)))
(.f64 y (.f64 -4 z))
(.f64 (.f64 z -16) (*.f64 y 1/4))
(.f64 y (.f64 -4 z))
(.f64 (+.f64 z z) (.f64 y -2))
(.f64 y (.f64 -4 z))
(.f64 (+.f64 z z) (.f64 (*.f64 y 1/2) -4))
(.f64 y (.f64 -4 z))
(.f64 (.f64 y z) -4)
(.f64 y (.f64 -4 z))
(.f64 1/2 (.f64 y (*.f64 z -8)))
(.f64 y (.f64 -4 z))
(.f64 (.f64 z 1/2) (*.f64 y -8))
(.f64 y (.f64 -4 z))
(.f64 (.f64 z -4) y)
(.f64 y (.f64 -4 z))
(.f64 (.f64 (.f64 z (.f64 y -16)) 4) 1/16)
(.f64 y (.f64 -4 z))
(.f64 (.f64 y 4) (/.f64 (*.f64 z -2) 2))
(.f64 y (.f64 -4 z))
(.f64 (.f64 y 4) (.f64 1/4 (.f64 z -4)))
(.f64 y (.f64 -4 z))
(.f64 (.f64 y 4) (.f64 1/8 (.f64 z -8)))
(.f64 y (.f64 -4 z))
(.f64 (.f64 y 4) (.f64 1/2 (.f64 z -2)))
(.f64 y (.f64 -4 z))
(.f64 (.f64 y 4) (.f64 -2 (.f64 z 1/2)))
(.f64 y (.f64 -4 z))
(.f64 (.f64 y -16) (*.f64 z 1/4))
(.f64 y (.f64 -4 z))
(.f64 (.f64 z -32) (/.f64 y 8))
(.f64 y (.f64 -4 z))
(.f64 (.f64 z -32) (.f64 (.f64 y 1/2) 1/4))
(.f64 y (.f64 -4 z))
(.f64 (.f64 z -32) (.f64 1/2 (.f64 y 1/4)))
(.f64 y (.f64 -4 z))
(.f64 (.f64 z -32) (*.f64 1/8 y))
(.f64 y (.f64 -4 z))
(.f64 (.f64 z 4) (/.f64 (*.f64 y -8) 8))
(.f64 y (.f64 -4 z))
(.f64 (.f64 z 4) (.f64 (.f64 y 1/2) -2))
(.f64 y (.f64 -4 z))
(.f64 (.f64 z 4) (.f64 -4 (.f64 y 1/4)))
(.f64 y (.f64 -4 z))
(.f64 (.f64 z 4) (*.f64 -1 y))
(.f64 y (.f64 -4 z))
(.f64 (.f64 y -4) z)
(.f64 y (.f64 -4 z))
(.f64 (.f64 y (*.f64 z 1/2)) -8)
(.f64 y (.f64 -4 z))
(.f64 (.f64 z (+.f64 y y)) -2)
(.f64 y (.f64 -4 z))
(.f64 -4 (.f64 y z))
(.f64 y (.f64 -4 z))
(.f64 (.f64 y 1/4) (*.f64 z -16))
(.f64 y (.f64 -4 z))
(.f64 (.f64 z -2) (+.f64 y y))
(.f64 y (.f64 -4 z))
(.f64 1/4 (.f64 z (*.f64 y -16)))
(.f64 y (.f64 -4 z))
(.f64 -16 (/.f64 (.f64 y z) 4))
(.f64 y (.f64 -4 z))
(.f64 -16 (.f64 (.f64 y 1/2) (.f64 z 1/2)))
(.f64 y (.f64 -4 z))
(.f64 -16 (.f64 z (*.f64 y 1/4)))
(.f64 y (.f64 -4 z))
(.f64 -16 (.f64 y (*.f64 z 1/4)))
(.f64 y (.f64 -4 z))
(.f64 (.f64 2 (.f64 y 4)) (.f64 1/8 (*.f64 z -4)))
(.f64 y (.f64 -4 z))
(.f64 (.f64 2 (.f64 y 4)) (.f64 1/16 (*.f64 z -8)))
(.f64 y (.f64 -4 z))
(.f64 (.f64 2 (.f64 y 4)) (.f64 1/4 (*.f64 z -2)))
(.f64 y (.f64 -4 z))
(.f64 (.f64 2 (.f64 z -32)) (.f64 1/8 (*.f64 y 1/2)))
(.f64 y (.f64 -4 z))
(.f64 (.f64 2 (.f64 z -32)) (.f64 1/4 (*.f64 y 1/4)))
(.f64 y (.f64 -4 z))
(.f64 (.f64 2 (.f64 z -32)) (.f64 1/16 y))
(.f64 y (.f64 -4 z))
(.f64 (.f64 2 (*.f64 y -16)) (/.f64 z 8))
(.f64 y (.f64 -4 z))
(.f64 (.f64 2 (.f64 y -16)) (.f64 1/4 (*.f64 z 1/2)))
(.f64 y (.f64 -4 z))
(.f64 (.f64 2 (*.f64 z (+.f64 y y))) -1)
(.f64 y (.f64 -4 z))
(.f64 (.f64 z 1/4) (*.f64 y -16))
(.f64 y (.f64 -4 z))
(.f64 -2 (.f64 z (+.f64 y y)))
(.f64 y (.f64 -4 z))
(.f64 (.f64 y -2) (+.f64 z z))
(.f64 y (.f64 -4 z))
(.f64 (.f64 y (*.f64 z -2)) 2)
(.f64 y (.f64 -4 z))
(.f64 1/8 (.f64 (*.f64 y z) -32))
(.f64 y (.f64 -4 z))
(.f64 (/.f64 (.f64 y (*.f64 z -8)) 8) 4)
(.f64 y (.f64 -4 z))
(.f64 (/.f64 y 8) (.f64 z -32))
(.f64 y (.f64 -4 z))
(.f64 (/.f64 (.f64 y z) 4) -16)
(.f64 y (.f64 -4 z))
(.f64 (/.f64 (.f64 z -2) 2) (*.f64 y 4))
(.f64 y (.f64 -4 z))
(.f64 (/.f64 z 8) (.f64 2 (*.f64 y -16)))
(.f64 y (.f64 -4 z))
(.f64 -1 (.f64 2 (*.f64 z (+.f64 y y))))
(.f64 y (.f64 -4 z))
(.f64 (/.f64 (.f64 y -8) 8) (*.f64 z 4))
(.f64 y (.f64 -4 z))
(.f64 1/16 (.f64 (.f64 z (.f64 y -16)) 4))
(.f64 y (.f64 -4 z))
(.f64 -32 (.f64 (.f64 y 1/2) (.f64 z 1/4)))
(.f64 y (.f64 -4 z))
(.f64 -32 (.f64 (.f64 y 1/4) (.f64 z 1/2)))
(.f64 y (.f64 -4 z))
(.f64 -32 (.f64 (.f64 z 1/2) (.f64 y 1/4)))
(.f64 y (.f64 -4 z))
(.f64 -32 (.f64 (/.f64 z 8) y))
(.f64 y (.f64 -4 z))
(.f64 (.f64 (.f64 y 1/2) (.f64 z 1/4)) -32)
(.f64 y (.f64 -4 z))
(.f64 (.f64 (.f64 y 1/2) (.f64 z 1/2)) -16)
(.f64 y (.f64 -4 z))
(.f64 (.f64 (.f64 y 1/2) 1/4) (.f64 z -32))
(.f64 y (.f64 -4 z))
(.f64 (.f64 (*.f64 y 1/2) -4) (+.f64 z z))
(.f64 y (.f64 -4 z))
(.f64 (.f64 y (*.f64 z 1/4)) -16)
(.f64 y (.f64 -4 z))
(.f64 (.f64 (.f64 y 1/2) (.f64 z -2)) 4)
(.f64 y (.f64 -4 z))
(.f64 (.f64 (.f64 y 1/2) -2) (.f64 z 4))
(.f64 y (.f64 -4 z))
(neg.f64 (.f64 2 (.f64 z (+.f64 y y))))
(.f64 y (.f64 -4 z))

eval18.0ms (0.2%)

Compiler: Compiled 794 to 567 computations (28.6% saved)

prune16.0ms (0.2%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	96	2	98
Fresh	0	0	0
Picked	1	0	1
Done	0	3	3
Total	97	5	102

Error

0.0b

Counts

102 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f64 (.f64 x x) (.f64 (*.f64 y 4) z))
▶	26.3b	(.f64 (.f64 y (*.f64 z 1/4)) -16)
✓	26.3b	(.f64 y (.f64 -4 z))
✓	26.3b	(.f64 -4 (.f64 y z))
▶	26.3b	(.f64 -32 (.f64 (/.f64 z 8) y))

Compiler

Compiled 48 to 36 computations (25% saved)

localize9.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 -32 (.f64 (/.f64 z 8) y))

Compiler

Compiled 22 to 15 computations (31.8% saved)

series0.0ms (0%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	z	@	0	(.f64 -32 (.f64 (/.f64 z 8) y))
0.0ms	z	@	inf	(.f64 -32 (.f64 (/.f64 z 8) y))
0.0ms	z	@	-inf	(.f64 -32 (.f64 (/.f64 z 8) y))
0.0ms	y	@	inf	(.f64 -32 (.f64 (/.f64 z 8) y))
0.0ms	y	@	-inf	(.f64 -32 (.f64 (/.f64 z 8) y))

rewrite81.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

1614×	`bool.json-1`
1614×	`bool.json-2`
1530×	`rational.json-1`
1530×	`rational.json-2`
1090×	`bool.json-3`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	94	19
2	274	13
3	598	13
4	1278	13
5	3041	13
6	6483	13

Stop Event

1×	node limit

Counts

1 → 10

Calls

Call 1

Inputs
(.f64 -32 (.f64 (/.f64 z 8) y))

Outputs

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

simplify733.0ms (9.4%)

Algorithm

1×	egg-herbie

Rules

4022×	`rational.json-simplify-2`
3038×	`rational.json-simplify-35`
2146×	`rational.json-simplify-53`
940×	`rational.json-simplify-43`
800×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	42	442
1	95	442
2	185	442
3	403	442
4	1028	442
5	2993	442
6	3495	442
7	3633	442
8	3725	442
9	3811	442
10	3895	442
11	5169	442
12	5255	442
13	5338	442
14	5419	442
15	5502	442
16	5585	442
17	5585	442
18	6887	442
19	7521	442
20	7619	442
21	7717	442
22	7809	442
23	7901	442
24	7993	442

Stop Event

1×	node limit

Counts

34 → 13

Calls

Call 1

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

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

localize9.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (.f64 y (*.f64 z 1/4)) -16)

Compiler

Compiled 22 to 15 computations (31.8% saved)

series1.0ms (0%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	y	@	0	(.f64 (.f64 y (*.f64 z 1/4)) -16)
0.0ms	z	@	-inf	(.f64 (.f64 y (*.f64 z 1/4)) -16)
0.0ms	y	@	inf	(.f64 (.f64 y (*.f64 z 1/4)) -16)
0.0ms	z	@	inf	(.f64 (.f64 y (*.f64 z 1/4)) -16)
0.0ms	y	@	-inf	(.f64 (.f64 y (*.f64 z 1/4)) -16)

rewrite76.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

1568×	`bool.json-1`
1568×	`bool.json-2`
1506×	`rational.json-1`
1506×	`rational.json-2`
1122×	`bool.json-3`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	91	19
2	253	19
3	568	13
4	1213	13
5	2851	13
6	5959	13

Stop Event

1×	node limit

Counts

1 → 10

Calls

Call 1

Inputs
(.f64 (.f64 y (*.f64 z 1/4)) -16)

Outputs

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

simplify510.0ms (6.5%)

Algorithm

1×	egg-herbie

Rules

3364×	`rational.json-simplify-2`
3146×	`rational.json-simplify-35`
3124×	`rational.json-simplify-53`
1148×	`rational.json-simplify-51`
1008×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	39	442
1	93	442
2	199	442
3	453	442
4	1181	442
5	2833	442
6	3853	442
7	4061	442
8	4241	442
9	4390	442
10	4539	442
11	5477	442
12	6184	442
13	6203	442
14	6204	442
15	6204	442
16	6349	442
17	6496	442
18	6643	442
19	7228	442

Stop Event

1×	node limit

Counts

34 → 12

Calls

Call 1

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

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

eval4.0ms (0.1%)

Compiler: Compiled 198 to 139 computations (29.8% saved)

prune5.0ms (0.1%)

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	25	0	25
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	25	5	30

Error

0.0b

Counts

30 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f64 (.f64 x x) (.f64 (*.f64 y 4) z))
✓	26.3b	(.f64 (.f64 y (*.f64 z 1/4)) -16)
✓	26.3b	(.f64 y (.f64 -4 z))
✓	26.3b	(.f64 -4 (.f64 y z))
✓	26.3b	(.f64 -32 (.f64 (/.f64 z 8) y))

Compiler

Compiled 48 to 36 computations (25% saved)

regimes204.0ms (2.6%)

Counts

6 → 1

Calls

Call 1

Inputs
(.f64 -4 (.f64 y z))
(.f64 y (.f64 -4 z))
(.f64 -32 (.f64 (/.f64 z 8) y))
(.f64 (.f64 y (*.f64 z 1/4)) -16)
(/.f64 (.f64 y (.f64 z -8)) 2)
(-.f64 (.f64 x x) (.f64 (*.f64 y 4) z))

Outputs
(-.f64 (.f64 x x) (.f64 (*.f64 y 4) z))

Calls

7 calls:

175.0ms	x
5.0ms	y
5.0ms	(-.f64 (.f64 x x) (.f64 (*.f64 y 4) z))
4.0ms	(*.f64 y 4)
4.0ms	z

Results

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

Compiler

Compiled 87 to 61 computations (29.9% saved)

regimes28.0ms (0.4%)

Accuracy

Total -0.3b remaining (-1%)

Threshold costs -0.3b (-1%)

Counts

5 → 1

Calls

Call 1

Inputs
(.f64 -4 (.f64 y z))
(.f64 y (.f64 -4 z))
(.f64 -32 (.f64 (/.f64 z 8) y))
(.f64 (.f64 y (*.f64 z 1/4)) -16)
(/.f64 (.f64 y (.f64 z -8)) 2)

Outputs
(.f64 y (.f64 -4 z))

Calls

3 calls:

18.0ms	y
4.0ms	z
4.0ms	x

Results

Error	Segments	Branch
26.3b	1	`x`
26.3b	1	`y`
26.3b	1	`z`

Compiler

Compiled 46 to 33 computations (28.3% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	51

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(-.f64 (.f64 x x) (.f64 (*.f64 y 4) z))
(.f64 y (.f64 -4 z))
(.f64 -4 (.f64 y z))

Outputs
(-.f64 (.f64 x x) (.f64 (*.f64 y 4) z))
(.f64 y (.f64 -4 z))
(.f64 -4 (.f64 y z))

Compiler

Compiled 28 to 20 computations (28.6% saved)

soundness0.0ms (0%)

end23.0ms (0.3%)

Remove: (sort y z)
Compiler: Compiled 46 to 30 computations (34.8% saved)

Details

analyze1.2s (15.1%)

sample3.1s (39.8%)

preprocess95.0ms (1.2%)

simplify130.0ms (1.7%)

eval1.0ms (0%)

prune1.0ms (0%)

localize10.0ms (0.1%)

series5.0ms (0.1%)

rewrite72.0ms (0.9%)

simplify124.0ms (1.6%)

eval7.0ms (0.1%)

prune5.0ms (0.1%)

localize6.0ms (0.1%)

series2.0ms (0%)

rewrite100.0ms (1.3%)

simplify784.0ms (10%)

localize6.0ms (0.1%)

eval2.0ms (0%)

prune5.0ms (0.1%)

localize8.0ms (0.1%)

series0.0ms (0%)

rewrite83.0ms (1.1%)

simplify362.0ms (4.6%)

eval18.0ms (0.2%)

prune16.0ms (0.2%)

localize9.0ms (0.1%)

series0.0ms (0%)

rewrite81.0ms (1%)

simplify733.0ms (9.4%)

localize9.0ms (0.1%)

series1.0ms (0%)

rewrite76.0ms (1%)

simplify510.0ms (6.5%)

eval4.0ms (0.1%)

prune5.0ms (0.1%)

regimes204.0ms (2.6%)

regimes28.0ms (0.4%)

simplify2.0ms (0%)

soundness0.0ms (0%)

end23.0ms (0.3%)

Profiling