Details

analyze2.0s (12.1%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
0%	0%	99.9%	0.1%	0%	0%	0%	5
0%	0%	99.9%	0.1%	0%	0%	0%	6
12.5%	12.5%	87.4%	0.1%	0%	0%	0%	7
18.8%	18.7%	81.1%	0.1%	0%	0%	0%	8
25.6%	25%	72.5%	0.1%	2.3%	0%	0%	9
36.7%	34.3%	59.3%	0.1%	6.2%	0%	0%	10
44.2%	40.6%	51.3%	0.1%	8%	0%	0%	11
52.1%	46.8%	43%	0.1%	10%	0%	0%	12

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample3.3s (19.4%)

Results

2.9s	8256×	body	256	valid
338.0ms	1060×	body	256	infinite

Bogosity

preprocess12.0ms (0.1%)

Algorithm

2×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2

Call 2

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

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

Compiler

Compiled 13 to 9 computations (30.8% saved)

simplify8.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	10	19

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

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

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

eval0.0ms (0%)

Compiler: Compiled 10 to 6 computations (40% 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 x (*.f64 y (-.f64 z x)))

Compiler

Compiled 10 to 6 computations (40% saved)

localize7.0ms (0%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 21 to 6 computations (71.4% saved)

series4.0ms (0%)

Counts

2 → 60

Calls

18 calls:

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

rewrite122.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1812×	`rational.json-1`
1576×	`rational.json-simplify-35`
1284×	`rational.json-2`
1284×	`rational.json-3`
1276×	`exponential.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	32
1	52	32
2	114	32
3	248	32
4	474	32
5	1114	32
6	3168	32
7	5876	32
8	7870	32

Stop Event

1×	node limit

Counts

2 → 34

Calls

Call 1

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

Outputs

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

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

simplify438.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

3632×	`rational.json-simplify-41`
2560×	`rational.json-simplify-35`
1826×	`rational.json-simplify-2`
610×	`exponential.json-simplify-26`
608×	`rational.json-simplify-51`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	96	1912
1	217	1666
2	565	1666
3	1448	1622
4	2598	1622
5	3384	1622
6	3839	1622
7	4131	1622
8	4315	1622
9	4452	1622
10	4589	1622
11	4924	1622
12	5103	1622
13	5171	1622
14	5191	1622
15	5208	1622
16	5232	1622
17	5302	1622
18	5533	1622
19	5721	1622

Stop Event

1×	node limit

Counts

94 → 63

Calls

Call 1

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

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

eval9.0ms (0.1%)

Compiler: Compiled 648 to 292 computations (54.9% saved)

prune10.0ms (0.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	58	5	63
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	58	6	64

Error

0.0b

Counts

64 → 6

Alt Table

Click to see full alt table

Status	Error	Program
▶	21.8b	(+.f64 x (*.f64 (neg.f64 y) x))
✓	0.0b	(+.f64 x (*.f64 y (-.f64 z x)))
▶	21.8b	(*.f64 (-.f64 1 y) x)
▶	29.7b	(*.f64 y (-.f64 z x))
▶	41.4b	(*.f64 y z)
	33.3b	x

Compiler

Compiled 45 to 30 computations (33.3% saved)

localize3.0ms (0%)

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

localize5.0ms (0%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 5 computations (64.3% saved)

localize6.0ms (0%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 9 computations (35.7% saved)

series2.0ms (0%)

Counts

1 → 12

Calls

6 calls:

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

rewrite192.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1618×	`rational.json-simplify-35`
1384×	`exponential.json-3`
1384×	`rational.json-1`
1384×	`rational.json-2`
1384×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	55	13
2	128	13
3	238	13
4	428	13
5	912	13
6	2338	13
7	4229	13
8	5306	13
9	6566	13
10	7666	13
11	7848	13

Stop Event

1×	node limit

Counts

1 → 22

Calls

Call 1

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

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

Outputs

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

simplify466.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

2988×	`rational.json-simplify-35`
1920×	`rational.json-simplify-2`
1694×	`rational.json-simplify-53`
988×	`rational.json-simplify-1`
912×	`rational.json-simplify-43`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	64	484
1	166	462
2	329	462
3	718	462
4	2353	462
5	4060	462
6	4685	462
7	4924	462
8	5113	462
9	5320	462
10	6042	462
11	7111	462
12	7197	462
13	7265	462
14	7286	462
15	7468	462
16	7639	462
17	7806	462
18	7971	462

Stop Event

1×	node limit

Counts

34 → 33

Calls

Call 1

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

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

localize6.0ms (0%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 17 to 6 computations (64.7% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite113.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1622×	`rational.json-1`
1622×	`rational.json-2`
1622×	`rational.json-3`
1616×	`rational.json-4`
1380×	`rational.json-simplify-35`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	56	17
2	133	17
3	301	13
4	638	13
5	1510	13
6	3090	13
7	4917	13
8	7173	13

Stop Event

1×	node limit

Counts

1 → 33

Calls

Call 1

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

Outputs

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

simplify234.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

2322×	`rational.json-simplify-2`
1920×	`rational.json-simplify-35`
964×	`rational.json-simplify-1`
906×	`rational.json-simplify-53`
886×	`rational.json-simplify-45`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	87	1071
1	203	963
2	421	963
3	1310	749
4	2836	749
5	4017	749
6	4861	749
7	5402	749
8	5721	749
9	5979	749
10	6362	749
11	7000	749

Stop Event

1×	node limit

Counts

57 → 44

Calls

Call 1

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

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

eval17.0ms (0.1%)

Compiler: Compiled 852 to 564 computations (33.8% saved)

prune15.0ms (0.1%)

Pruning

7 alts after pruning (2 fresh and 5 done)

	Pruned	Kept	Total
New	96	1	97
Fresh	0	1	1
Picked	0	1	1
Done	0	4	4
Total	96	7	103

Error

0.0b

Counts

103 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	21.8b	(+.f64 x (*.f64 (neg.f64 y) x))
✓	0.0b	(+.f64 x (*.f64 y (-.f64 z x)))
✓	21.8b	(*.f64 (-.f64 1 y) x)
▶	51.0b	(*.f64 (neg.f64 y) x)
✓	29.7b	(*.f64 y (-.f64 z x))
✓	41.4b	(*.f64 y z)
	33.3b	x

Compiler

Compiled 52 to 35 computations (32.7% saved)

localize5.0ms (0%)

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

eval0.0ms (0%)

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

prune2.0ms (0%)

Pruning

7 alts after pruning (1 fresh and 6 done)

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

Error

0.0b

Counts

7 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	21.8b	(+.f64 x (*.f64 (neg.f64 y) x))
✓	0.0b	(+.f64 x (*.f64 y (-.f64 z x)))
✓	21.8b	(*.f64 (-.f64 1 y) x)
✓	51.0b	(*.f64 (neg.f64 y) x)
✓	29.7b	(*.f64 y (-.f64 z x))
✓	41.4b	(*.f64 y z)
	33.3b	x

Compiler

Compiled 52 to 35 computations (32.7% saved)

eval0.0ms (0%)

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

prune2.0ms (0%)

Pruning

7 alts after pruning (1 fresh and 6 done)

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

Error

0.0b

Counts

7 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	21.8b	(+.f64 x (*.f64 (neg.f64 y) x))
✓	0.0b	(+.f64 x (*.f64 y (-.f64 z x)))
✓	21.8b	(*.f64 (-.f64 1 y) x)
✓	51.0b	(*.f64 (neg.f64 y) x)
✓	29.7b	(*.f64 y (-.f64 z x))
✓	41.4b	(*.f64 y z)
	33.3b	x

Compiler

Compiled 52 to 35 computations (32.7% saved)

regimes22.0ms (0.1%)

Counts

7 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 56 to 28 computations (50% saved)

regimes268.0ms (1.6%)

Counts

6 → 3

Calls

Call 1

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

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

Calls

3 calls:

136.0ms	y
117.0ms	z
14.0ms	x

Results

Error	Segments	Branch
10.8b	3	`x`
10.3b	3	`y`
12.1b	5	`z`

Compiler

Compiled 39 to 21 computations (46.2% saved)

bsearch25.0ms (0.1%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
14.0ms	248950084421.08813	33679951586418012000.0
11.0ms	-1.8052226356650174e-14	-1.2903966588051144e-16

Results

22.0ms	256×	body	256	valid
0.0ms	1×	body	256	infinite

Compiler

Compiled 304 to 219 computations (28% saved)

regimes136.0ms (0.8%)

Counts

4 → 3

Calls

Call 1

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

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

Calls

3 calls:

110.0ms	z
14.0ms	x
10.0ms	y

Results

Error	Segments	Branch
17.9b	3	`x`
10.6b	3	`y`
20.4b	5	`z`

Compiler

Compiled 28 to 17 computations (39.3% saved)

bsearch100.0ms (0.6%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
89.0ms	5.412330754573269e-36	5.631934058425652e-32
11.0ms	-1.8052226356650174e-14	-1.2903966588051144e-16

Results

97.0ms

240×

body

256

valid

Compiler

Compiled 226 to 161 computations (28.8% saved)

regimes101.0ms (0.6%)

Counts

3 → 7

Calls

Call 1

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

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

Calls

3 calls:

66.0ms	z
25.0ms	y
9.0ms	x

Results

Error	Segments	Branch
22.5b	3	`x`
17.5b	7	`y`
23.8b	5	`z`

Compiler

Compiled 23 to 15 computations (34.8% saved)

bsearch166.0ms (1%)

Algorithm

6×	binary-search

Steps

Time	Left	Right
29.0ms	8.531001157519087e+195	8.723903985901003e+201
42.0ms	1.4208192136366431e+57	3.4837580942201555e+63
14.0ms	8.68875356035391e-6	12.134020106689762
48.0ms	-1.8052226356650174e-14	-1.2903966588051144e-16
13.0ms	-2.1759008051765167e+80	-1.232114001601237e+79
19.0ms	-4.9214282557396214e+129	-1.1819010740472077e+123

Results

97.0ms	800×	body	256	valid
22.0ms	256×	body	256	infinite

Compiler

Compiled 727 to 538 computations (26% saved)

regimes2.5s (14.7%)

Accuracy

Total -40.0b remaining (-181.2%)

Threshold costs -40.0b (-181.2%)

Counts

2 → 3

Calls

Call 1

Inputs
x
(*.f64 y z)

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

Calls

3 calls:

2.5s	x
18.0ms	z
8.0ms	y

Results

Error	Segments	Branch
22.5b	3	`x`
22.1b	3	`y`
23.8b	5	`z`

Compiler

Compiled 19 to 13 computations (31.6% saved)

bsearch87.0ms (0.5%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
77.0ms	5.412330754573269e-36	5.631934058425652e-32
11.0ms	-1.8052226356650174e-14	-1.2903966588051144e-16

Results

85.0ms

240×

body

256

valid

Compiler

Compiled 196 to 146 computations (25.5% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	53	264

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(+.f64 x (*.f64 y (-.f64 z x)))
(if (<=.f64 y -2139160387885137/158456325028528675187087900672) (.f64 y (-.f64 z x)) (if (<=.f64 y 250000000000) (.f64 (-.f64 1 y) x) (*.f64 y (-.f64 z x))))
(if (<=.f64 y -5577662641004209/5070602400912917605986812821504) (.f64 y (-.f64 z x)) (if (<=.f64 y 35681192317649/713623846352979940529142984724747568191373312) x (.f64 y (-.f64 z x))))
(if (<=.f64 y -1320000000000000022273279377471068176779786169352183128751074252484425497983477514989768918493551131346822281579184473800769011712) (.f64 y z) (if (<=.f64 y -56999999999999996987439237412750230061176072767759532017701234382702214020857856) (.f64 (neg.f64 y) x) (if (<=.f64 y -2281771080410813/633825300114114700748351602688) (.f64 y z) (if (<=.f64 y 1) x (if (<=.f64 y 22000000000000000313764669241588296131486159691790157990592512) (.f64 (neg.f64 y) x) (if (<=.f64 y 719999999999999964823170574024929507844019553205407602361594040121292844109997061196043928020408496422903032311233954482900274234039779502669772986691904687551466390762886600055961030752494208155648) (.f64 y z) (.f64 (neg.f64 y) x)))))))
(if (<=.f64 y -8239728901483491/1267650600228229401496703205376) (.f64 y z) (if (<=.f64 y 7307508186654515/730750818665451459101842416358141509827966271488) x (.f64 y z)))
x

Outputs
(+.f64 x (*.f64 y (-.f64 z x)))
(if (<=.f64 y -2139160387885137/158456325028528675187087900672) (.f64 y (-.f64 z x)) (if (<=.f64 y 250000000000) (.f64 (-.f64 1 y) x) (*.f64 y (-.f64 z x))))
(if (<=.f64 y -5577662641004209/5070602400912917605986812821504) (.f64 y (-.f64 z x)) (if (<=.f64 y 35681192317649/713623846352979940529142984724747568191373312) x (.f64 y (-.f64 z x))))
(if (<=.f64 y -1320000000000000022273279377471068176779786169352183128751074252484425497983477514989768918493551131346822281579184473800769011712) (.f64 y z) (if (<=.f64 y -56999999999999996987439237412750230061176072767759532017701234382702214020857856) (.f64 (neg.f64 y) x) (if (<=.f64 y -2281771080410813/633825300114114700748351602688) (.f64 y z) (if (<=.f64 y 1) x (if (<=.f64 y 22000000000000000313764669241588296131486159691790157990592512) (.f64 (neg.f64 y) x) (if (<=.f64 y 719999999999999964823170574024929507844019553205407602361594040121292844109997061196043928020408496422903032311233954482900274234039779502669772986691904687551466390762886600055961030752494208155648) (.f64 y z) (.f64 (neg.f64 y) x)))))))
(if (<=.f64 y -8239728901483491/1267650600228229401496703205376) (.f64 y z) (if (<=.f64 y 7307508186654515/730750818665451459101842416358141509827966271488) x (.f64 y z)))
x

Compiler

Compiled 129 to 68 computations (47.3% saved)

soundness0.0ms (0%)

end6.5s (38.6%)

Compiler: Compiled 114 to 48 computations (57.9% saved)

Details

analyze2.0s (12.1%)

sample3.3s (19.4%)

preprocess12.0ms (0.1%)

simplify8.0ms (0%)

eval0.0ms (0%)

prune1.0ms (0%)

localize7.0ms (0%)

series4.0ms (0%)

rewrite122.0ms (0.7%)

simplify438.0ms (2.6%)

eval9.0ms (0.1%)

prune10.0ms (0.1%)

localize3.0ms (0%)

localize5.0ms (0%)

localize6.0ms (0%)

series2.0ms (0%)

rewrite192.0ms (1.1%)

simplify466.0ms (2.7%)

localize6.0ms (0%)

series2.0ms (0%)

rewrite113.0ms (0.7%)

simplify234.0ms (1.4%)

eval17.0ms (0.1%)

prune15.0ms (0.1%)

localize5.0ms (0%)

eval0.0ms (0%)

prune2.0ms (0%)

eval0.0ms (0%)

prune2.0ms (0%)

regimes22.0ms (0.1%)

regimes268.0ms (1.6%)

bsearch25.0ms (0.1%)

regimes136.0ms (0.8%)

bsearch100.0ms (0.6%)

regimes101.0ms (0.6%)

bsearch166.0ms (1%)

regimes2.5s (14.7%)

bsearch87.0ms (0.5%)

simplify5.0ms (0%)

soundness0.0ms (0%)

end6.5s (38.6%)

Profiling