Details

analyze1.2s (6.7%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
0%	0%	99.9%	0.1%	0%	0%	0%	5
0%	0%	99.9%	0.1%	0%	0%	0%	6
12.5%	12.5%	87.4%	0.1%	0%	0%	0%	7
18.8%	18.7%	81.1%	0.1%	0%	0%	0%	8
25.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.8s (21.8%)

Results

3.7s	8256×	body	256	valid
107.0ms	1174×	body	256	infinite

Bogosity

preprocess10.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)

simplify10.0ms (0.1%)

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

rewrite116.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	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)))))

simplify454.0ms (2.6%)

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

eval9.0ms (0.1%)

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

prune9.0ms (0.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

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

Error

0.0b

Counts

61 → 6

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(+.f64 (.f64 y z) (.f64 x (-.f64 1 y)))
✓	0.0b	(+.f64 x (*.f64 y (-.f64 z x)))
▶	8.8b	(+.f64 x (*.f64 y z))
▶	27.7b	(*.f64 y (-.f64 z x))
▶	27.3b	(*.f64 x (-.f64 1 y))
	35.3b	x

Compiler

Compiled 50 to 33 computations (34% 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	x	@	-inf	(*.f64 x (-.f64 1 y))
0.0ms	y	@	inf	(*.f64 x (-.f64 1 y))
0.0ms	y	@	0	(*.f64 x (-.f64 1 y))

rewrite186.0ms (1.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)))))))

simplify382.0ms (2.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)

localize6.0ms (0%)

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

rewrite183.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)))))

simplify800.0ms (4.6%)

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

rewrite258.0ms (1.5%)

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

simplify519.0ms (3%)

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

eval80.0ms (0.5%)

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

prune95.0ms (0.5%)

Pruning

8 alts after pruning (3 fresh and 5 done)

	Pruned	Kept	Total
New	143	2	145
Fresh	0	1	1
Picked	0	1	1
Done	0	4	4
Total	143	8	151

Error

0.0b

Counts

151 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (.f64 y z) (.f64 x (-.f64 1 y)))
✓	0.0b	(+.f64 x (*.f64 y (-.f64 z x)))
✓	8.8b	(+.f64 x (*.f64 y z))
✓	27.7b	(*.f64 y (-.f64 z x))
▶	54.1b	(*.f64 y (neg.f64 x))
▶	36.3b	(*.f64 y z)
✓	27.3b	(*.f64 x (-.f64 1 y))
	35.3b	x

Compiler

Compiled 63 to 42 computations (33.3% saved)

localize3.0ms (0%)

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

localize4.0ms (0%)

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

eval0.0ms (0%)

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

prune3.0ms (0%)

Pruning

8 alts after pruning (1 fresh and 7 done)

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

Error

0.0b

Counts

8 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (.f64 y z) (.f64 x (-.f64 1 y)))
✓	0.0b	(+.f64 x (*.f64 y (-.f64 z x)))
✓	8.8b	(+.f64 x (*.f64 y z))
✓	27.7b	(*.f64 y (-.f64 z x))
✓	54.1b	(*.f64 y (neg.f64 x))
✓	36.3b	(*.f64 y z)
✓	27.3b	(*.f64 x (-.f64 1 y))
	35.3b	x

Compiler

Compiled 63 to 42 computations (33.3% saved)

eval0.0ms (0%)

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

prune3.0ms (0%)

Pruning

8 alts after pruning (1 fresh and 7 done)

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

Error

0.0b

Counts

8 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (.f64 y z) (.f64 x (-.f64 1 y)))
✓	0.0b	(+.f64 x (*.f64 y (-.f64 z x)))
✓	8.8b	(+.f64 x (*.f64 y z))
✓	27.7b	(*.f64 y (-.f64 z x))
✓	54.1b	(*.f64 y (neg.f64 x))
✓	36.3b	(*.f64 y z)
✓	27.3b	(*.f64 x (-.f64 1 y))
	35.3b	x

Compiler

Compiled 63 to 42 computations (33.3% saved)

regimes70.0ms (0.4%)

Counts

8 → 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 x (-.f64 1 y)))

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

Calls

4 calls:

51.0ms	(+.f64 x (*.f64 y (-.f64 z x)))
6.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 64 to 32 computations (50% saved)

regimes97.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:

21.0ms	z
13.0ms	y
9.0ms	x

Results

Error	Segments	Branch
7.6b	2	`x`
0.4b	3	`y`
5.0b	5	`z`

Compiler

Compiled 38 to 21 computations (44.7% saved)

bsearch59.0ms (0.3%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
43.0ms	1.0843113110407613e-9	132488049789708.53
15.0ms	-67994.25193689745	-1.3544751579665455e-8

Results

55.0ms

336×

body

256

valid

Compiler

Compiled 394 to 263 computations (33.2% saved)

regimes121.0ms (0.7%)

Counts

5 → 5

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 x (-.f64 1 y))
(*.f64 y (-.f64 z x))
(*.f64 x (-.f64 1 y))
(*.f64 y (-.f64 z x))
(*.f64 x (-.f64 1 y))

Calls

3 calls:

83.0ms	x
24.0ms	z
12.0ms	y

Results

Error	Segments	Branch
10.8b	5	`x`
12.8b	3	`y`
15.6b	5	`z`

Compiler

Compiled 33 to 20 computations (39.4% saved)

bsearch98.0ms (0.6%)

Algorithm

4×	binary-search

Steps

Time	Left	Right
12.0ms	5.642070778910629e-78	1.3803131532243403e-74
9.0ms	-5.903412225497125e-88	-6.593284114739711e-89
63.0ms	-1.664766057843523e+33	-4.772924126020513e+32
13.0ms	-3.938260423568796e+46	-5.557728199036424e+43

Results

37.0ms	432×	body	256	valid
1.0ms	6×	body	256	infinite

Compiler

Compiled 502 to 362 computations (27.9% saved)

regimes42.0ms (0.2%)

Counts

4 → 3

Calls

Call 1

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

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

Calls

3 calls:

17.0ms	z
11.0ms	y
10.0ms	x

Results

Error	Segments	Branch
13.6b	3	`x`
21.3b	3	`y`
17.2b	5	`z`

Compiler

Compiled 28 to 18 computations (35.7% saved)

bsearch23.0ms (0.1%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
13.0ms	8.822762672828417e-101	3.521229764702652e-97
9.0ms	-5.903412225497125e-88	-6.593284114739711e-89

Results

20.0ms

224×

body

256

valid

Compiler

Compiled 240 to 179 computations (25.4% saved)

regimes47.0ms (0.3%)

Accuracy

Total -43.5b remaining (-231.8%)

Threshold costs -43.5b (-231.8%)

Counts

3 → 5

Calls

Call 1

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

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

Calls

3 calls:

20.0ms	z
17.0ms	x
10.0ms	y

Results

Error	Segments	Branch
18.8b	5	`x`
21.3b	3	`y`
24.0b	5	`z`

Compiler

Compiled 23 to 15 computations (34.8% saved)

bsearch35.0ms (0.2%)

Algorithm

4×	binary-search

Steps

Time	Left	Right
12.0ms	5.642070778910629e-78	1.3803131532243403e-74
3.0ms	-1.4928841269539379e-56	-1.344620110917404e-56
8.0ms	-1.664766057843523e+33	-4.772924126020513e+32
12.0ms	-3.938260423568796e+46	-5.557728199036424e+43

Results

31.0ms	368×	body	256	valid
0.0ms	4×	body	256	infinite

Compiler

Compiled 292 to 218 computations (25.3% saved)

simplify2.3s (13.3%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	49	282

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(+.f64 x (*.f64 y (-.f64 z x)))
(if (<=.f64 y -1) (.f64 y (-.f64 z x)) (if (<=.f64 y 1) (+.f64 x (.f64 y z)) (*.f64 y (-.f64 z x))))
(if (<=.f64 x -56000000000000003751539949257631614889885696) (.f64 x (-.f64 1 y)) (if (<=.f64 x -1050000000000000029323105381908480) (.f64 y (-.f64 z x)) (if (<=.f64 x -8242260651214319/71671831749689734737838152978190216899892655911508785116799651230841339877765150252188079784691427704832) (.f64 x (-.f64 1 y)) (if (<=.f64 x 7129625917170701/2037035976334486086268445688409378161051468393665936250636140449354381299763336706183397376) (.f64 y (-.f64 z x)) (*.f64 x (-.f64 1 y))))))
(if (<=.f64 x -8958978968711217/71671831749689734737838152978190216899892655911508785116799651230841339877765150252188079784691427704832) (.f64 x (-.f64 1 y)) (if (<=.f64 x 456932444904477/2404907604760405225358828131112281116032698930082119547604265954848982041717359046106827774346003151904701415424) (.f64 y z) (*.f64 x (-.f64 1 y))))
(if (<=.f64 x -56000000000000003751539949257631614889885696) x (if (<=.f64 x -859999999999999941665483602788352) (.f64 y z) (if (<=.f64 x -6404820609821643/441711766194596082395824375185729628956870974218904739530401550323154944) x (if (<=.f64 x 146666590296083/4074071952668972172536891376818756322102936787331872501272280898708762599526673412366794752) (.f64 y z) x))))
x

Outputs
(+.f64 x (*.f64 y (-.f64 z x)))
(if (<=.f64 y -1) (.f64 y (-.f64 z x)) (if (<=.f64 y 1) (+.f64 x (.f64 y z)) (*.f64 y (-.f64 z x))))
(if (<=.f64 x -56000000000000003751539949257631614889885696) (.f64 x (-.f64 1 y)) (if (<=.f64 x -1050000000000000029323105381908480) (.f64 y (-.f64 z x)) (if (<=.f64 x -8242260651214319/71671831749689734737838152978190216899892655911508785116799651230841339877765150252188079784691427704832) (.f64 x (-.f64 1 y)) (if (<=.f64 x 7129625917170701/2037035976334486086268445688409378161051468393665936250636140449354381299763336706183397376) (.f64 y (-.f64 z x)) (*.f64 x (-.f64 1 y))))))
(if (<=.f64 x -8958978968711217/71671831749689734737838152978190216899892655911508785116799651230841339877765150252188079784691427704832) (.f64 x (-.f64 1 y)) (if (<=.f64 x 456932444904477/2404907604760405225358828131112281116032698930082119547604265954848982041717359046106827774346003151904701415424) (.f64 y z) (*.f64 x (-.f64 1 y))))
(if (<=.f64 x -56000000000000003751539949257631614889885696) x (if (<=.f64 x -859999999999999941665483602788352) (.f64 y z) (if (<=.f64 x -6404820609821643/441711766194596082395824375185729628956870974218904739530401550323154944) x (if (<=.f64 x 146666590296083/4074071952668972172536891376818756322102936787331872501272280898708762599526673412366794752) (.f64 y z) x))))
x

Compiler

Compiled 136 to 80 computations (41.2% saved)

soundness0.0ms (0%)

end6.4s (36.8%)

Compiler: Compiled 121 to 59 computations (51.2% saved)

Details

analyze1.2s (6.7%)

sample3.8s (21.8%)

preprocess10.0ms (0.1%)

simplify10.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0%)

series4.0ms (0%)

rewrite116.0ms (0.7%)

simplify454.0ms (2.6%)

eval9.0ms (0.1%)

prune9.0ms (0.1%)

localize6.0ms (0%)

series2.0ms (0%)

rewrite186.0ms (1.1%)

simplify382.0ms (2.2%)

localize5.0ms (0%)

localize6.0ms (0%)

series1.0ms (0%)

rewrite183.0ms (1%)

simplify800.0ms (4.6%)

localize10.0ms (0.1%)

series1.0ms (0%)

rewrite258.0ms (1.5%)

simplify519.0ms (3%)

eval80.0ms (0.5%)

prune95.0ms (0.5%)

localize3.0ms (0%)

localize4.0ms (0%)

eval0.0ms (0%)

prune3.0ms (0%)

eval0.0ms (0%)

prune3.0ms (0%)

regimes70.0ms (0.4%)

regimes97.0ms (0.6%)

bsearch59.0ms (0.3%)

regimes121.0ms (0.7%)

bsearch98.0ms (0.6%)

regimes42.0ms (0.2%)

bsearch23.0ms (0.1%)

regimes47.0ms (0.3%)

bsearch35.0ms (0.2%)

simplify2.3s (13.3%)

soundness0.0ms (0%)

end6.4s (36.8%)

Profiling