Details

analyze286.0ms (4%)

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
18.8%	18.7%	81.1%	0.1%	0%	0%	0%	8
25.6%	25%	72.5%	0.1%	2.3%	0%	0%	9
36.7%	34.3%	59.3%	0.1%	6.2%	0%	0%	10
44.2%	40.6%	51.3%	0.1%	8%	0%	0%	11
52%	46.8%	43.2%	0.1%	9.8%	0%	0%	12

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample912.0ms (12.7%)

Results

800.0ms	8256×	body	256	valid
99.0ms	1140×	body	256	infinite

Bogosity

preprocess10.0ms (0.1%)

Algorithm

2×	egg-herbie

Rules

14×	`rational.json-simplify-1`
6×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	76
1	28	76
0	3	3

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2

Call 2

Inputs
(+.f64 x (*.f64 y (+.f64 z x)))
(+.f64 y (*.f64 x (+.f64 z y)))
(+.f64 z (*.f64 y (+.f64 x z)))
(+.f64 x (*.f64 z (+.f64 y x)))

Outputs
(+.f64 x (*.f64 y (+.f64 z x)))
(+.f64 x (*.f64 y (+.f64 x z)))
(+.f64 y (*.f64 x (+.f64 z y)))
(+.f64 y (*.f64 x (+.f64 y z)))
(+.f64 z (*.f64 y (+.f64 x z)))
(+.f64 x (*.f64 z (+.f64 y x)))
(+.f64 x (*.f64 z (+.f64 x y)))

Compiler

Compiled 13 to 9 computations (30.8% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`rational.json-simplify-1`
2×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	11	19

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(+.f64 x (*.f64 y (+.f64 z x)))

Outputs
(+.f64 x (*.f64 y (+.f64 z x)))
(+.f64 x (*.f64 y (+.f64 x z)))

eval0.0ms (0%)

Compiler: Compiled 17 to 9 computations (47.1% 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 x (*.f64 y (+.f64 z x)))

Compiler

Compiled 10 to 6 computations (40% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 21 to 6 computations (71.4% saved)

series5.0ms (0.1%)

Counts

2 → 60

Calls

18 calls:

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

rewrite108.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

2026×	`bool.json-1`
1292×	`rational.json-simplify-35`
1260×	`bool.json-2`
1230×	`rational.json-1`
1230×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	32
1	80	32
2	216	32
3	458	32
4	969	32
5	2164	32
6	4601	32
7	7657	32

Stop Event

1×	node limit

Counts

2 → 33

Calls

Call 1

Inputs
(*.f64 y (+.f64 z x))
(+.f64 x (*.f64 y (+.f64 z x)))

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

Outputs

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

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

simplify857.0ms (12%)

Algorithm

1×	egg-herbie

Rules

7438×	`rational.json-simplify-41`
3942×	`rational.json-simplify-35`
1542×	`rational.json-simplify-2`
906×	`rational.json-simplify-1`
530×	`rational.json-simplify-51`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	90	1677
1	197	1491
2	472	1491
3	1231	1491
4	2515	1491
5	3252	1491
6	3585	1491
7	3782	1491
8	3912	1491
9	4029	1491
10	4134	1491
11	4238	1491
12	4465	1491
13	4588	1491
14	4619	1491
15	4639	1491
16	4652	1491
17	4660	1491
18	4662	1491
19	4766	1491
20	4870	1491
21	4974	1491
22	5078	1491
23	5182	1491
24	5286	1491
25	5390	1491
26	5494	1491
27	5598	1491
28	5702	1491
29	5806	1491
30	5910	1491
31	6014	1491
32	6014	1491

Stop Event

1×	node limit

Counts

93 → 51

Calls

Call 1

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

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

eval8.0ms (0.1%)

Compiler: Compiled 534 to 228 computations (57.3% saved)

prune11.0ms (0.1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	45	6	51
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	45	7	52

Error

Counts

52 → 7

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(+.f64 (.f64 y z) (+.f64 (.f64 y x) x))
▶	21.7b	(+.f64 (*.f64 y x) x)
✓	0.0b	(+.f64 x (*.f64 y (+.f64 z x)))
▶	11.2b	(+.f64 x (*.f64 y z))
▶	21.7b	(*.f64 (+.f64 1 y) x)
▶	30.0b	(*.f64 y (+.f64 z x))
	32.7b	x

Compiler

Compiled 102 to 65 computations (36.3% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 26 to 7 computations (73.1% saved)

series3.0ms (0%)

Counts

2 → 42

Calls

15 calls:

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

rewrite90.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1646×	`bool.json-1`
1646×	`bool.json-2`
1620×	`rational.json-1`
1620×	`rational.json-2`
1620×	`rational.json-3`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	9	38
1	92	38
2	254	32
3	569	32
4	1283	32
5	3103	32
6	6380	32

Stop Event

1×	node limit

Counts

2 → 42

Calls

Call 1

Inputs
(+.f64 (*.f64 y x) x)
(+.f64 (.f64 y z) (+.f64 (.f64 y x) x))

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

Outputs

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

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

simplify445.0ms (6.2%)

Algorithm

1×	egg-herbie

Rules

2278×	`rational.json-simplify-2`
1824×	`rational.json-simplify-35`
1822×	`rational.json-simplify-51`
1534×	`rational.json-simplify-1`
1086×	`rational.json-simplify-42`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	101	1302
1	193	1302
2	463	1302
3	999	1302
4	1715	1302
5	2126	1302
6	2316	1302
7	2523	1302
8	2732	1302
9	3047	1302
10	4746	1302
11	5107	1302
12	5368	1302
13	5528	1302
14	5693	1302
15	5844	1302
16	7998	1302

Stop Event

1×	node limit

Counts

84 → 61

Calls

Call 1

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

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

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
	0.0b	(*.f64 y (+.f64 z x))

Compiler

Compiled 14 to 5 computations (64.3% saved)

localize76.0ms (1.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (+.f64 1 y) x)

Compiler

Compiled 14 to 9 computations (35.7% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

6 calls:

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

rewrite92.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1626×	`bool.json-1`
1626×	`bool.json-2`
1586×	`rational.json-1`
1586×	`rational.json-2`
1184×	`rational.json-simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	80	13
2	248	13
3	483	13
4	941	13
5	2028	13
6	4106	13
7	6516	13

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

Outputs

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

simplify1.2s (16.7%)

Algorithm

1×	egg-herbie

Rules

4920×	`rational.json-simplify-35`
2506×	`rational.json-simplify-2`
1114×	`rational.json-simplify-53`
970×	`rational.json-simplify-1`
790×	`rational.json-simplify-43`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	275
1	92	275
2	182	275
3	436	275
4	1871	275
5	3522	275
6	4343	275
7	4716	275
8	4927	275
9	5132	275
10	5314	275
11	5652	275
12	5652	275
13	5725	275
14	5895	275
15	6081	275
16	6310	275
17	6479	275
18	6626	275
19	6770	275
20	6914	275
21	7058	275
22	7202	275
23	7346	275
24	7346	275
25	7452	275
26	7452	275
27	7596	275
28	7740	275
29	7884	275

Stop Event

1×	node limit

Counts

23 → 17

Calls

Call 1

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

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

localize1.1s (15%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 5 computations (64.3% saved)

series1.0ms (0%)

Counts

1 → 36

Calls

9 calls:

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

rewrite91.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1618×	`bool.json-1`
1618×	`bool.json-2`
1586×	`rational.json-1`
1586×	`rational.json-2`
1586×	`rational.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	70	13
2	196	13
3	417	13
4	861	13
5	1885	13
6	3899	13
7	6381	13

Stop Event

1×	node limit

Counts

1 → 20

Calls

Call 1

Inputs
(+.f64 x (*.f64 y z))

Outputs

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

simplify987.0ms (13.8%)

Algorithm

1×	egg-herbie

Rules

5914×	`rational.json-simplify-51`
1978×	`rational.json-simplify-35`
1696×	`rational.json-simplify-2`
1278×	`rational.json-simplify-1`
1128×	`rational.json-simplify-49`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	54	650
1	111	650
2	281	650
3	690	650
4	1105	650
5	2508	650
6	3350	650
7	3408	650
8	3438	650
9	3464	650
10	3490	650
11	3516	650
12	3565	650
13	3591	650
14	3617	650
15	3643	650
16	3669	650
17	3695	650
18	3721	650
19	4550	650
20	4922	650
21	4954	650
22	4984	650
23	5013	650
24	5042	650
25	5071	650
26	5100	650
27	5129	650
28	5158	650
29	5187	650
30	5216	650
31	5245	650
32	5274	650
33	5303	650
34	5332	650
35	5361	650
36	5390	650
37	5419	650
38	5448	650
39	5477	650
40	5477	650

Stop Event

1×	node limit

Counts

56 → 23

Calls

Call 1

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

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

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
	0.0b	(+.f64 (*.f64 y x) x)

Compiler

Compiled 13 to 5 computations (61.5% saved)

eval25.0ms (0.3%)

Compiler: Compiled 1441 to 681 computations (52.7% saved)

prune21.0ms (0.3%)

Pruning

9 alts after pruning (4 fresh and 5 done)

	Pruned	Kept	Total
New	145	3	148
Fresh	0	1	1
Picked	0	1	1
Done	1	4	5
Total	146	9	155

Error

Counts

155 → 9

Alt Table

Click to see full alt table

Status	Error	Program
▶	30.0b	(+.f64 (.f64 y z) (.f64 y x))
✓	21.7b	(+.f64 (*.f64 y x) x)
✓	0.0b	(+.f64 x (*.f64 y (+.f64 z x)))
✓	11.2b	(+.f64 x (*.f64 y z))
✓	21.7b	(*.f64 (+.f64 1 y) x)
✓	30.0b	(*.f64 y (+.f64 z x))
▶	40.6b	(*.f64 y z)
▶	51.4b	(*.f64 y x)
	32.7b	x

Compiler

Compiled 68 to 44 computations (35.3% saved)

localize3.0ms (0%)

Compiler: Compiled 8 to 4 computations (50% saved)

localize5.0ms (0.1%)

Compiler: Compiled 8 to 4 computations (50% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 y z) (.f64 y x))

Compiler

Compiled 19 to 6 computations (68.4% saved)

series1.0ms (0%)

Counts

1 → 18

Calls

9 calls:

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

rewrite82.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1306×	`bool.json-1`
1306×	`bool.json-2`
1290×	`rational.json-simplify-35`
1276×	`rational.json-1`
1276×	`rational.json-2`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	80	13
2	220	13
3	480	13
4	992	13
5	2209	13
6	4716	13

Stop Event

1×	node limit

Counts

1 → 33

Calls

Call 1

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

Outputs

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

simplify227.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

2032×	`rational.json-simplify-2`
1754×	`rational.json-simplify-1`
1632×	`rational.json-simplify-35`
1108×	`rational.json-simplify-41`
840×	`rational.json-simplify-53`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	86	651
1	194	651
2	417	651
3	1259	651
4	2529	651
5	3821	651
6	4189	651
7	4391	651
8	4499	651
9	4606	651
10	4765	651
11	5638	651
12	6404	651
13	6957	651

Stop Event

1×	node limit

Counts

51 → 36

Calls

Call 1

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

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

eval6.0ms (0.1%)

Compiler: Compiled 343 to 172 computations (49.9% saved)

prune8.0ms (0.1%)

Pruning

9 alts after pruning (1 fresh and 8 done)

	Pruned	Kept	Total
New	36	0	36
Fresh	0	1	1
Picked	0	1	1
Done	0	7	7
Total	36	9	45

Error

Counts

45 → 9

Alt Table

Click to see full alt table

Status	Error	Program
✓	30.0b	(+.f64 (.f64 y z) (.f64 y x))
✓	21.7b	(+.f64 (*.f64 y x) x)
✓	0.0b	(+.f64 x (*.f64 y (+.f64 z x)))
✓	11.2b	(+.f64 x (*.f64 y z))
✓	21.7b	(*.f64 (+.f64 1 y) x)
✓	30.0b	(*.f64 y (+.f64 z x))
✓	40.6b	(*.f64 y z)
✓	51.4b	(*.f64 y x)
	32.7b	x

Compiler

Compiled 68 to 44 computations (35.3% saved)

eval0.0ms (0%)

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

prune3.0ms (0%)

Pruning

9 alts after pruning (1 fresh and 8 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	8	8
Total	9	9

Error

Counts

9 → 9

Alt Table

Click to see full alt table

Status	Error	Program
✓	30.0b	(+.f64 (.f64 y z) (.f64 y x))
✓	21.7b	(+.f64 (*.f64 y x) x)
✓	0.0b	(+.f64 x (*.f64 y (+.f64 z x)))
✓	11.2b	(+.f64 x (*.f64 y z))
✓	21.7b	(*.f64 (+.f64 1 y) x)
✓	30.0b	(*.f64 y (+.f64 z x))
✓	40.6b	(*.f64 y z)
✓	51.4b	(*.f64 y x)
	32.7b	x

Compiler

Compiled 68 to 44 computations (35.3% saved)

regimes27.0ms (0.4%)

Counts

10 → 1

Calls

Call 1

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

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

Calls

4 calls:

7.0ms	y
6.0ms	z
6.0ms	(+.f64 x (*.f64 y (+.f64 z x)))
6.0ms	x

Results

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

Compiler

Compiled 75 to 30 computations (60% saved)

regimes26.0ms (0.4%)

Counts

9 → 1

Calls

Call 1

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

Outputs
(+.f64 x (*.f64 y (+.f64 z x)))

Calls

4 calls:

7.0ms	z
6.0ms	y
6.0ms	(+.f64 x (*.f64 y (+.f64 z x)))
5.0ms	x

Results

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

Compiler

Compiled 66 to 29 computations (56.1% saved)

regimes47.0ms (0.7%)

Counts

7 → 3

Calls

Call 1

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

Outputs
(*.f64 y (+.f64 z x))
(+.f64 x (*.f64 y z))
(*.f64 y (+.f64 z x))

Calls

3 calls:

18.0ms	z
14.0ms	y
14.0ms	x

Results

Error	Segments	Branch
6.2b	3	`x`
0.7b	3	`y`
5.6b	3	`z`

Compiler

Compiled 42 to 21 computations (50% saved)

bsearch29.0ms (0.4%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
16.0ms	1.708838288419395e-8	842916.2312661392
13.0ms	-86637.3526839423	-156.4910111688476

Results

26.0ms	288×	body	256	valid
0.0ms	2×	body	256	infinite

Compiler

Compiled 340 to 227 computations (33.2% saved)

regimes44.0ms (0.6%)

Counts

5 → 3

Calls

Call 1

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

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

Calls

3 calls:

15.0ms	z
15.0ms	x
12.0ms	y

Results

Error	Segments	Branch
11.2b	3	`x`
10.9b	3	`y`
14.5b	3	`z`

Compiler

Compiled 32 to 19 computations (40.6% saved)

bsearch30.0ms (0.4%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
16.0ms	2.2227052520451843e-42	7.589712745380059e-25
14.0ms	-143.2967135657492	-0.08045070414880505

Results

26.0ms

288×

body

256

valid

Compiler

Compiled 340 to 245 computations (27.9% saved)

regimes42.0ms (0.6%)

Counts

4 → 3

Calls

Call 1

Inputs
x
(*.f64 y x)
(*.f64 y z)
(*.f64 y (+.f64 z x))

Outputs
(*.f64 y (+.f64 z x))
x
(*.f64 y (+.f64 z x))

Calls

3 calls:

17.0ms	z
14.0ms	x
10.0ms	y

Results

Error	Segments	Branch
18.1b	3	`x`
10.9b	3	`y`
21.7b	5	`z`

Compiler

Compiled 27 to 16 computations (40.7% saved)

bsearch31.0ms (0.4%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
16.0ms	2.2227052520451843e-42	7.589712745380059e-25
14.0ms	-7.77910032596869e-16	-1.506572476011561e-23

Results

27.0ms

304×

body

256

valid

Compiler

Compiled 282 to 201 computations (28.7% saved)

regimes51.0ms (0.7%)

Counts

3 → 6

Calls

Call 1

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

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

Calls

3 calls:

21.0ms	y
18.0ms	z
12.0ms	x

Results

Error	Segments	Branch
22.3b	3	`x`
17.1b	6	`y`
24.3b	5	`z`

Compiler

Compiled 22 to 14 computations (36.4% saved)

bsearch74.0ms (1%)

Algorithm

5×	binary-search

Steps

Time	Left	Right
15.0ms	6.346918609031283e+67	9.750730747502258e+70
16.0ms	2.2227052520451843e-42	7.589712745380059e-25
15.0ms	-7.77910032596869e-16	-1.506572476011561e-23
11.0ms	-2.0570577727975525e+66	-4.5709640975076345e+65
16.0ms	-1.0107466390064388e+83	-6.850611287639263e+80

Results

60.0ms	640×	body	256	valid
6.0ms	71×	body	256	infinite

Compiler

Compiled 538 to 392 computations (27.1% saved)

regimes20.0ms (0.3%)

Accuracy

Total -39.5b remaining (-176.4%)

Threshold costs -39.5b (-176.4%)

Counts

2 → 3

Calls

Call 1

Inputs
x
(*.f64 y x)

Outputs
(*.f64 y x)
x
(*.f64 y x)

Calls

3 calls:

8.0ms	z
8.0ms	y
3.0ms	x

Results

Error	Segments	Branch
32.7b	1	`x`
22.4b	3	`y`
31.5b	3	`z`

Compiler

Compiled 19 to 13 computations (31.6% saved)

bsearch18.0ms (0.2%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
16.0ms	1.708838288419395e-8	842916.2312661392
2.0ms	-156.4910111688476	-143.2967135657492

Results

15.0ms	176×	body	256	valid
0.0ms	1×	body	256	infinite

Compiler

Compiled 148 to 110 computations (25.7% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	55	318

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(+.f64 (.f64 y z) (+.f64 (.f64 y x) x))
(+.f64 x (*.f64 y (+.f64 z x)))
(if (<=.f64 y -160) (.f64 y (+.f64 z x)) (if (<=.f64 y 1) (+.f64 x (.f64 y z)) (*.f64 y (+.f64 z x))))
(if (<=.f64 y -7/2) (.f64 y (+.f64 z x)) (if (<=.f64 y 66355061549583/340282366920938463463374607431768211456) (.f64 (+.f64 1 y) x) (*.f64 y (+.f64 z x))))
(if (<=.f64 y -7463926734143815/81129638414606681695789005144064) (.f64 y (+.f64 z x)) (if (<=.f64 y 8278036617694567/1427247692705959881058285969449495136382746624) x (.f64 y (+.f64 z x))))
(if (<=.f64 y -2199999999999999868945052437887596711425318221398377401540034253290385628270166016) (.f64 y z) (if (<=.f64 y -729999999999999973180358394305525088873058097253406841123219963904) (.f64 y x) (if (<=.f64 y -1713457963316493/5192296858534827628530496329220096) (.f64 y z) (if (<=.f64 y 4573395011417413/10889035741470030830827987437816582766592) x (if (<=.f64 y 480000000000000015658895202310422131076681877251465743414501847334912) (.f64 y z) (*.f64 y x))))))
(if (<=.f64 y -145) (.f64 y x) (if (<=.f64 y 1) x (.f64 y x)))
x

Outputs
(+.f64 (.f64 y z) (+.f64 (.f64 y x) x))
(+.f64 x (*.f64 y (+.f64 z x)))
(if (<=.f64 y -160) (.f64 y (+.f64 z x)) (if (<=.f64 y 1) (+.f64 x (.f64 y z)) (*.f64 y (+.f64 z x))))
(if (<=.f64 y -7/2) (.f64 y (+.f64 z x)) (if (<=.f64 y 66355061549583/340282366920938463463374607431768211456) (.f64 (+.f64 1 y) x) (*.f64 y (+.f64 z x))))
(if (<=.f64 y -7463926734143815/81129638414606681695789005144064) (.f64 y (+.f64 z x)) (if (<=.f64 y 8278036617694567/1427247692705959881058285969449495136382746624) x (.f64 y (+.f64 z x))))
(if (<=.f64 y -2199999999999999868945052437887596711425318221398377401540034253290385628270166016) (.f64 y z) (if (<=.f64 y -729999999999999973180358394305525088873058097253406841123219963904) (.f64 y x) (if (<=.f64 y -1713457963316493/5192296858534827628530496329220096) (.f64 y z) (if (<=.f64 y 4573395011417413/10889035741470030830827987437816582766592) x (if (<=.f64 y 480000000000000015658895202310422131076681877251465743414501847334912) (.f64 y z) (*.f64 y x))))))
(if (<=.f64 y -145) (.f64 y x) (if (<=.f64 y 1) x (.f64 y x)))
x

Compiler

Compiled 157 to 84 computations (46.5% saved)

soundness0.0ms (0%)

end53.0ms (0.7%)

Compiler: Compiled 136 to 53 computations (61% saved)

Details

analyze286.0ms (4%)

sample912.0ms (12.7%)

preprocess10.0ms (0.1%)

simplify8.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0.1%)

series5.0ms (0.1%)

rewrite108.0ms (1.5%)

simplify857.0ms (12%)

eval8.0ms (0.1%)

prune11.0ms (0.1%)

localize8.0ms (0.1%)

series3.0ms (0%)

rewrite90.0ms (1.2%)

simplify445.0ms (6.2%)

localize5.0ms (0.1%)

localize76.0ms (1.1%)

series1.0ms (0%)

rewrite92.0ms (1.3%)

simplify1.2s (16.7%)

localize1.1s (15%)

series1.0ms (0%)

rewrite91.0ms (1.3%)

simplify987.0ms (13.8%)

localize7.0ms (0.1%)

eval25.0ms (0.3%)

prune21.0ms (0.3%)

localize3.0ms (0%)

localize5.0ms (0.1%)

localize6.0ms (0.1%)

series1.0ms (0%)

rewrite82.0ms (1.1%)

simplify227.0ms (3.2%)

eval6.0ms (0.1%)

prune8.0ms (0.1%)

eval0.0ms (0%)

prune3.0ms (0%)

regimes27.0ms (0.4%)

regimes26.0ms (0.4%)

regimes47.0ms (0.7%)

bsearch29.0ms (0.4%)

regimes44.0ms (0.6%)

bsearch30.0ms (0.4%)

regimes42.0ms (0.6%)

bsearch31.0ms (0.4%)

regimes51.0ms (0.7%)

bsearch74.0ms (1%)

regimes20.0ms (0.3%)

bsearch18.0ms (0.2%)

simplify5.0ms (0.1%)

soundness0.0ms (0%)

end53.0ms (0.7%)

Profiling