Details

analyze178.0ms (1.7%)

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.8%	25%	71.8%	0.1%	3.1%	0%	0%	9
37.3%	34.3%	57.7%	0.1%	7.8%	0%	0%	10
45.1%	41.3%	50.3%	0.1%	8.2%	0%	0%	11
52.5%	46.8%	42.3%	0.1%	10.7%	0%	0%	12

Compiler

Compiled 13 to 10 computations (23.1% saved)

sample873.0ms (8.1%)

Results

765.0ms	8256×	body	256	valid
97.0ms	1057×	body	256	infinite

Bogosity

preprocess4.0ms (0%)

Algorithm

2×	egg-herbie

Rules

16×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	100
1	29	100
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 1 (.f64 (-.f64 1 y) z)))
(.f64 y (-.f64 1 (.f64 (-.f64 1 x) z)))
(.f64 z (-.f64 1 (.f64 (-.f64 1 y) x)))
(.f64 x (-.f64 1 (.f64 (-.f64 1 z) y)))

Outputs
(.f64 x (-.f64 1 (.f64 (-.f64 1 y) z)))
(.f64 y (-.f64 1 (.f64 (-.f64 1 x) z)))
(.f64 y (-.f64 1 (.f64 z (-.f64 1 x))))
(.f64 z (-.f64 1 (.f64 (-.f64 1 y) x)))
(.f64 z (-.f64 1 (.f64 x (-.f64 1 y))))
(.f64 x (-.f64 1 (.f64 (-.f64 1 z) y)))
(.f64 x (-.f64 1 (.f64 y (-.f64 1 z))))

Compiler

Compiled 15 to 12 computations (20% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	25
1	12	25

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

Inputs
(.f64 x (-.f64 1 (.f64 (-.f64 1 y) z)))

Outputs
(.f64 x (-.f64 1 (.f64 (-.f64 1 y) z)))

eval0.0ms (0%)

Compiler: Compiled 12 to 9 computations (25% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

2.1b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	2.1b	(.f64 x (-.f64 1 (.f64 (-.f64 1 y) z)))

Compiler

Compiled 12 to 9 computations (25% saved)

localize12.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 31 to 20 computations (35.5% saved)

series5.0ms (0%)

Counts

2 → 60

Calls

15 calls:

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

rewrite87.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1616×	`rational.json-simplify-35`
1370×	`bool.json-1`
1370×	`bool.json-2`
1324×	`rational.json-1`
1324×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	38
1	105	38
2	297	38
3	598	38
4	1180	38
5	2591	38
6	5372	38

Stop Event

1×	node limit

Counts

2 → 22

Calls

Call 1

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

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

Outputs

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

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

simplify486.0ms (4.5%)

Algorithm

1×	egg-herbie

Rules

3596×	`rational.json-simplify-35`
2890×	`rational.json-simplify-2`
1396×	`rational.json-simplify-1`
1150×	`rational.json-simplify-49`
1126×	`rational.json-simplify-53`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	80	1654
1	188	1632
2	387	1578
3	891	1578
4	2577	1578
5	4079	1578
6	4992	1578
7	5268	1578
8	5496	1578
9	5510	1578
10	6591	1578
11	7076	1578
12	7110	1578
13	7112	1578
14	7312	1578
15	7510	1578
16	7708	1578
17	7906	1578

Stop Event

1×	node limit

Counts

82 → 50

Calls

Call 1

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

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

eval10.0ms (0.1%)

Compiler: Compiled 565 to 380 computations (32.7% saved)

prune11.0ms (0.1%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	43	7	50
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	44	7	51

Error

0.0b

Counts

51 → 7

Alt Table

Click to see full alt table

Status	Error	Program
▶	3.6b	(+.f64 (.f64 z (.f64 (-.f64 y 1) x)) x)
▶	15.6b	(*.f64 (-.f64 1 z) x)
▶	32.8b	(.f64 z (.f64 (-.f64 y 1) x))
▶	47.7b	(.f64 z (.f64 y x))
▶	48.2b	(.f64 y (.f64 z x))
	17.5b	(.f64 x (-.f64 1 (.f64 z (neg.f64 y))))
	30.8b	x

Compiler

Compiled 118 to 81 computations (31.4% saved)

localize11.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 31 to 18 computations (41.9% saved)

series7.0ms (0.1%)

Counts

3 → 51

Calls

24 calls:

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

rewrite100.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1498×	`bool.json-1`
1498×	`bool.json-2`
1466×	`rational.json-1`
1466×	`rational.json-2`
1466×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	57
1	110	57
2	324	57
3	658	57
4	1333	57
5	3052	57
6	5998	57

Stop Event

1×	node limit

Counts

3 → 43

Calls

Call 1

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

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

Outputs

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

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

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

simplify364.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

2732×	`rational.json-simplify-2`
2046×	`rational.json-simplify-35`
1374×	`rational.json-simplify-1`
1302×	`rational.json-simplify-42`
884×	`rational.json-simplify-53`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	108	2530
1	264	1846
2	620	1846
3	1500	1846
4	3181	1846
5	4288	1846
6	4537	1846
7	4740	1846
8	4997	1846
9	5374	1846
10	6903	1846
11	7089	1846
12	7448	1846
13	7516	1846
14	7548	1846
15	7572	1846

Stop Event

1×	node limit

Counts

94 → 74

Calls

Call 1

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

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

localize5.0ms (0%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 5 computations (64.3% saved)

series3.0ms (0%)

Counts

1 → 0

Calls

9 calls:

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

rewrite99.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1858×	`bool.json-1`
1858×	`bool.json-2`
1186×	`rational.json-1`
1186×	`rational.json-2`
1186×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	72	13
2	214	13
3	472	13
4	945	13
5	2102	13
6	4534	13
7	7541	13

Stop Event

1×	node limit

Counts

1 → 11

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

simplify464.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

3798×	`rational.json-simplify-35`
2474×	`rational.json-simplify-2`
2250×	`rational.json-simplify-53`
968×	`rational.json-simplify-43`
766×	`rational.json-simplify-49`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	40	143
1	101	143
2	225	143
3	557	143
4	2316	143
5	3732	143
6	4407	143
7	4711	143
8	4952	143
9	4955	143
10	5926	143
11	5926	143
12	5926	143
13	6162	143
14	6398	143
15	6634	143
16	6870	143
17	7106	143
18	7106	143

Stop Event

1×	node limit

Counts

11 → 12

Calls

Call 1

Inputs
(+.f64 (.f64 y (.f64 z x)) 0)
(+.f64 0 (.f64 y (.f64 z x)))
(+.f64 (.f64 y (.f64 z (.f64 x 1/2))) (.f64 y (.f64 z (.f64 x 1/2))))
(-.f64 (.f64 y (.f64 z x)) 0)
(/.f64 (.f64 y (.f64 z x)) 1)
(/.f64 (.f64 y (.f64 z (+.f64 x x))) 2)
(/.f64 (.f64 z (.f64 y (*.f64 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 (.f64 y (.f64 z x)) 0)
(.f64 y (.f64 z x))
(+.f64 0 (.f64 y (.f64 z x)))
(.f64 y (.f64 z x))
(+.f64 (.f64 y (.f64 z (.f64 x 1/2))) (.f64 y (.f64 z (.f64 x 1/2))))
(.f64 y (.f64 z x))
(-.f64 (.f64 y (.f64 z x)) 0)
(.f64 y (.f64 z x))
(/.f64 (.f64 y (.f64 z x)) 1)
(.f64 y (.f64 z x))
(/.f64 (.f64 y (.f64 z (+.f64 x x))) 2)
(.f64 y (.f64 z x))
(/.f64 (.f64 z (.f64 y (*.f64 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))

localize5.0ms (0%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 5 computations (64.3% saved)

series1.0ms (0%)

Counts

1 → 36

Calls

9 calls:

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

rewrite100.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1858×	`bool.json-1`
1858×	`bool.json-2`
1186×	`rational.json-1`
1186×	`rational.json-2`
1186×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	72	13
2	214	13
3	472	13
4	945	13
5	2102	13
6	4534	13
7	7541	13

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

Outputs

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

simplify509.0ms (4.7%)

Algorithm

1×	egg-herbie

Rules

3886×	`rational.json-simplify-35`
2786×	`rational.json-simplify-2`
2696×	`rational.json-simplify-53`
1032×	`rational.json-simplify-43`
802×	`rational.json-simplify-49`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	42	611
1	103	611
2	234	611
3	586	611
4	2446	611
5	3902	611
6	4586	611
7	4891	611
8	5137	611
9	5140	611
10	6234	611
11	6234	611
12	6234	611
13	6475	611
14	6716	611
15	6957	611
16	7198	611
17	7439	611
18	7439	611

Stop Event

1×	node limit

Counts

47 → 13

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

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

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (-.f64 1 z) 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 z) x)
0.0ms	x	@	-inf	(*.f64 (-.f64 1 z) x)
0.0ms	x	@	0	(*.f64 (-.f64 1 z) x)
0.0ms	z	@	0	(*.f64 (-.f64 1 z) x)
0.0ms	z	@	inf	(*.f64 (-.f64 1 z) x)

rewrite105.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

1212×	`bool.json-1`
1212×	`bool.json-2`
1192×	`rational.json-simplify-35`
1166×	`rational.json-1`
1166×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	77	13
2	237	13
3	474	13
4	921	13
5	1980	13
6	4313	13
7	7510	13

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(*.f64 (-.f64 1 z) x)

Outputs

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

simplify972.0ms (9.1%)

Algorithm

1×	egg-herbie

Rules

7820×	`rational.json-simplify-41`
3924×	`rational.json-simplify-35`
2860×	`rational.json-simplify-2`
1820×	`rational.json-simplify-53`
722×	`rational.json-simplify-1`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	41	341
1	96	319
2	195	319
3	424	319
4	1328	319
5	2602	319
6	3586	319
7	3760	319
8	3886	319
9	4009	319
10	4129	319
11	4249	319
12	4802	319
13	5065	319
14	5123	319
15	5123	319
16	5243	319
17	5363	319
18	5483	319
19	5603	319
20	5867	319
21	6189	319
22	6362	319
23	6507	319
24	6631	319
25	6751	319
26	6751	319
27	7051	319
28	7051	319

Stop Event

1×	node limit

Counts

23 → 21

Calls

Call 1

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

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

localize10.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
	0.0b	(*.f64 (-.f64 y 1) x)
	3.4b	(.f64 z (.f64 (-.f64 y 1) x))

Compiler

Compiled 22 to 13 computations (40.9% saved)

eval30.0ms (0.3%)

Compiler: Compiled 1625 to 957 computations (41.1% saved)

prune22.0ms (0.2%)

Pruning

9 alts after pruning (5 fresh and 4 done)

	Pruned	Kept	Total
New	154	3	157
Fresh	0	2	2
Picked	0	1	1
Done	1	3	4
Total	155	9	164

Error

0.0b

Counts

164 → 9

Alt Table

Click to see full alt table

Status	Error	Program
▶	15.6b	(+.f64 (*.f64 z (neg.f64 x)) x)
▶	16.7b	(+.f64 (.f64 y (.f64 z x)) x)
✓	15.6b	(*.f64 (-.f64 1 z) x)
✓	32.8b	(.f64 z (.f64 (-.f64 y 1) x))
✓	47.7b	(.f64 z (.f64 y x))
▶	47.1b	(*.f64 z (neg.f64 x))
✓	48.2b	(.f64 y (.f64 z x))
▶	17.5b	(.f64 x (-.f64 1 (.f64 z (neg.f64 y))))
	30.8b	x

Compiler

Compiled 75 to 51 computations (32% saved)

localize9.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	2.0b	(.f64 x (-.f64 1 (.f64 z (neg.f64 y))))

Compiler

Compiled 27 to 11 computations (59.3% saved)

series5.0ms (0%)

Counts

1 → 36

Calls

9 calls:

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

rewrite90.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1654×	`bool.json-1`
1654×	`bool.json-2`
1594×	`rational.json-1`
1054×	`bool.json-3`
970×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	23
1	117	23
2	328	23
3	676	23
4	1395	23
5	3166	23
6	6555	23

Stop Event

1×	node limit

Counts

1 → 10

Calls

Call 1

Inputs
(.f64 x (-.f64 1 (.f64 z (neg.f64 y))))

Outputs

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

simplify1.1s (10.2%)

Algorithm

1×	egg-herbie

Rules

7086×	`rational.json-simplify-41`
3856×	`rational.json-simplify-35`
2810×	`rational.json-simplify-2`
1596×	`rational.json-simplify-53`
736×	`rational.json-simplify-43`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	45	946
1	104	902
2	204	902
3	502	814
4	1949	814
5	3183	814
6	3939	814
7	4070	814
8	4163	814
9	4251	814
10	4338	814
11	4766	814
12	4991	814
13	5271	814
14	5426	814
15	5513	814
16	5513	814
17	5600	814
18	5687	814
19	5774	814
20	5942	814
21	6188	814
22	6347	814
23	6480	814
24	6574	814
25	6662	814
26	6749	814
27	6836	814
28	6923	814
29	7010	814
30	7097	814
31	7417	814
32	7417	814

Stop Event

1×	node limit

Counts

46 → 18

Calls

Call 1

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

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

localize5.0ms (0%)

Compiler: Compiled 11 to 5 computations (54.5% saved)

localize162.0ms (1.5%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 21 to 6 computations (71.4% saved)

series1.0ms (0%)

Counts

1 → 18

Calls

9 calls:

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

rewrite80.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1410×	`bool.json-1`
1410×	`bool.json-2`
1378×	`rational.json-1`
1378×	`rational.json-2`
1378×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	82	19
2	234	19
3	516	19
4	1072	19
5	2465	19
6	5273	19

Stop Event

1×	node limit

Counts

1 → 31

Calls

Call 1

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

Outputs

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

simplify290.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

1976×	`rational.json-simplify-2`
1616×	`rational.json-simplify-1`
1360×	`rational.json-simplify-42`
1330×	`rational.json-simplify-45`
1138×	`rational.json-simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	86	871
1	181	871
2	414	871
3	892	871
4	1315	871
5	2746	871
6	3622	871
7	3796	871
8	4031	871
9	4334	871
10	4826	871
11	5043	871
12	5551	871
13	5851	871
14	6136	871
15	6499	871

Stop Event

1×	node limit

Counts

49 → 39

Calls

Call 1

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

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 17 to 6 computations (64.7% saved)

series1.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite83.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1548×	`bool.json-1`
1548×	`bool.json-2`
1494×	`rational.json-1`
1494×	`rational.json-2`
1494×	`rational.json-4`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	83	17
2	237	17
3	521	17
4	1150	17
5	2673	13
6	5723	13

Stop Event

1×	node limit

Counts

1 → 31

Calls

Call 1

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

Outputs

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

simplify410.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

2470×	`rational.json-simplify-2`
1770×	`rational.json-simplify-35`
1588×	`rational.json-simplify-1`
764×	`rational.json-simplify-53`
706×	`rational.json-simplify-48`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	87	1057
1	181	959
2	413	959
3	1310	771
4	2523	771
5	3412	771
6	3993	771
7	4212	771
8	4441	771
9	4728	771
10	5117	771
11	5612	771
12	6471	771
13	6944	771
14	7546	771
15	7887	771

Stop Event

1×	node limit

Counts

55 → 41

Calls

Call 1

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

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

eval18.0ms (0.2%)

Compiler: Compiled 1085 to 571 computations (47.4% saved)

prune19.0ms (0.2%)

Pruning

9 alts after pruning (4 fresh and 5 done)

	Pruned	Kept	Total
New	107	3	110
Fresh	0	1	1
Picked	1	0	1
Done	2	5	7
Total	110	9	119

Error

0.0b

Counts

119 → 9

Alt Table

Click to see full alt table

Status	Error	Program
▶	15.6b	(-.f64 x (*.f64 x z))
▶	17.5b	(+.f64 x (.f64 x (.f64 y z)))
✓	15.6b	(*.f64 (-.f64 1 z) x)
✓	32.8b	(.f64 z (.f64 (-.f64 y 1) x))
✓	47.7b	(.f64 z (.f64 y x))
✓	47.1b	(*.f64 z (neg.f64 x))
✓	48.2b	(.f64 y (.f64 z x))
▶	49.0b	(.f64 x (.f64 y z))
	30.8b	x

Compiler

Compiled 71 to 47 computations (33.8% saved)

localize5.0ms (0%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	5.6b	(.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	y	@	inf	(.f64 x (.f64 y z))
0.0ms	z	@	-inf	(.f64 x (.f64 y z))
0.0ms	z	@	inf	(.f64 x (.f64 y z))

rewrite102.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

1858×	`bool.json-1`
1858×	`bool.json-2`
1186×	`rational.json-1`
1186×	`rational.json-2`
1186×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	72	13
2	214	13
3	472	13
4	945	13
5	2102	13
6	4534	13
7	7541	13

Stop Event

1×	node limit

Counts

1 → 11

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

simplify493.0ms (4.6%)

Algorithm

1×	egg-herbie

Rules

3790×	`rational.json-simplify-35`
2952×	`rational.json-simplify-2`
2792×	`rational.json-simplify-53`
1104×	`rational.json-simplify-43`
862×	`rational.json-simplify-49`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	42	611
1	105	611
2	237	611
3	606	611
4	2576	611
5	4072	611
6	4792	611
7	5127	611
8	5132	611
9	5135	611
10	6301	611
11	6301	611
12	6301	611
13	6567	611
14	6833	611
15	7099	611
16	7365	611
17	7631	611
18	7631	611

Stop Event

1×	node limit

Counts

47 → 13

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

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 21 to 6 computations (71.4% saved)

series1.0ms (0%)

Counts

1 → 36

Calls

9 calls:

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

rewrite80.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	82	19
2	236	19
3	532	19
4	1107	19
5	2516	19
6	5405	19

Stop Event

1×	node limit

Counts

1 → 33

Calls

Call 1

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

Outputs

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

simplify191.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

2436×	`rational.json-simplify-2`
1714×	`rational.json-simplify-1`
1154×	`rational.json-simplify-51`
1080×	`rational.json-simplify-53`
894×	`rational.json-simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	87	1251
1	185	1251
2	384	1251
3	861	1251
4	1909	1251
5	3662	1251
6	4465	1251
7	4942	1251
8	5389	1251
9	5916	1251
10	6652	1251
11	7772	1251

Stop Event

1×	node limit

Counts

69 → 40

Calls

Call 1

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

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

localize5.0ms (0%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 5 computations (61.5% saved)

series1.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite111.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

1308×	`bool.json-1`
1308×	`bool.json-2`
1266×	`rational.json-1`
1266×	`rational.json-2`
1266×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	60	13
2	178	13
3	397	13
4	840	13
5	1876	13
6	4320	13

Stop Event

1×	node limit

Counts

1 → 51

Calls

Call 1

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

Outputs

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

simplify232.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

2558×	`rational.json-simplify-2`
2060×	`rational.json-simplify-35`
1084×	`rational.json-simplify-51`
1064×	`rational.json-simplify-1`
778×	`rational.json-simplify-52`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	121	1019
1	257	1013
2	550	1007
3	1388	1007
4	2542	1007
5	3968	1007
6	5338	1007
7	6325	1007
8	6954	1007
9	7197	1007
10	7395	1007
11	7581	1007

Stop Event

1×	node limit

Counts

75 → 62

Calls

Call 1

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

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

eval20.0ms (0.2%)

Compiler: Compiled 1239 to 618 computations (50.1% saved)

prune22.0ms (0.2%)

Pruning

9 alts after pruning (1 fresh and 8 done)

	Pruned	Kept	Total
New	128	0	128
Fresh	0	1	1
Picked	0	1	1
Done	0	7	7
Total	128	9	137

Error

0.0b

Counts

137 → 9

Alt Table

Click to see full alt table

Status	Error	Program
✓	15.6b	(-.f64 x (*.f64 x z))
✓	17.5b	(+.f64 x (.f64 x (.f64 y z)))
✓	15.6b	(*.f64 (-.f64 1 z) x)
✓	32.8b	(.f64 z (.f64 (-.f64 y 1) x))
✓	47.7b	(.f64 z (.f64 y x))
✓	47.1b	(*.f64 z (neg.f64 x))
✓	48.2b	(.f64 y (.f64 z x))
✓	49.0b	(.f64 x (.f64 y z))
	30.8b	x

Compiler

Compiled 71 to 47 computations (33.8% saved)

regimes666.0ms (6.2%)

Counts

14 → 3

Calls

Call 1

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

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

Calls

7 calls:

248.0ms	(-.f64 1 (*.f64 (-.f64 1 y) z))
116.0ms	x
114.0ms	(*.f64 (-.f64 1 y) z)
76.0ms	(-.f64 1 y)
75.0ms	z

Results

Error	Segments	Branch
0.1b	3	`x`
1.0b	2	`y`
0.8b	2	`z`
0.8b	2	`(.f64 x (-.f64 1 (.f64 (-.f64 1 y) z)))`
0.6b	2	`(-.f64 1 (*.f64 (-.f64 1 y) z))`
0.6b	2	`(*.f64 (-.f64 1 y) z)`
1.0b	2	`(-.f64 1 y)`

Compiler

Compiled 134 to 76 computations (43.3% saved)

bsearch73.0ms (0.7%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
66.0ms	3.2769661643416947e+25	1.7107292346824118e+31
7.0ms	-1.761988011957231e-25	-1.5200644051923748e-32

Results

71.0ms	96×	body	256	valid
0.0ms	3×	body	256	infinite

Compiler

Compiled 174 to 128 computations (26.4% saved)

regimes117.0ms (1.1%)

Counts

13 → 2

Calls

Call 1

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

Outputs
(.f64 x (-.f64 1 (.f64 (-.f64 1 y) z)))
(.f64 z (.f64 (-.f64 y 1) x))

Calls

7 calls:

52.0ms	x
15.0ms	z
14.0ms	(.f64 x (-.f64 1 (.f64 (-.f64 1 y) z)))
13.0ms	(*.f64 (-.f64 1 y) z)
9.0ms	(-.f64 1 (*.f64 (-.f64 1 y) z))

Results

Error	Segments	Branch
2.1b	1	`x`
2.1b	1	`y`
0.8b	2	`z`
0.8b	2	`(.f64 x (-.f64 1 (.f64 (-.f64 1 y) z)))`
0.6b	2	`(-.f64 1 (*.f64 (-.f64 1 y) z))`
0.6b	2	`(*.f64 (-.f64 1 y) z)`
2.1b	1	`(-.f64 1 y)`

Compiler

Compiled 125 to 71 computations (43.2% saved)

bsearch0.0ms (0%)

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	7.888958821790183e+254	2.3707718132217715e+265

Compiler

Compiled 18 to 14 computations (22.2% saved)

regimes268.0ms (2.5%)

Counts

12 → 3

Calls

Call 1

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

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

Calls

3 calls:

133.0ms	y
111.0ms	x
21.0ms	z

Results

Error	Segments	Branch
8.4b	9	`x`
1.7b	3	`y`
0.8b	3	`z`

Compiler

Compiled 80 to 37 computations (53.8% saved)

bsearch71.0ms (0.7%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
15.0ms	9.261712477570579e-19	4.694638306719311e-14
56.0ms	-653034057.5230305	-308976705.1982169

Results

66.0ms	208×	body	256	valid
1.0ms	13×	body	256	infinite

Compiler

Compiled 304 to 209 computations (31.3% saved)

regimes177.0ms (1.6%)

Counts

9 → 3

Calls

Call 1

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

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

Calls

3 calls:

84.0ms	y
74.0ms	x
17.0ms	z

Results

Error	Segments	Branch
12.3b	3	`x`
8.1b	3	`y`
7.9b	3	`z`

Compiler

Compiled 58 to 30 computations (48.3% saved)

bsearch32.0ms (0.3%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
16.0ms	3.653084709693039e-50	2.029635155442369e-41
16.0ms	-308976705.1982169	-0.21821666825575312

Results

28.0ms	288×	body	256	valid
1.0ms	13×	body	256	infinite

Compiler

Compiled 378 to 266 computations (29.6% saved)

regimes48.0ms (0.4%)

Counts

8 → 3

Calls

Call 1

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

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

Calls

3 calls:

16.0ms	y
15.0ms	x
15.0ms	z

Results

Error	Segments	Branch
13.6b	3	`x`
8.1b	3	`y`
14.4b	3	`z`

Compiler

Compiled 51 to 26 computations (49% saved)

bsearch35.0ms (0.3%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
15.0ms	1.6242953698416968e+105	2.8961970009906374e+107
19.0ms	-2.46370079808997e+213	-6.705625494416842e+208

Results

26.0ms	240×	body	256	valid
3.0ms	29×	body	256	infinite

Compiler

Compiled 288 to 209 computations (27.4% saved)

regimes359.0ms (3.3%)

Counts

5 → 4

Calls

Call 1

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

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

Calls

3 calls:

176.0ms	x
108.0ms	y
73.0ms	z

Results

Error	Segments	Branch
23.8b	9	`x`
17.8b	11	`y`
15.0b	4	`z`

Compiler

Compiled 35 to 20 computations (42.9% saved)

bsearch54.0ms (0.5%)

Algorithm

3×	binary-search

Steps

Time	Left	Right
15.0ms	7892654644.1243725	31970661807064.457
22.0ms	3.653084709693039e-50	2.029635155442369e-41
17.0ms	-308976705.1982169	-0.21821666825575312

Results

48.0ms	416×	body	256	valid
1.0ms	14×	body	256	infinite

Compiler

Compiled 397 to 290 computations (27% saved)

regimes257.0ms (2.4%)

Counts

4 → 4

Calls

Call 1

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

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

Calls

3 calls:

104.0ms	y
89.0ms	x
63.0ms	z

Results

Error	Segments	Branch
24.3b	9	`x`
18.6b	11	`y`
15.0b	4	`z`

Compiler

Compiled 30 to 18 computations (40% saved)

bsearch206.0ms (1.9%)

Algorithm

3×	binary-search

Steps

Time	Left	Right
15.0ms	7892654644.1243725	31970661807064.457
175.0ms	3.653084709693039e-50	2.029635155442369e-41
16.0ms	-308976705.1982169	-0.21821666825575312

Results

199.0ms	416×	body	256	valid
2.0ms	21×	body	256	infinite

Compiler

Compiled 397 to 290 computations (27% saved)

regimes123.0ms (1.1%)

Accuracy

Total -45.3b remaining (-277.4%)

Threshold costs -45.3b (-277.4%)

Counts

2 → 3

Calls

Call 1

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

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

Calls

3 calls:

90.0ms	x
25.0ms	y
8.0ms	z

Results

Error	Segments	Branch
26.0b	9	`x`
25.3b	9	`y`
16.3b	3	`z`

Compiler

Compiled 20 to 14 computations (30% saved)

bsearch111.0ms (1%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
94.0ms	0.00030174616857993265	28.184543323261337
17.0ms	-308976705.1982169	-0.21821666825575312

Results

106.0ms	288×	body	256	valid
2.0ms	22×	body	256	infinite

Compiler

Compiled 252 to 194 computations (23% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	77	527

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(if (<=.f64 x -7136238463529799/178405961588244985132285746181186892047843328) (.f64 x (-.f64 1 (.f64 (-.f64 1 y) z))) (if (<=.f64 x 50000000000000002382364672) (+.f64 (.f64 z (.f64 (-.f64 y 1) x)) x) (.f64 x (-.f64 1 (.f64 (-.f64 1 y) z)))))
(if (<=.f64 (.f64 (-.f64 1 y) z) 999999999999999988452569694641453289891412847766833896677368465428848130901034909295879619908945316559292587569958465674654992927728624557883489163749540246356891129106733591931304833693638565628182306078113383272782784390994049606075766012189756664840192) (.f64 x (-.f64 1 (.f64 (-.f64 1 y) z))) (.f64 z (*.f64 (-.f64 y 1) x)))
(if (<=.f64 z -310000000) (.f64 z (.f64 (-.f64 y 1) x)) (if (<=.f64 z 7288990951312319/158456325028528675187087900672) (+.f64 x (.f64 x (.f64 y z))) (.f64 z (.f64 (-.f64 y 1) x))))
(if (<=.f64 z -20) (.f64 z (.f64 (-.f64 y 1) x)) (if (<=.f64 z 7846377169233351/392318858461667547739736838950479151006397215279002157056) (-.f64 x (.f64 x z)) (.f64 z (*.f64 (-.f64 y 1) x))))
(if (<=.f64 y -67999999999999996941712501446266390027436822395373212950789985704530166892791082424800417602510103810990978865405775314817269048765408403563851587991165381625188869005811786295311846998874855825546383342960640) (.f64 y (.f64 z x)) (if (<=.f64 y 2050000000000000115327538881548278752048331595781511805365424983534616321282107773788261428279245782646784) (.f64 (-.f64 1 z) x) (.f64 z (*.f64 y x))))
(if (<=.f64 z -1) (.f64 z (neg.f64 x)) (if (<=.f64 z 3432790011539591/196159429230833773869868419475239575503198607639501078528) x (if (<=.f64 z 2700000000000) (.f64 z (.f64 y x)) (.f64 z (neg.f64 x)))))
(if (<=.f64 z -1) (.f64 z (neg.f64 x)) (if (<=.f64 z 1632046451200537/12554203470773361527671578846415332832204710888928069025792) x (if (<=.f64 z 110000000000) (.f64 x (.f64 y z)) (.f64 z (neg.f64 x)))))
(if (<=.f64 z -1) (.f64 z (neg.f64 x)) (if (<=.f64 z 1) x (.f64 z (neg.f64 x))))
x

Outputs
(if (<=.f64 x -7136238463529799/178405961588244985132285746181186892047843328) (.f64 x (-.f64 1 (.f64 (-.f64 1 y) z))) (if (<=.f64 x 50000000000000002382364672) (+.f64 (.f64 z (.f64 (-.f64 y 1) x)) x) (.f64 x (-.f64 1 (.f64 (-.f64 1 y) z)))))
(if (<=.f64 (.f64 (-.f64 1 y) z) 999999999999999988452569694641453289891412847766833896677368465428848130901034909295879619908945316559292587569958465674654992927728624557883489163749540246356891129106733591931304833693638565628182306078113383272782784390994049606075766012189756664840192) (.f64 x (-.f64 1 (.f64 (-.f64 1 y) z))) (.f64 z (*.f64 (-.f64 y 1) x)))
(if (<=.f64 z -310000000) (.f64 z (.f64 (-.f64 y 1) x)) (if (<=.f64 z 7288990951312319/158456325028528675187087900672) (+.f64 x (.f64 x (.f64 y z))) (.f64 z (.f64 (-.f64 y 1) x))))
(if (<=.f64 z -20) (.f64 z (.f64 (-.f64 y 1) x)) (if (<=.f64 z 7846377169233351/392318858461667547739736838950479151006397215279002157056) (-.f64 x (.f64 x z)) (.f64 z (*.f64 (-.f64 y 1) x))))
(if (<=.f64 y -67999999999999996941712501446266390027436822395373212950789985704530166892791082424800417602510103810990978865405775314817269048765408403563851587991165381625188869005811786295311846998874855825546383342960640) (.f64 y (.f64 z x)) (if (<=.f64 y 2050000000000000115327538881548278752048331595781511805365424983534616321282107773788261428279245782646784) (.f64 (-.f64 1 z) x) (.f64 z (*.f64 y x))))
(if (<=.f64 z -1) (.f64 z (neg.f64 x)) (if (<=.f64 z 3432790011539591/196159429230833773869868419475239575503198607639501078528) x (if (<=.f64 z 2700000000000) (.f64 z (.f64 y x)) (.f64 z (neg.f64 x)))))
(if (<=.f64 z -1) (.f64 z (neg.f64 x)) (if (<=.f64 z 1632046451200537/12554203470773361527671578846415332832204710888928069025792) x (if (<=.f64 z 110000000000) (.f64 x (.f64 y z)) (.f64 z (neg.f64 x)))))
(if (<=.f64 z -1) (.f64 z (neg.f64 x)) (if (<=.f64 z 1) x (.f64 z (neg.f64 x))))
x

Compiler

Compiled 235 to 146 computations (37.9% saved)

soundness0.0ms (0%)

end89.0ms (0.8%)

Compiler: Compiled 211 to 114 computations (46% saved)