Details

analyze177.0ms (4.8%)

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)

sample1.1s (29.8%)

Results

866.0ms	8256×	body	256	valid
100.0ms	1142×	body	256	infinite

Bogosity

preprocess12.0ms (0.3%)

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)

simplify46.0ms (1.2%)

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.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 21 to 6 computations (71.4% saved)

series71.0ms (1.9%)

Counts

1 → 24

Calls

9 calls:

Time	Variable		Point	Expression
68.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	z	@	inf	(*.f64 y (+.f64 z x))

rewrite172.0ms (4.7%)

Algorithm

1×	batch-egg-rewrite

Rules

2520×	`rational.json-simplify-2`
1526×	`rational.json-simplify-35`
1258×	`rational.json-simplify-1`
1232×	`exponential.json-3`
1232×	`rational.json-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	46	13
2	102	13
3	214	13
4	397	13
5	896	13
6	2315	13
7	4183	13
8	5088	13
9	6162	13
10	6977	13
11	6977	13

Stop Event

1×	node limit

Counts

1 → 14

Calls

Call 1

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

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

simplify728.0ms (19.7%)

Algorithm

1×	egg-herbie

Rules

3002×	`rational.json-simplify-2`
2412×	`rational.json-simplify-35`
1726×	`rational.json-simplify-53`
1124×	`rational.json-simplify-1`
1006×	`exponential.json-simplify-26`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	48	650
1	130	458
2	244	458
3	588	458
4	2167	458
5	4162	458
6	4776	458
7	4911	458
8	5009	458
9	5107	458
10	5203	458
11	6227	458
12	6739	458
13	6945	458
14	6945	458
15	6945	458
16	7041	458
17	7137	458
18	7601	458
19	7853	458

Stop Event

1×	node limit

Counts

38 → 19

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

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

eval3.0ms (0.1%)

Compiler: Compiled 218 to 117 computations (46.3% saved)

prune4.0ms (0.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	16	3	19
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	16	4	20

Error

0.0b

Counts

20 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(+.f64 x (+.f64 (.f64 y z) (.f64 y x)))
✓	0.0b	(+.f64 x (*.f64 y (+.f64 z x)))
▶	12.6b	(+.f64 x (*.f64 y z))
▶	21.8b	(+.f64 x (*.f64 y x))

Compiler

Compiled 38 to 23 computations (39.5% saved)

localize397.0ms (10.8%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 5 computations (61.5% saved)

series2.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite192.0ms (5.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1732×	`rational.json-simplify-1`
1654×	`rational.json-simplify-35`
1514×	`exponential.json-3`
1514×	`rational.json-1`
1514×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	40	13
2	94	13
3	209	13
4	397	13
5	907	13
6	2470	13
7	4679	13
8	5578	13
9	6927	13
10	7994	13
11	7994	13

Stop Event

1×	node limit

Counts

1 → 44

Calls

Call 1

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

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

Outputs

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

simplify146.0ms (4%)

Algorithm

1×	egg-herbie

Rules

1904×	`rational.json-simplify-35`
1278×	`rational.json-simplify-51`
1092×	`rational.json-simplify-41`
1044×	`rational.json-simplify-2`
840×	`rational.json-simplify-42`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	107	884
1	249	884
2	487	884
3	883	884
4	1606	884
5	4490	884
6	5758	884
7	6397	884
8	6992	884
9	7430	884

Stop Event

1×	node limit

Counts

68 → 51

Calls

Call 1

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

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

localize5.0ms (0.1%)

Compiler: Compiled 14 to 5 computations (64.3% saved)

localize8.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 28 to 7 computations (75% saved)

series2.0ms (0.1%)

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

rewrite166.0ms (4.5%)

Algorithm

1×	batch-egg-rewrite

Rules

2754×	`rational.json-simplify-2`
1304×	`rational.json-1`
1304×	`rational.json-2`
1304×	`rational.json-3`
1284×	`exponential.json-3`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	53	13
2	117	13
3	255	13
4	474	13
5	1107	13
6	2764	13
7	4899	13
8	6163	13
9	7022	13
10	7022	13

Stop Event

1×	node limit

Counts

1 → 48

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

simplify215.0ms (5.8%)

Algorithm

1×	egg-herbie

Rules

2960×	`rational.json-simplify-2`
1500×	`rational.json-simplify-35`
1496×	`rational.json-simplify-53`
1416×	`rational.json-simplify-1`
1292×	`rational.json-simplify-51`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	105	822
1	243	822
2	565	822
3	1454	822
4	3695	822
5	5381	822
6	6280	822
7	6419	822
8	6530	822
9	6635	822
10	6767	822
11	7821	822

Stop Event

1×	node limit

Counts

66 → 51

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

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

eval19.0ms (0.5%)

Compiler: Compiled 1027 to 613 computations (40.3% saved)

prune16.0ms (0.4%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	100	2	102
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	100	6	106

Error

0.0b

Counts

106 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 x (+.f64 (.f64 y z) (.f64 y x)))
✓	0.0b	(+.f64 x (*.f64 y (+.f64 z x)))
✓	12.6b	(+.f64 x (*.f64 y z))
✓	21.8b	(+.f64 x (*.f64 y x))
▶	51.2b	(*.f64 y x)
	33.5b	x

Compiler

Compiled 48 to 30 computations (37.5% saved)

localize3.0ms (0.1%)

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

eval0.0ms (0%)

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

prune2.0ms (0.1%)

Pruning

6 alts after pruning (1 fresh and 5 done)

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

Error

0.0b

Counts

6 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 x (+.f64 (.f64 y z) (.f64 y x)))
✓	0.0b	(+.f64 x (*.f64 y (+.f64 z x)))
✓	12.6b	(+.f64 x (*.f64 y z))
✓	21.8b	(+.f64 x (*.f64 y x))
✓	51.2b	(*.f64 y x)
	33.5b	x

Compiler

Compiled 48 to 30 computations (37.5% saved)

eval0.0ms (0%)

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

prune2.0ms (0.1%)

Pruning

6 alts after pruning (1 fresh and 5 done)

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

Error

0.0b

Counts

6 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 x (+.f64 (.f64 y z) (.f64 y x)))
✓	0.0b	(+.f64 x (*.f64 y (+.f64 z x)))
✓	12.6b	(+.f64 x (*.f64 y z))
✓	21.8b	(+.f64 x (*.f64 y x))
✓	51.2b	(*.f64 y x)
	33.5b	x

Compiler

Compiled 48 to 30 computations (37.5% saved)

regimes21.0ms (0.6%)

Counts

6 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

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 55 to 27 computations (50.9% saved)

regimes39.0ms (1.1%)

Counts

4 → 3

Calls

Call 1

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

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

Calls

3 calls:

15.0ms	z
13.0ms	x
10.0ms	y

Results

Error	Segments	Branch
6.8b	3	`x`
10.7b	2	`y`
6.2b	3	`z`

Compiler

Compiled 29 to 16 computations (44.8% saved)

bsearch34.0ms (0.9%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
20.0ms	4.649912786279433e-51	1.5452905002406436e-37
15.0ms	-5.049852529882048e-73	-1.4048632987230417e-81

Results

31.0ms

304×

body

256

valid

Compiler

Compiled 358 to 239 computations (33.2% saved)

regimes11.0ms (0.3%)

Counts

3 → 1

Calls

Call 1

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

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

Calls

3 calls:

4.0ms	z
3.0ms	x
3.0ms	y

Results

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

Compiler

Compiled 24 to 14 computations (41.7% saved)

regimes26.0ms (0.7%)

Accuracy

Total -39.2b remaining (-171.6%)

Threshold costs -39.2b (-171.6%)

Counts

2 → 3

Calls

Call 1

Inputs
x
(*.f64 y x)

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

Calls

3 calls:

14.0ms	x
8.0ms	y
4.0ms	z

Results

Error	Segments	Branch
30.7b	5	`x`
22.8b	3	`y`
33.5b	1	`z`

Compiler

Compiled 19 to 13 computations (31.6% saved)

bsearch28.0ms (0.8%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
12.0ms	0.00483977177724887	3.46704316882068
16.0ms	-227342868912662.56	-0.07940906263363708

Results

25.0ms

288×

body

256

valid

Compiler

Compiled 232 to 173 computations (25.4% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	123

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(+.f64 x (*.f64 y (+.f64 z x)))
(if (<=.f64 z -165509173077177/31828687130226345097944463881396533766429193651030253916189694521162207808802136034115584) (+.f64 x (.f64 y z)) (if (<=.f64 z 8237163532154153/191561942608236107294793378393788647952342390272950272) (+.f64 x (.f64 y x)) (+.f64 x (*.f64 y z))))
(+.f64 x (*.f64 y x))
(if (<=.f64 y -1) (.f64 y x) (if (<=.f64 y 1) x (.f64 y x)))
x

Outputs
(+.f64 x (*.f64 y (+.f64 z x)))
(if (<=.f64 z -165509173077177/31828687130226345097944463881396533766429193651030253916189694521162207808802136034115584) (+.f64 x (.f64 y z)) (if (<=.f64 z 8237163532154153/191561942608236107294793378393788647952342390272950272) (+.f64 x (.f64 y x)) (+.f64 x (*.f64 y z))))
(+.f64 x (*.f64 y x))
(if (<=.f64 y -1) (.f64 y x) (if (<=.f64 y 1) x (.f64 y x)))
x

Compiler

Compiled 66 to 37 computations (43.9% saved)

soundness0.0ms (0%)

end29.0ms (0.8%)

Compiler: Compiled 54 to 22 computations (59.3% saved)

Details

analyze177.0ms (4.8%)

sample1.1s (29.8%)

preprocess12.0ms (0.3%)

simplify46.0ms (1.2%)

eval0.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0.2%)

series71.0ms (1.9%)

rewrite172.0ms (4.7%)

simplify728.0ms (19.7%)

eval3.0ms (0.1%)

prune4.0ms (0.1%)

localize397.0ms (10.8%)

series2.0ms (0.1%)

rewrite192.0ms (5.2%)

simplify146.0ms (4%)

localize5.0ms (0.1%)

localize8.0ms (0.2%)

series2.0ms (0.1%)

rewrite166.0ms (4.5%)

simplify215.0ms (5.8%)

eval19.0ms (0.5%)

prune16.0ms (0.4%)

localize3.0ms (0.1%)

eval0.0ms (0%)

prune2.0ms (0.1%)

eval0.0ms (0%)

prune2.0ms (0.1%)

regimes21.0ms (0.6%)

regimes39.0ms (1.1%)

bsearch34.0ms (0.9%)

regimes11.0ms (0.3%)

regimes26.0ms (0.7%)

bsearch28.0ms (0.8%)

simplify4.0ms (0.1%)

soundness0.0ms (0%)

end29.0ms (0.8%)

Profiling