Details

analyze1.0s (5.5%)

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)

sample2.7s (14.8%)

Results

2.2s	8256×	body	256	valid
511.0ms	1087×	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)

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 21 to 6 computations (71.4% saved)

series4.0ms (0%)

Counts

2 → 60

Calls

18 calls:

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

rewrite115.0ms (0.6%)

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	5874	32
8	7868	32

Stop Event

1×	node limit

Counts

2 → 34

Calls

Call 1

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

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

Outputs

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

((#(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)))))

simplify445.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

3728×	`rational.json-simplify-41`
2422×	`rational.json-simplify-35`
2058×	`rational.json-simplify-2`
748×	`rational.json-simplify-53`
676×	`exponential.json-simplify-26`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	92	1912
1	210	1666
2	543	1666
3	1424	1622
4	2705	1622
5	3484	1622
6	3917	1622
7	4230	1622
8	4425	1622
9	4555	1622
10	4683	1622
11	5077	1622
12	5243	1622
13	5301	1622
14	5352	1622
15	5470	1622
16	5567	1622
17	5637	1622
18	5769	1622
19	5899	1622

Stop Event

1×	node limit

Counts

94 → 60

Calls

Call 1

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

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

eval11.0ms (0.1%)

Compiler: Compiled 631 to 282 computations (55.3% saved)

prune8.0ms (0%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	55	5	60
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	56	5	61

Error

0.0b

Counts

61 → 5

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(+.f64 (.f64 y z) (.f64 x (-.f64 1 y)))
▶	14.1b	(+.f64 x (*.f64 y z))
▶	24.6b	(*.f64 y (-.f64 z x))
▶	24.5b	(*.f64 x (-.f64 1 y))
	38.3b	x

Compiler

Compiled 40 to 27 computations (32.5% saved)

localize6.0ms (0%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 9 computations (35.7% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite181.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

1616×	`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	2337	13
7	4223	13
8	5298	13
9	6558	13
10	7658	13
11	7840	13

Stop Event

1×	node limit

Counts

1 → 22

Calls

Call 1

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

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

simplify371.0ms (2%)

Algorithm

1×	egg-herbie

Rules

2118×	`rational.json-simplify-35`
2020×	`rational.json-simplify-2`
1878×	`rational.json-simplify-53`
1060×	`rational.json-simplify-1`
992×	`rational.json-simplify-43`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	66	640
1	170	618
2	333	618
3	765	618
4	2601	618
5	4362	618
6	5002	618
7	5206	618
8	5362	618
9	5537	618
10	6410	618
11	7599	618
12	7724	618
13	7775	618
14	7799	618
15	7817	618
16	7956	618

Stop Event

1×	node limit

Counts

46 → 29

Calls

Call 1

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

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

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)

localize79.0ms (0.4%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 5 computations (64.3% saved)

series1.0ms (0%)

Counts

1 → 36

Calls

9 calls:

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

rewrite192.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

1524×	`rational.json-simplify-35`
1424×	`rational.json-simplify-1`
1386×	`exponential.json-3`
1386×	`rational.json-1`
1386×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	46	13
2	102	13
3	214	13
4	397	13
5	896	13
6	2312	13
7	4174	13
8	5358	13
9	6869	13
10	7680	13
11	7680	13

Stop Event

1×	node limit

Counts

1 → 23

Calls

Call 1

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

Outputs

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

simplify840.0ms (4.5%)

Algorithm

1×	egg-herbie

Rules

5824×	`rational.json-simplify-51`
3524×	`rational.json-simplify-35`
1364×	`rational.json-simplify-49`
1152×	`rational.json-simplify-2`
1114×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	54	689
1	121	689
2	420	689
3	1176	689
4	1869	689
5	2750	689
6	3233	689
7	3307	689
8	3355	689
9	3387	689
10	3419	689
11	3451	689
12	3483	689
13	3515	689
14	3547	689
15	3579	689
16	3611	689
17	3643	689
18	3675	689
19	4583	689
20	4842	689
21	4935	689
22	5024	689
23	5111	689
24	5197	689
25	5410	689
26	5410	689
27	5496	689
28	5582	689
29	5668	689
30	5754	689
31	5840	689
32	5926	689
33	6012	689
34	6098	689
35	6184	689

Stop Event

1×	node limit

Counts

59 → 26

Calls

Call 1

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

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

localize10.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 27 to 14 computations (48.1% saved)

series1.0ms (0%)

Counts

1 → 36

Calls

9 calls:

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

rewrite237.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1904×	`rational.json-simplify-1`
1382×	`exponential.json-3`
1382×	`rational.json-1`
1382×	`rational.json-2`
1382×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	25
1	75	25
2	160	25
3	306	25
4	573	25
5	1286	25
6	2934	25
7	5086	25
8	6321	25
9	7425	25
10	7505	25
11	7597	25
12	7686	25

Stop Event

1×	node limit

Counts

1 → 20

Calls

Call 1

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

Outputs

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

simplify461.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

3124×	`rational.json-simplify-51`
2958×	`rational.json-simplify-2`
2102×	`rational.json-simplify-35`
1484×	`rational.json-simplify-49`
1138×	`rational.json-simplify-1`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	61	1298
1	132	1268
2	329	1268
3	963	1268
4	1574	1268
5	2366	1268
6	2825	1268
7	2896	1268
8	2947	1268
9	2985	1268
10	3477	1268
11	3644	1268
12	3714	1268
13	3784	1268
14	3838	1268
15	3892	1268
16	3946	1268
17	4000	1268
18	4054	1268
19	5047	1268
20	7477	1268
21	7559	1268
22	7606	1268
23	7652	1268
24	7698	1268

Stop Event

1×	node limit

Counts

56 → 42

Calls

Call 1

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

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

eval26.0ms (0.1%)

Compiler: Compiled 1494 to 850 computations (43.1% saved)

prune20.0ms (0.1%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	142	3	145
Fresh	0	1	1
Picked	1	0	1
Done	0	3	3
Total	143	7	150

Error

0.0b

Counts

150 → 7

Alt Table

Click to see full alt table

Status	Error	Program
▶	24.6b	(+.f64 (.f64 y z) (.f64 y (neg.f64 x)))
✓	14.1b	(+.f64 x (*.f64 y z))
✓	24.6b	(*.f64 y (-.f64 z x))
▶	48.6b	(*.f64 y (neg.f64 x))
▶	38.3b	(*.f64 y z)
✓	24.5b	(*.f64 x (-.f64 1 y))
	38.3b	x

Compiler

Compiled 52 to 35 computations (32.7% saved)

localize4.0ms (0%)

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

localize4.0ms (0%)

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

localize8.0ms (0%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 23 to 7 computations (69.6% saved)

series3.0ms (0%)

Counts

1 → 36

Calls

9 calls:

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

rewrite118.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1638×	`rational.json-simplify-35`
1616×	`rational.json-1`
1616×	`rational.json-2`
1616×	`rational.json-3`
1596×	`rational.json-4`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	23
1	69	17
2	156	17
3	348	17
4	704	17
5	1723	17
6	3526	17
7	5533	17
8	7401	17

Stop Event

1×	node limit

Counts

1 → 33

Calls

Call 1

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

Outputs

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

simplify3.2s (17.5%)

Algorithm

1×	egg-herbie

Rules

3240×	`rational.json-simplify-35`
2228×	`rational.json-simplify-2`
1496×	`rational.json-simplify-1`
924×	`rational.json-simplify-41`
818×	`rational.json-simplify-51`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	89	1177
1	201	1161
2	464	1161
3	1543	1161
4	3205	1161
5	4618	1161
6	4949	1161
7	5201	1161
8	5353	1161
9	5466	1161
10	5568	1161
11	6399	1161
12	6514	1161
13	6632	1161
14	6768	1161
15	6909	1161
16	6941	1161
17	6968	1161
18	7024	1161
19	7077	1161
20	7087	1161
21	7182	1161
22	7275	1161
23	7368	1161
24	7461	1161
25	7554	1161
26	7647	1161
27	7740	1161
28	7833	1161
29	7926	1161

Stop Event

1×	node limit

Counts

69 → 43

Calls

Call 1

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

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

eval6.0ms (0%)

Compiler: Compiled 425 to 199 computations (53.2% saved)

prune8.0ms (0%)

Pruning

7 alts after pruning (1 fresh and 6 done)

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

Error

0.0b

Counts

50 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	24.6b	(+.f64 (.f64 y z) (.f64 y (neg.f64 x)))
✓	14.1b	(+.f64 x (*.f64 y z))
✓	24.6b	(*.f64 y (-.f64 z x))
✓	48.6b	(*.f64 y (neg.f64 x))
✓	38.3b	(*.f64 y z)
✓	24.5b	(*.f64 x (-.f64 1 y))
	38.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
✓	24.6b	(+.f64 (.f64 y z) (.f64 y (neg.f64 x)))
✓	14.1b	(+.f64 x (*.f64 y z))
✓	24.6b	(*.f64 y (-.f64 z x))
✓	48.6b	(*.f64 y (neg.f64 x))
✓	38.3b	(*.f64 y z)
✓	24.5b	(*.f64 x (-.f64 1 y))
	38.3b	x

Compiler

Compiled 52 to 35 computations (32.7% saved)

regimes6.2s (33.6%)

Counts

9 → 1

Calls

Call 1

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

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

Calls

4 calls:

6.2s	(+.f64 x (*.f64 y (-.f64 z x)))
7.0ms	x
5.0ms	z
5.0ms	y

Results

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

Compiler

Compiled 72 to 33 computations (54.2% saved)

regimes103.0ms (0.6%)

Counts

6 → 3

Calls

Call 1

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

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

Calls

3 calls:

71.0ms	z
16.0ms	x
15.0ms	y

Results

Error	Segments	Branch
7.7b	3	`x`
0.5b	3	`y`
7.6b	3	`z`

Compiler

Compiled 38 to 21 computations (44.7% saved)

bsearch77.0ms (0.4%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
15.0ms	0.0007971152571558379	13850254875.622866
61.0ms	-47415230954.14642	-2891433175.780154

Results

73.0ms	272×	body	256	valid
0.0ms	2×	body	256	infinite

Compiler

Compiled 322 to 215 computations (33.2% saved)

regimes56.0ms (0.3%)

Counts

5 → 3

Calls

Call 1

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

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

Calls

3 calls:

29.0ms	y
13.0ms	z
13.0ms	x

Results

Error	Segments	Branch
11.9b	3	`x`
11.3b	7	`y`
10.9b	3	`z`

Compiler

Compiled 33 to 20 computations (39.4% saved)

bsearch12.0ms (0.1%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
0.0ms	7.236851923025454e+25	7.42416853339724e+25
12.0ms	-8.778296999411436e-41	-3.8235223889423104e-42

Results

11.0ms

112×

body

256

valid

Compiler

Compiled 142 to 102 computations (28.2% saved)

regimes174.0ms (0.9%)

Counts

4 → 3

Calls

Call 1

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

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

Calls

3 calls:

96.0ms	x
51.0ms	z
26.0ms	y

Results

Error	Segments	Branch
13.9b	3	`x`
18.5b	7	`y`
13.5b	3	`z`

Compiler

Compiled 28 to 18 computations (35.7% saved)

bsearch96.0ms (0.5%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
12.0ms	7.42416853339724e+25	2.0071056991636836e+30
84.0ms	-1.7404646253219267e+79	-2.9848342579307744e+75

Results

93.0ms	256×	body	256	valid
1.0ms	6×	body	256	infinite

Compiler

Compiled 272 to 203 computations (25.4% saved)

regimes191.0ms (1%)

Counts

3 → 8

Calls

Call 1

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

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

Calls

3 calls:

94.0ms	y
81.0ms	z
15.0ms	x

Results

Error	Segments	Branch
24.4b	5	`x`
18.9b	8	`y`
23.3b	5	`z`

Compiler

Compiled 23 to 15 computations (34.8% saved)

bsearch260.0ms (1.4%)

Algorithm

7×	binary-search

Steps

Time	Left	Right
76.0ms	0.0007971152571558379	13850254875.622866
15.0ms	1.2504890456149087e-67	6.45652799033069e-54
94.0ms	1.560765809016903e-80	6.262245397085298e-78
8.0ms	-9.182553193285371e-135	-4.252218912388668e-135
38.0ms	-8.308786634092005e-102	-2.2518449783790632e-102
12.0ms	-4.005433004392081e-70	-1.0274835874063098e-72
16.0ms	-4.920407271328817e+94	-2.3336012981048433e+90

Results

248.0ms	864×	body	256	valid
3.0ms	31×	body	256	infinite

Compiler

Compiled 698 to 523 computations (25.1% saved)

regimes868.0ms (4.7%)

Accuracy

Total -37.2b remaining (-150.6%)

Threshold costs -37.2b (-150.6%)

Counts

2 → 3

Calls

Call 1

Inputs
x
(*.f64 y z)

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

Calls

3 calls:

851.0ms	y
9.0ms	x
8.0ms	z

Results

Error	Segments	Branch
25.8b	3	`x`
25.2b	7	`y`
24.7b	3	`z`

Compiler

Compiled 19 to 13 computations (31.6% saved)

bsearch8.0ms (0%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
0.0ms	7.236851923025454e+25	7.42416853339724e+25
8.0ms	-3.8235223889423104e-42	-9.815125890168691e-43

Results

7.0ms

80×

body

256

valid

Compiler

Compiled 76 to 56 computations (26.3% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	59	321

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(+.f64 x (*.f64 y (-.f64 z x)))
(if (<=.f64 y -2900000000) (.f64 y (-.f64 z x)) (if (<=.f64 y 1) (+.f64 x (.f64 y z)) (*.f64 y (-.f64 z x))))
(if (<=.f64 z -8532935171541269/98079714615416886934934209737619787751599303819750539264) (.f64 y (-.f64 z x)) (if (<=.f64 z 73999999999999997684744192) (.f64 x (-.f64 1 y)) (*.f64 y (-.f64 z x))))
(if (<=.f64 z -250000000000000002123405358422425744037217481149690153973749775675699226476544) (.f64 y z) (if (<=.f64 z 55000000000000003204716691456) (.f64 x (-.f64 1 y)) (*.f64 y z)))
(if (<=.f64 y -5800000000000000280536344762120328080976447536893224971709784144559618524624546445437960192) (.f64 y (neg.f64 x)) (if (<=.f64 y -8752888960812245/1989292945639146568621528992587283360401824603189390869761855907572637988050133502132224) (.f64 y z) (if (<=.f64 y -5799975312109267/2521728396569246669585858566409191283525103313309788586748690777871726193375821479130513040312634601011624191379636224) x (if (<=.f64 y -7365128867766319/818347651974035467503297424206899788054160511510766197370822842024033449101168638720817523081476039287721671031890017752304314136471348263332131897344) (.f64 y z) (if (<=.f64 y 6466367003276193/1042962419883256876169444192465601618458351817556959360325703910069443225478828393565899456512) x (if (<=.f64 y 7092265465785617/7237005577332262213973186563042994240829374041602535252466099000494570602496) (.f64 y z) (if (<=.f64 y 1) x (*.f64 y (neg.f64 x)))))))))
(if (<=.f64 z -5963246648617347/3138550867693340381917894711603833208051177722232017256448) (.f64 y z) (if (<=.f64 z 73999999999999997684744192) x (.f64 y z)))
x

Outputs
(+.f64 x (*.f64 y (-.f64 z x)))
(if (<=.f64 y -2900000000) (.f64 y (-.f64 z x)) (if (<=.f64 y 1) (+.f64 x (.f64 y z)) (*.f64 y (-.f64 z x))))
(if (<=.f64 z -8532935171541269/98079714615416886934934209737619787751599303819750539264) (.f64 y (-.f64 z x)) (if (<=.f64 z 73999999999999997684744192) (.f64 x (-.f64 1 y)) (*.f64 y (-.f64 z x))))
(if (<=.f64 z -250000000000000002123405358422425744037217481149690153973749775675699226476544) (.f64 y z) (if (<=.f64 z 55000000000000003204716691456) (.f64 x (-.f64 1 y)) (*.f64 y z)))
(if (<=.f64 y -5800000000000000280536344762120328080976447536893224971709784144559618524624546445437960192) (.f64 y (neg.f64 x)) (if (<=.f64 y -8752888960812245/1989292945639146568621528992587283360401824603189390869761855907572637988050133502132224) (.f64 y z) (if (<=.f64 y -5799975312109267/2521728396569246669585858566409191283525103313309788586748690777871726193375821479130513040312634601011624191379636224) x (if (<=.f64 y -7365128867766319/818347651974035467503297424206899788054160511510766197370822842024033449101168638720817523081476039287721671031890017752304314136471348263332131897344) (.f64 y z) (if (<=.f64 y 6466367003276193/1042962419883256876169444192465601618458351817556959360325703910069443225478828393565899456512) x (if (<=.f64 y 7092265465785617/7237005577332262213973186563042994240829374041602535252466099000494570602496) (.f64 y z) (if (<=.f64 y 1) x (*.f64 y (neg.f64 x)))))))))
(if (<=.f64 z -5963246648617347/3138550867693340381917894711603833208051177722232017256448) (.f64 y z) (if (<=.f64 z 73999999999999997684744192) x (.f64 y z)))
x

Compiler

Compiled 157 to 86 computations (45.2% saved)

soundness0.0ms (0%)

end251.0ms (1.4%)

Compiler: Compiled 139 to 61 computations (56.1% saved)

Details

analyze1.0s (5.5%)

sample2.7s (14.8%)

preprocess12.0ms (0.1%)

simplify8.0ms (0%)

eval0.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0%)

series4.0ms (0%)

rewrite115.0ms (0.6%)

simplify445.0ms (2.4%)

eval11.0ms (0.1%)

prune8.0ms (0%)

localize6.0ms (0%)

series2.0ms (0%)

rewrite181.0ms (1%)

simplify371.0ms (2%)

localize5.0ms (0%)

localize79.0ms (0.4%)

series1.0ms (0%)

rewrite192.0ms (1%)

simplify840.0ms (4.5%)

localize10.0ms (0.1%)

series1.0ms (0%)

rewrite237.0ms (1.3%)

simplify461.0ms (2.5%)

eval26.0ms (0.1%)

prune20.0ms (0.1%)

localize4.0ms (0%)

localize4.0ms (0%)

localize8.0ms (0%)

series3.0ms (0%)

rewrite118.0ms (0.6%)

simplify3.2s (17.5%)

eval6.0ms (0%)

prune8.0ms (0%)

eval0.0ms (0%)

prune2.0ms (0%)

regimes6.2s (33.6%)

regimes103.0ms (0.6%)

bsearch77.0ms (0.4%)

regimes56.0ms (0.3%)

bsearch12.0ms (0.1%)

regimes174.0ms (0.9%)

bsearch96.0ms (0.5%)

regimes191.0ms (1%)

bsearch260.0ms (1.4%)

regimes868.0ms (4.7%)

bsearch8.0ms (0%)

simplify5.0ms (0%)

soundness0.0ms (0%)

end251.0ms (1.4%)

Profiling