Details

analyze459.0ms (9.4%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
0%	0%	99.8%	0.2%	0%	0%	0%	1
0%	0%	99.8%	0.2%	0%	0%	0%	2
0%	0%	99.8%	0.2%	0%	0%	0%	3
0%	0%	99.8%	0.2%	0%	0%	0%	4
0%	0%	99.8%	0.2%	0%	0%	0%	5
0%	0%	99.8%	0.2%	0%	0%	0%	6
0%	0%	99.8%	0.2%	0%	0%	0%	7
0%	0%	99.8%	0.2%	0%	0%	0%	8
6.3%	6.2%	93.6%	0.2%	0%	0%	0%	9
9.4%	9.4%	90.4%	0.2%	0%	0%	0%	10
14.1%	14%	85.8%	0.2%	0%	0%	0%	11
21.1%	21.1%	78.8%	0.2%	0%	0%	0%	12

Compiler

Compiled 18 to 14 computations (22.2% saved)

sample1.4s (29.3%)

Results

1.2s	8254×	body	256	valid
200.0ms	1178×	body	256	infinite
0.0ms	1×	body	2048	valid
0.0ms	1×	body	1024	valid

Bogosity

preprocess462.0ms (9.5%)

Algorithm

2×	egg-herbie

Rules

3234×	`rational.json-simplify-41`
3168×	`rational.json-simplify-1`
2184×	`rational.json-simplify-35`
2144×	`rational.json-simplify-51`
1886×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	41	217
1	78	217
2	117	217
3	175	217
4	281	217
5	491	217
6	1024	217
7	1539	217
8	1777	217
9	1833	217
10	1883	217
11	1923	217
12	1963	217
13	2003	217
14	2043	217
15	2083	217
16	2123	217
17	2163	217
18	2203	217
19	2243	217
20	2283	217
21	2323	217
22	4394	217
23	5266	217
24	5356	217
25	5392	217
26	5428	217
27	5464	217
28	5500	217
29	6116	217
30	6194	217
31	6284	217
32	6344	217
33	6404	217
34	6464	217
35	6524	217
36	6584	217
37	6644	217
38	7812	217
39	7848	217
40	7884	217
41	7920	217
42	7956	217
43	7992	217
0	4	4
1	4	4

Stop Event

1×	unsound
1×	node limit

Calls

Call 1

Inputs
0
1
2
3

Outputs
0
1
2
1
3

Call 2

Inputs
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y z) 2)) t)
(+.f64 (-.f64 (.f64 (/.f64 1 8) y) (/.f64 (.f64 x z) 2)) t)
(+.f64 (-.f64 (.f64 (/.f64 1 8) z) (/.f64 (.f64 y x) 2)) t)
(+.f64 (-.f64 (.f64 (/.f64 1 8) t) (/.f64 (.f64 y z) 2)) x)
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 z y) 2)) t)
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 t z) 2)) y)
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y t) 2)) z)

Outputs
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y z) 2)) t)
(+.f64 (-.f64 (.f64 1/8 x) (.f64 y (/.f64 z 2))) t)
(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)
(+.f64 (-.f64 (.f64 1/8 x) (.f64 z (/.f64 y 2))) t)
(+.f64 (-.f64 (.f64 (/.f64 1 8) y) (/.f64 (.f64 x z) 2)) t)
(+.f64 t (-.f64 (.f64 1/8 y) (.f64 z (/.f64 x 2))))
(+.f64 t (-.f64 (.f64 1/8 y) (.f64 x (/.f64 z 2))))
(+.f64 (-.f64 (.f64 (/.f64 1 8) z) (/.f64 (.f64 y x) 2)) t)
(+.f64 t (-.f64 (.f64 1/8 z) (.f64 x (/.f64 y 2))))
(+.f64 (-.f64 (.f64 (/.f64 1 8) t) (/.f64 (.f64 y z) 2)) x)
(+.f64 x (-.f64 (.f64 1/8 t) (.f64 y (/.f64 z 2))))
(+.f64 x (-.f64 (.f64 1/8 t) (/.f64 (.f64 y z) 2)))
(+.f64 x (-.f64 (.f64 1/8 t) (.f64 z (/.f64 y 2))))
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 z y) 2)) t)
(+.f64 (-.f64 (.f64 1/8 x) (.f64 y (/.f64 z 2))) t)
(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)
(+.f64 (-.f64 (.f64 1/8 x) (.f64 z (/.f64 y 2))) t)
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 t z) 2)) y)
(+.f64 y (-.f64 (.f64 1/8 x) (.f64 z (/.f64 t 2))))
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y t) 2)) z)
(+.f64 z (-.f64 (.f64 1/8 x) (.f64 t (/.f64 y 2))))
(+.f64 z (-.f64 (.f64 1/8 x) (.f64 y (/.f64 t 2))))

Symmetry

(sort y z)

Compiler

Compiled 21 to 17 computations (19% saved)

simplify92.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

6090×	`rational.json-simplify-51`
2652×	`rational.json-simplify-41`
1092×	`rational.json-simplify-2`
604×	`rational.json-simplify-35`
566×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	31
1	25	31
2	36	31
3	52	31
4	80	31
5	131	31
6	263	31
7	586	31
8	961	31
9	1140	31
10	1176	31
11	1210	31
12	1238	31
13	1266	31
14	1294	31
15	1322	31
16	1350	31
17	1378	31
18	1406	31
19	1434	31
20	1462	31
21	1490	31
22	1518	31
23	3093	31
24	3834	31

Stop Event

1×	node limit

Counts

1 → 4

Calls

Call 1

Inputs
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y z) 2)) t)

Outputs
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y z) 2)) t)
(+.f64 (-.f64 (.f64 1/8 x) (.f64 z (/.f64 y 2))) t)
(+.f64 (-.f64 (.f64 1/8 x) (.f64 y (/.f64 z 2))) t)
(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)

eval1.0ms (0%)

Compiler: Compiled 50 to 33 computations (34% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

5 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)

Compiler

Compiled 15 to 11 computations (26.7% saved)

localize14.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))

Compiler

Compiled 41 to 22 computations (46.3% saved)

series3.0ms (0.1%)

Counts

1 → 36

Calls

9 calls:

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

rewrite90.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1592×	`rational.json-simplify-35`
1388×	`rational.json-1`
1388×	`rational.json-2`
1388×	`rational.json-3`
1384×	`exponential.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	25
1	76	25
2	175	25
3	373	25
4	730	25
5	1606	25
6	3644	25
7	6442	25

Stop Event

1×	node limit

Counts

1 → 44

Calls

Call 1

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

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

Outputs

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

simplify394.0ms (8.1%)

Algorithm

1×	egg-herbie

Rules

2408×	`rational.json-simplify-35`
1934×	`rational.json-simplify-2`
1724×	`rational.json-simplify-48`
1384×	`rational.json-simplify-1`
814×	`rational.json-simplify-49`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	116	1998
1	240	1998
2	413	1998
3	850	1998
4	1297	1998
5	1791	1998
6	2752	1998
7	3725	1998
8	4035	1998
9	4241	1998
10	4441	1998
11	4634	1998
12	5097	1998
13	5995	1998
14	6202	1998
15	6259	1998
16	6315	1998
17	6664	1998
18	6840	1998
19	7164	1998
20	7876	1998

Stop Event

1×	node limit

Counts

80 → 64

Calls

Call 1

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

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

eval14.0ms (0.3%)

Compiler: Compiled 854 to 536 computations (37.2% saved)

prune74.0ms (1.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	62	2	64
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	62	3	65

Error

0.0b

Counts

65 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)
▶	18.7b	(+.f64 (*.f64 1/8 x) t)
▶	22.5b	(+.f64 (.f64 -1/2 (.f64 y z)) t)

Compiler

Compiled 35 to 26 computations (25.7% saved)

localize8.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 -1/2 (.f64 y z)) t)

Compiler

Compiled 23 to 11 computations (52.2% saved)

series2.0ms (0%)

Counts

1 → 9

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	t	@	0	(+.f64 (.f64 -1/2 (.f64 y z)) t)
0.0ms	y	@	0	(+.f64 (.f64 -1/2 (.f64 y z)) t)
0.0ms	z	@	0	(+.f64 (.f64 -1/2 (.f64 y z)) t)
0.0ms	t	@	inf	(+.f64 (.f64 -1/2 (.f64 y z)) t)
0.0ms	z	@	-inf	(+.f64 (.f64 -1/2 (.f64 y z)) t)

rewrite214.0ms (4.4%)

Algorithm

1×	batch-egg-rewrite

Rules

2772×	`rational.json-simplify-2`
1758×	`rational.json-simplify-1`
1330×	`exponential.json-3`
1330×	`rational.json-1`
1330×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	61	19
2	135	19
3	286	19
4	539	19
5	1252	19
6	2771	19
7	4740	19
8	5916	19
9	6921	19
10	7043	19
11	7157	19
12	7277	19

Stop Event

1×	node limit

Counts

1 → 20

Calls

Call 1

Inputs
(+.f64 (.f64 -1/2 (.f64 y z)) t)

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

Outputs

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

simplify701.0ms (14.4%)

Algorithm

1×	egg-herbie

Rules

2648×	`rational.json-simplify-35`
2366×	`rational.json-simplify-2`
1566×	`rational.json-simplify-49`
1454×	`rational.json-simplify-1`
1178×	`rational.json-simplify-41`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	56	473
1	122	473
2	255	473
3	845	473
4	1750	473
5	3471	473
6	3818	473
7	3865	473
8	3907	473
9	3947	473
10	4481	473
11	5201	473
12	5307	473
13	5399	473
14	5460	473
15	5519	473
16	5578	473
17	5637	473
18	5696	473
19	6787	473
20	7470	473
21	7651	473
22	7699	473
23	7745	473
24	7790	473
25	7835	473
26	7880	473
27	7925	473
28	7970	473

Stop Event

1×	node limit

Counts

29 → 24

Calls

Call 1

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

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

localize6.0ms (0.1%)

Compiler: Compiled 15 to 10 computations (33.3% saved)

eval4.0ms (0.1%)

Compiler: Compiled 255 to 157 computations (38.4% saved)

prune6.0ms (0.1%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	22	2	24
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	22	5	27

Error

0.0b

Counts

27 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)
✓	18.7b	(+.f64 (*.f64 1/8 x) t)
✓	22.5b	(+.f64 (.f64 -1/2 (.f64 y z)) t)
▶	44.3b	(.f64 -1/2 (.f64 y z))
	41.0b	t

Compiler

Compiled 49 to 37 computations (24.5% saved)

localize5.0ms (0.1%)

Compiler: Compiled 15 to 8 computations (46.7% saved)

eval0.0ms (0%)

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

prune2.0ms (0%)

Pruning

5 alts after pruning (1 fresh and 4 done)

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

Error

0.0b

Counts

5 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)
✓	18.7b	(+.f64 (*.f64 1/8 x) t)
✓	22.5b	(+.f64 (.f64 -1/2 (.f64 y z)) t)
✓	44.3b	(.f64 -1/2 (.f64 y z))
	41.0b	t

Compiler

Compiled 49 to 37 computations (24.5% saved)

eval0.0ms (0%)

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

prune2.0ms (0%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	4	4
Total	5	5

Error

0.0b

Counts

5 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)
✓	18.7b	(+.f64 (*.f64 1/8 x) t)
✓	22.5b	(+.f64 (.f64 -1/2 (.f64 y z)) t)
✓	44.3b	(.f64 -1/2 (.f64 y z))
	41.0b	t

Compiler

Compiled 49 to 37 computations (24.5% saved)

regimes118.0ms (2.4%)

Counts

6 → 1

Calls

Call 1

Inputs
t
(.f64 -1/2 (.f64 y z))
(+.f64 (*.f64 1/8 x) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y z) 2)) t)

Outputs
(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)

Calls

9 calls:

77.0ms	(*.f64 y z)
5.0ms	(*.f64 (/.f64 1 8) x)
5.0ms	y
5.0ms	t
5.0ms	(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y z) 2)) t)

Results

Error	Segments	Branch
0.0b	1	`x`
0.0b	1	`y`
0.0b	1	`z`
0.0b	1	`t`
0.0b	1	`(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y z) 2)) t)`
0.0b	1	`(-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y z) 2))`
0.0b	1	`(*.f64 (/.f64 1 8) x)`
0.0b	1	`(/.f64 (*.f64 y z) 2)`
0.0b	1	`(*.f64 y z)`

Compiler

Compiled 123 to 88 computations (28.5% saved)

regimes199.0ms (4.1%)

Counts

4 → 3

Calls

Call 1

Inputs
t
(.f64 -1/2 (.f64 y z))
(+.f64 (*.f64 1/8 x) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)

Outputs
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (*.f64 1/8 x) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)

Calls

5 calls:

98.0ms	t
51.0ms	y
19.0ms	z
18.0ms	(*.f64 y z)
11.0ms	x

Results

Error	Segments	Branch
8.0b	3	`x`
12.5b	3	`y`
11.0b	5	`z`
13.6b	7	`t`
7.6b	3	`(*.f64 y z)`

Compiler

Compiled 49 to 34 computations (30.6% saved)

bsearch33.0ms (0.7%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
18.0ms	2.4120810020285988e+44	3.316647301421992e+52
15.0ms	-6.3914048462827284e+41	-1.206698188896925e+38

Results

29.0ms

272×

body

256

valid

Compiler

Compiled 364 to 291 computations (20.1% saved)

regimes68.0ms (1.4%)

Counts

3 → 3

Calls

Call 1

Inputs
t
(.f64 -1/2 (.f64 y z))
(+.f64 (*.f64 1/8 x) t)

Outputs
(.f64 -1/2 (.f64 y z))
(+.f64 (*.f64 1/8 x) t)
(.f64 -1/2 (.f64 y z))

Calls

5 calls:

19.0ms	z
17.0ms	t
13.0ms	x
12.0ms	(*.f64 y z)
6.0ms	y

Results

Error	Segments	Branch
16.7b	3	`x`
16.7b	2	`y`
15.2b	6	`z`
16.1b	5	`t`
11.6b	3	`(*.f64 y z)`

Compiler

Compiled 42 to 31 computations (26.2% saved)

bsearch34.0ms (0.7%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
15.0ms	4.1569111387545714e+143	1.755064524474164e+147
19.0ms	-6.861392132249747e+103	-3.1549322722331607e+86

Results

30.0ms	287×	body	256	valid
0.0ms	1×	body	1024	valid

Compiler

Compiled 348 to 289 computations (17% saved)

regimes71.0ms (1.5%)

Accuracy

Total -34.4b remaining (-122.7%)

Threshold costs -34.4b (-122.7%)

Counts

2 → 3

Calls

Call 1

Inputs
t
(.f64 -1/2 (.f64 y z))

Outputs
t
(.f64 -1/2 (.f64 y z))
t

Calls

5 calls:

22.0ms	y
14.0ms	t
13.0ms	z
13.0ms	x
8.0ms	(*.f64 y z)

Results

Error	Segments	Branch
37.9b	3	`x`
31.0b	7	`y`
33.8b	3	`z`
28.0b	3	`t`
30.1b	3	`(*.f64 y z)`

Compiler

Compiled 37 to 28 computations (24.3% saved)

bsearch19.0ms (0.4%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
0.0ms	4.612852429011275e+41	4.8079178493379984e+41
19.0ms	-7.615382876180122e+77	-3.0568847834393023e+66

Results

17.0ms

160×

body

256

valid

Compiler

Compiled 184 to 149 computations (19% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	215

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)
(if (<=.f64 (.f64 y z) -300000000000000012135895401846682943488) (+.f64 (.f64 -1/2 (.f64 y z)) t) (if (<=.f64 (.f64 y z) 89999999999999996482199139913043045904475815411712) (+.f64 (.f64 1/8 x) t) (+.f64 (.f64 -1/2 (*.f64 y z)) t)))
(if (<=.f64 (.f64 y z) -124999999999999997131189158155667078555855339990518750766249496841499181522598738912907661810188943360) (.f64 -1/2 (.f64 y z)) (if (<=.f64 (.f64 y z) 449999999999999967362480590755265229921174440287224118168729942154472856255165810552221998234337122358605590733047144462369364654519726880325632) (+.f64 (.f64 1/8 x) t) (.f64 -1/2 (*.f64 y z))))
(if (<=.f64 t -49999999999999997582409405901396098942598045401506677583603409881825017856) t (if (<=.f64 t 480000000000000033924542478330242806054912) (.f64 -1/2 (.f64 y z)) t))
t

Outputs
(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)
(if (<=.f64 (.f64 y z) -300000000000000012135895401846682943488) (+.f64 (.f64 -1/2 (.f64 y z)) t) (if (<=.f64 (.f64 y z) 89999999999999996482199139913043045904475815411712) (+.f64 (.f64 1/8 x) t) (+.f64 (.f64 -1/2 (*.f64 y z)) t)))
(if (<=.f64 (.f64 y z) -124999999999999997131189158155667078555855339990518750766249496841499181522598738912907661810188943360) (.f64 -1/2 (.f64 y z)) (if (<=.f64 (.f64 y z) 449999999999999967362480590755265229921174440287224118168729942154472856255165810552221998234337122358605590733047144462369364654519726880325632) (+.f64 (.f64 1/8 x) t) (.f64 -1/2 (*.f64 y z))))
(if (<=.f64 t -49999999999999997582409405901396098942598045401506677583603409881825017856) t (if (<=.f64 t 480000000000000033924542478330242806054912) (.f64 -1/2 (.f64 y z)) t))
t

Compiler

Compiled 105 to 66 computations (37.1% saved)

soundness123.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

6090×	`rational.json-simplify-51`
2652×	`rational.json-simplify-41`
1092×	`rational.json-simplify-2`
604×	`rational.json-simplify-35`
566×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	31
1	25	31
2	36	31
3	52	31
4	80	31
5	131	31
6	263	31
7	586	31
8	961	31
9	1140	31
10	1176	31
11	1210	31
12	1238	31
13	1266	31
14	1294	31
15	1322	31
16	1350	31
17	1378	31
18	1406	31
19	1434	31
20	1462	31
21	1490	31
22	1518	31
23	3093	31
24	3834	31

Stop Event

1×	node limit

Compiler

Compiled 28 to 19 computations (32.1% saved)

end209.0ms (4.3%)

Remove: (sort y z)
Compiler: Compiled 119 to 69 computations (42% saved)

Details

analyze459.0ms (9.4%)

sample1.4s (29.3%)

preprocess462.0ms (9.5%)

simplify92.0ms (1.9%)

eval1.0ms (0%)

prune1.0ms (0%)

localize14.0ms (0.3%)

series3.0ms (0.1%)

rewrite90.0ms (1.8%)

simplify394.0ms (8.1%)

eval14.0ms (0.3%)

prune74.0ms (1.5%)

localize8.0ms (0.2%)

series2.0ms (0%)

rewrite214.0ms (4.4%)

simplify701.0ms (14.4%)

localize6.0ms (0.1%)

eval4.0ms (0.1%)

prune6.0ms (0.1%)

localize5.0ms (0.1%)

eval0.0ms (0%)

prune2.0ms (0%)

eval0.0ms (0%)

prune2.0ms (0%)

regimes118.0ms (2.4%)

regimes199.0ms (4.1%)

bsearch33.0ms (0.7%)

regimes68.0ms (1.4%)

bsearch34.0ms (0.7%)

regimes71.0ms (1.5%)

bsearch19.0ms (0.4%)

simplify4.0ms (0.1%)

soundness123.0ms (2.5%)

end209.0ms (4.3%)

Profiling