Details

analyze109.0ms (3.3%)

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
25%	25%	74.9%	0.1%	0%	0%	0%	5
37.5%	37.5%	62.4%	0.1%	0%	0%	0%	6
51.6%	50%	46.8%	0.1%	3.1%	0%	0%	7
62.3%	59.3%	35.9%	0.1%	4.7%	0%	0%	8
72.3%	67.1%	25.8%	0.1%	7%	0%	0%	9
79.1%	72.6%	19.1%	0.1%	8.2%	0%	0%	10
85.1%	76.9%	13.5%	0.1%	9.6%	0%	0%	11
89%	79.8%	9.9%	0.1%	10.2%	0%	0%	12

Compiler

Compiled 8 to 5 computations (37.5% saved)

sample1.5s (47.6%)

Results

1.4s	8256×	body	256	valid
174.0ms	220×	body	256	infinite

Bogosity

preprocess58.0ms (1.8%)

Algorithm

2×	egg-herbie

Rules

2×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	26
1	9	26
0	2	2

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

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

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

Compiler

Compiled 9 to 6 computations (33.3% saved)

simplify8.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

2×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	7	13

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

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

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

eval0.0ms (0%)

Compiler: Compiled 7 to 4 computations (42.9% 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

0.0b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(-.f64 (*.f64 x y) x)

Compiler

Compiled 7 to 4 computations (42.9% saved)

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 12 to 4 computations (66.7% saved)

series2.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite109.0ms (3.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1566×	`rational.json-1`
1566×	`rational.json-2`
1566×	`rational.json-3`
1564×	`rational.json-4`
1322×	`rational.json-simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	39	13
2	95	13
3	219	13
4	415	13
5	942	13
6	2650	13
7	5238	13
8	7083	13

Stop Event

1×	node limit

Counts

1 → 86

Calls

Call 1

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

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

Outputs

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

simplify145.0ms (4.5%)

Algorithm

1×	egg-herbie

Rules

1640×	`rational.json-simplify-35`
1244×	`exponential.json-simplify-26`
1190×	`rational.json-simplify-2`
1012×	`rational.json-simplify-53`
960×	`rational.json-simplify-42`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	194	1614
1	423	1602
2	859	1590
3	1717	1590
4	3340	1590
5	4694	1590
6	5739	1590
7	6049	1590
8	6779	1590

Stop Event

1×	node limit

Counts

110 → 108

Calls

Call 1

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

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

eval96.0ms (3%)

Compiler: Compiled 983 to 653 computations (33.6% saved)

prune15.0ms (0.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	105	3	108
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	105	4	109

Error

Counts

109 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f64 (*.f64 x y) x)
▶	0.0b	(*.f64 (-.f64 y 1) x)
▶	36.8b	(*.f64 y x)
▶	25.9b	(neg.f64 x)

Compiler

Compiled 23 to 15 computations (34.8% saved)

localize2.0ms (0.1%)

Compiler: Compiled 5 to 3 computations (40% saved)

localize3.0ms (0.1%)

Compiler: Compiled 7 to 3 computations (57.1% saved)

localize67.0ms (2.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 8 computations (38.5% saved)

series2.0ms (0%)

Counts

1 → 12

Calls

6 calls:

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

rewrite181.0ms (5.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1650×	`rational.json-simplify-1`
1502×	`rational.json-simplify-35`
1372×	`exponential.json-3`
1372×	`rational.json-1`
1372×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	57	13
2	135	13
3	241	13
4	441	13
5	943	13
6	2379	13
7	4148	13
8	5229	13
9	6756	13
10	7591	13
11	7591	13

Stop Event

1×	node limit

Counts

1 → 14

Calls

Call 1

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

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

Outputs

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

simplify577.0ms (17.8%)

Algorithm

1×	egg-herbie

Rules

2650×	`rational.json-simplify-35`
1774×	`rational.json-simplify-2`
1522×	`rational.json-simplify-53`
1400×	`rational.json-simplify-1`
1040×	`exponential.json-simplify-26`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	48	458
1	128	318
2	242	318
3	549	318
4	1954	318
5	3888	318
6	4516	318
7	4714	318
8	4877	318
9	5086	318
10	5258	318
11	6280	318
12	6984	318
13	7184	318
14	7245	318
15	7297	318
16	7390	318
17	7435	318
18	7624	318
19	7788	318
20	7945	318

Stop Event

1×	node limit

Counts

26 → 21

Calls

Call 1

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

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

eval5.0ms (0.1%)

Compiler: Compiled 184 to 137 computations (25.5% saved)

prune4.0ms (0.1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	21	0	21
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	21	4	25

Error

Counts

25 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f64 (*.f64 x y) x)
✓	0.0b	(*.f64 (-.f64 y 1) x)
✓	36.8b	(*.f64 y x)
✓	25.9b	(neg.f64 x)

Compiler

Compiled 23 to 15 computations (34.8% saved)

regimes13.0ms (0.4%)

Counts

4 → 1

Calls

Call 1

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

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

Calls

3 calls:

4.0ms	y
4.0ms	(-.f64 (*.f64 x y) x)
4.0ms	x

Results

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

Compiler

Compiled 30 to 17 computations (43.3% saved)

regimes17.0ms (0.5%)

Counts

3 → 1

Calls

Call 1

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

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

Calls

2 calls:

13.0ms	x
3.0ms	y

Results

Error	Segments	Branch
0.0b	1	`x`
0.0b	1	`y`

Compiler

Compiled 18 to 11 computations (38.9% saved)

regimes86.0ms (2.7%)

Accuracy

Total -60.0b remaining (-4662.1%)

Threshold costs -60.0b (-4662.1%)

Counts

2 → 3

Calls

Call 1

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

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

Calls

2 calls:

78.0ms	x
8.0ms	y

Results

Error	Segments	Branch
19.0b	7	`x`
1.3b	3	`y`

Compiler

Compiled 13 to 8 computations (38.5% saved)

bsearch123.0ms (3.8%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
13.0ms	1.0384940919781344e-9	3198.680275676964
109.0ms	-1222.4106190796956	-0.0015366698496783958

Results

120.0ms

304×

body

256

valid

Compiler

Compiled 221 to 160 computations (27.6% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	68

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(-.f64 (*.f64 x y) x)
(*.f64 (-.f64 y 1) x)
(if (<=.f64 y -1) (.f64 y x) (if (<=.f64 y 1) (neg.f64 x) (.f64 y x)))
(neg.f64 x)

Outputs
(-.f64 (*.f64 x y) x)
(*.f64 (-.f64 y 1) x)
(if (<=.f64 y -1) (.f64 y x) (if (<=.f64 y 1) (neg.f64 x) (.f64 y x)))
(neg.f64 x)

Compiler

Compiled 36 to 22 computations (38.9% saved)

soundness0.0ms (0%)

end69.0ms (2.1%)

Compiler: Compiled 30 to 15 computations (50% saved)

Details

analyze109.0ms (3.3%)

sample1.5s (47.6%)

preprocess58.0ms (1.8%)

simplify8.0ms (0.3%)

eval0.0ms (0%)

prune1.0ms (0%)

localize7.0ms (0.2%)

series2.0ms (0.1%)

rewrite109.0ms (3.4%)

simplify145.0ms (4.5%)

eval96.0ms (3%)

prune15.0ms (0.4%)

localize2.0ms (0.1%)

localize3.0ms (0.1%)

localize67.0ms (2.1%)

series2.0ms (0%)

rewrite181.0ms (5.6%)

simplify577.0ms (17.8%)

eval5.0ms (0.1%)

prune4.0ms (0.1%)

regimes13.0ms (0.4%)

regimes17.0ms (0.5%)

regimes86.0ms (2.7%)

bsearch123.0ms (3.8%)

simplify3.0ms (0.1%)

soundness0.0ms (0%)

end69.0ms (2.1%)

Profiling