Details

analyze172.0ms (4.9%)

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)

sample893.0ms (25.6%)

Results

768.0ms	8256×	body	256	valid
113.0ms	1182×	body	256	infinite

Bogosity

preprocess100.0ms (2.9%)

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)

simplify134.0ms (3.8%)

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)

localize9.0ms (0.3%)

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)

series4.0ms (0.1%)

Counts

1 → 36

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	z	@	-inf	(-.f64 (.f64 x x) (.f64 (*.f64 y 4) z))
0.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))

rewrite61.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

2046×	`rational.json-simplify-35`
1158×	`rational.json-1`
1158×	`rational.json-2`
1158×	`rational.json-4`
1158×	`rational.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	25
1	66	25
2	148	25
3	367	25
4	1255	25
5	4053	25

Stop Event

1×	node limit

Counts

1 → 27

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

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

simplify104.0ms (3%)

Algorithm

1×	egg-herbie

Rules

1172×	`rational.json-simplify-45`
950×	`rational.json-simplify-51`
810×	`rational.json-simplify-1`
626×	`rational.json-simplify-59`
616×	`rational.json-simplify-53`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	67	1551
1	137	1443
2	280	1443
3	615	1443
4	1819	1443
5	4157	1443
6	5729	1443

Stop Event

1×	node limit

Counts

63 → 33

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 1 (-.f64 (.f64 x x) (.f64 y (*.f64 4 z)))))
(+.f64 (+.f64 1 (-.f64 (.f64 x x) (.f64 y (*.f64 4 z)))) -1)
(+.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 4 z))) 2) (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 4 z))) 2))
(+.f64 (-.f64 -1 (.f64 y (.f64 4 z))) (-.f64 1 (*.f64 x (neg.f64 x))))
(.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 2 (.f64 2 (.f64 4 (-.f64 (.f64 x x) (.f64 y (.f64 4 z)))))) 16)
(/.f64 (.f64 2 (.f64 2 (-.f64 (.f64 y (.f64 4 z)) (*.f64 x x)))) -4)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 4 (-.f64 (.f64 x x) (.f64 y (.f64 4 z)))))) (.f64 2 (.f64 2 (.f64 4 (-.f64 (.f64 x x) (.f64 y (.f64 4 z))))))) 32)
(pow.f64 (-.f64 (.f64 x x) (.f64 y (*.f64 4 z))) 1)
(neg.f64 (-.f64 (.f64 y (.f64 4 z)) (*.f64 x x)))

Outputs
(.f64 -4 (.f64 y 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 -4 (.f64 y z)))
(+.f64 (.f64 -4 (.f64 y 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))
(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 -4 (.f64 y z)))
(+.f64 (.f64 -4 (.f64 y 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))
(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 -4 (.f64 y z)))
(+.f64 (.f64 -4 (.f64 y 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))
(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 -4 (.f64 y z)))
(+.f64 (.f64 -4 (.f64 y 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 -4 (.f64 y 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 -4 (.f64 y z)))
(+.f64 (.f64 -4 (.f64 y 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 -4 (.f64 y 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 -4 (.f64 y z)))
(+.f64 (.f64 -4 (.f64 y 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))
(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 -4 (.f64 y z)))
(+.f64 (.f64 -4 (.f64 y 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 -4 (.f64 y 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 -4 (.f64 y z)))
(+.f64 (.f64 -4 (.f64 y 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 -4 (.f64 y 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 -4 (.f64 y z)))
(+.f64 (.f64 -4 (.f64 y 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 (.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 (.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 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 (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 -1 (+.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 1 (-.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 (-.f64 (.f64 x x) (.f64 y (.f64 4 z))) 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 -1 (.f64 y (.f64 4 z))) (-.f64 1 (*.f64 x (neg.f64 x))))
(+.f64 (.f64 x x) (neg.f64 (.f64 y (*.f64 z 4))))
(+.f64 (.f64 x x) (.f64 -4 (*.f64 y 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 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 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 (-.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 (.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 -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 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 (-.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 (.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 (-.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 (.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 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 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 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 2 (.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 2 (.f64 2 (-.f64 (.f64 y (.f64 4 z)) (*.f64 x x)))) -4)
(+.f64 (.f64 x x) (neg.f64 (.f64 y (*.f64 z 4))))
(+.f64 (.f64 x x) (.f64 -4 (*.f64 y z)))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 4 (-.f64 (.f64 x x) (.f64 y (.f64 4 z)))))) (.f64 2 (.f64 2 (.f64 4 (-.f64 (.f64 x x) (.f64 y (.f64 4 z))))))) 32)
(+.f64 (.f64 x x) (neg.f64 (.f64 y (*.f64 z 4))))
(+.f64 (.f64 x x) (.f64 -4 (*.f64 y z)))
(pow.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)))
(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)))

eval6.0ms (0.2%)

Compiler: Compiled 411 to 246 computations (40.1% saved)

prune108.0ms (3.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	32	1	33
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	32	2	34

Error

0.0b

Counts

34 → 2

Alt Table

Click to see full alt table

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

Compiler

Compiled 20 to 14 computations (30% saved)

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

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	y	@	inf	(.f64 -4 (.f64 y z))
0.0ms	z	@	inf	(.f64 -4 (.f64 y z))

rewrite385.0ms (11%)

Algorithm

1×	batch-egg-rewrite

Rules

2344×	`rational.json-simplify-35`
1436×	`rational.json-1`
1436×	`rational.json-2`
1436×	`rational.json-3`
1244×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	48	13
2	114	13
3	239	13
4	433	13
5	983	13
6	2180	13
7	3735	13
8	4638	13
9	5589	13
10	6406	13
11	6433	13
12	6477	13
13	6561	13
14	6597	13
15	7600	13

Stop Event

1×	node limit

Counts

1 → 27

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

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

simplify223.0ms (6.4%)

Algorithm

1×	egg-herbie

Rules

2448×	`rational.json-simplify-2`
1416×	`rational.json-simplify-35`
1308×	`rational.json-simplify-1`
1018×	`exponential.json-simplify-26`
942×	`rational.json-simplify-43`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	70	411
1	175	411
2	349	411
3	905	411
4	3037	411
5	4675	411
6	5838	411
7	6088	411
8	6267	411
9	6522	411

Stop Event

1×	node limit

Counts

27 → 30

Calls

Call 1

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

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

eval6.0ms (0.2%)

Compiler: Compiled 312 to 231 computations (26% saved)

prune41.0ms (1.2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

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

Error

0.0b

Counts

32 → 3

Alt Table

Click to see full alt table

Status	Error	Program
▶	23.4b	(/.f64 (.f64 y (.f64 z -16)) 4)
✓	0.0b	(-.f64 (.f64 x x) (.f64 (*.f64 y 4) z))
✓	23.2b	(.f64 -4 (.f64 y z))

Compiler

Compiled 30 to 22 computations (26.7% saved)

localize8.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 y (.f64 z -16))

Compiler

Compiled 22 to 15 computations (31.8% saved)

series2.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite241.0ms (6.9%)

Algorithm

1×	batch-egg-rewrite

Rules

2400×	`rational.json-simplify-35`
1454×	`rational.json-1`
1454×	`rational.json-2`
1216×	`rational.json-simplify-1`
1148×	`exponential.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	48	13
2	114	13
3	239	13
4	433	13
5	993	13
6	2204	13
7	3897	13
8	4942	13
9	5940	13
10	6863	13
11	6863	13
12	6863	13
13	7739	13

Stop Event

1×	node limit

Counts

1 → 15

Calls

Call 1

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

Outputs

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

simplify919.0ms (26.3%)

Algorithm

1×	egg-herbie

Rules

4280×	`rational.json-simplify-35`
2608×	`rational.json-simplify-2`
1104×	`rational.json-simplify-53`
976×	`rational.json-simplify-1`
828×	`exponential.json-simplify-26`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	52	507
1	134	507
2	282	507
3	703	507
4	1995	507
5	3488	507
6	4265	507
7	4716	507
8	4953	507
9	5155	507
10	5342	507
11	5596	507
12	5644	507
13	5750	507
14	5809	507
15	5978	507
16	6297	507
17	6485	507
18	6659	507
19	6833	507
20	7007	507
21	7252	507
22	7608	507
23	7784	507
24	7810	507
25	7823	507
26	7823	507
27	7823	507

Stop Event

1×	node limit

Counts

39 → 17

Calls

Call 1

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

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

eval4.0ms (0.1%)

Compiler: Compiled 212 to 166 computations (21.7% saved)

prune4.0ms (0.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

0.0b

Counts

20 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	23.4b	(/.f64 (.f64 y (.f64 z -16)) 4)
✓	0.0b	(-.f64 (.f64 x x) (.f64 (*.f64 y 4) z))
✓	23.2b	(.f64 -4 (.f64 y z))

Compiler

Compiled 30 to 22 computations (26.7% saved)

regimes24.0ms (0.7%)

Counts

3 → 1

Calls

Call 1

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

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

Calls

7 calls:

5.0ms	(-.f64 (.f64 x x) (.f64 (*.f64 y 4) z))
3.0ms	x
3.0ms	z
3.0ms	(*.f64 y 4)
3.0ms	(.f64 (.f64 y 4) 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 68 to 48 computations (29.4% saved)

regimes11.0ms (0.3%)

Accuracy

Total -0.2b remaining (-1.1%)

Threshold costs -0.2b (-1.1%)

Counts

2 → 1

Calls

Call 1

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

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

Calls

3 calls:

4.0ms	z
3.0ms	y
3.0ms	x

Results

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

Compiler

Compiled 27 to 20 computations (25.9% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	38

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 20 to 14 computations (30% saved)

soundness0.0ms (0%)

end20.0ms (0.6%)

Remove: (sort y z)
Compiler: Compiled 41 to 27 computations (34.1% saved)

Details

analyze172.0ms (4.9%)

sample893.0ms (25.6%)

preprocess100.0ms (2.9%)

simplify134.0ms (3.8%)

eval1.0ms (0%)

prune1.0ms (0%)

localize9.0ms (0.3%)

series4.0ms (0.1%)

rewrite61.0ms (1.7%)

simplify104.0ms (3%)

eval6.0ms (0.2%)

prune108.0ms (3.1%)

localize5.0ms (0.1%)

series2.0ms (0.1%)

rewrite385.0ms (11%)

simplify223.0ms (6.4%)

eval6.0ms (0.2%)

prune41.0ms (1.2%)

localize8.0ms (0.2%)

series2.0ms (0.1%)

rewrite241.0ms (6.9%)

simplify919.0ms (26.3%)

eval4.0ms (0.1%)

prune4.0ms (0.1%)

regimes24.0ms (0.7%)

regimes11.0ms (0.3%)

simplify2.0ms (0.1%)

soundness0.0ms (0%)

end20.0ms (0.6%)

Profiling