Details

analyze385.0ms (4.1%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
0%	0%	99.9%	0.1%	0%	0%	0%	5
0%	0%	99.9%	0.1%	0%	0%	0%	6
12.5%	12.5%	87.4%	0.1%	0%	0%	0%	7
18.8%	18.7%	81.1%	0.1%	0%	0%	0%	8
28.1%	28.1%	71.8%	0.1%	0%	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.6%	48%	43.2%	0.1%	8.7%	0%	0%	12

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample3.7s (39%)

Results

3.1s	8256×	body	256	valid
616.0ms	1258×	body	256	infinite

Bogosity

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

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

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

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

Compiler

Compiled 10 to 6 computations (40% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 21 to 6 computations (71.4% saved)

series4.0ms (0%)

Counts

2 → 60

Calls

18 calls:

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

rewrite119.0ms (1.3%)

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	1115	32
6	3177	32
7	5881	32
8	7874	32

Stop Event

1×	node limit

Counts

2 → 34

Calls

Call 1

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

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

Outputs

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

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

simplify609.0ms (6.5%)

Algorithm

1×	egg-herbie

Rules

3752×	`rational.json-simplify-41`
2478×	`rational.json-simplify-35`
2100×	`rational.json-simplify-2`
764×	`rational.json-simplify-53`
676×	`exponential.json-simplify-26`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	91	1912
1	210	1666
2	544	1666
3	1428	1622
4	2685	1622
5	3384	1622
6	3780	1622
7	4156	1622
8	4398	1622
9	4554	1622
10	4687	1622
11	5096	1622
12	5268	1622
13	5336	1622
14	5393	1622
15	5510	1622
16	5607	1622
17	5675	1622
18	5810	1622
19	5943	1622

Stop Event

1×	node limit

Counts

94 → 62

Calls

Call 1

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

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

eval10.0ms (0.1%)

Compiler: Compiled 641 to 285 computations (55.5% saved)

prune10.0ms (0.1%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	57	5	62
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	58	5	63

Error

0.0b

Counts

63 → 5

Alt Table

Click to see full alt table

Status	Error	Program
▶	25.3b	(+.f64 x (*.f64 z (neg.f64 x)))
▶	10.6b	(+.f64 x (*.f64 z y))
▶	27.2b	(*.f64 (-.f64 y x) z)
▶	25.3b	(*.f64 x (-.f64 1 z))
	35.5b	x

Compiler

Compiled 37 to 25 computations (32.4% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

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

rewrite183.0ms (1.9%)

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

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

Outputs

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

simplify375.0ms (4%)

Algorithm

1×	egg-herbie

Rules

2116×	`rational.json-simplify-35`
2022×	`rational.json-simplify-2`
1882×	`rational.json-simplify-53`
1064×	`rational.json-simplify-1`
986×	`rational.json-simplify-43`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	65	640
1	170	618
2	334	618
3	768	618
4	2586	618
5	4337	618
6	4977	618
7	5181	618
8	5337	618
9	5512	618
10	6382	618
11	7572	618
12	7697	618
13	7748	618
14	7772	618
15	7790	618
16	7929	618

Stop Event

1×	node limit

Counts

46 → 29

Calls

Call 1

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

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

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 5 computations (64.3% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 5 computations (64.3% saved)

series335.0ms (3.5%)

Counts

1 → 36

Calls

9 calls:

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

rewrite180.0ms (1.9%)

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

Outputs

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

simplify863.0ms (9.1%)

Algorithm

1×	egg-herbie

Rules

5556×	`rational.json-simplify-51`
3540×	`rational.json-simplify-35`
1372×	`rational.json-simplify-49`
1150×	`rational.json-simplify-2`
1130×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	55	689
1	123	689
2	425	689
3	1171	689
4	1868	689
5	2759	689
6	3249	689
7	3323	689
8	3371	689
9	3403	689
10	3435	689
11	3467	689
12	3499	689
13	3531	689
14	3563	689
15	3595	689
16	3627	689
17	3659	689
18	3691	689
19	4611	689
20	4870	689
21	4963	689
22	5052	689
23	5139	689
24	5225	689
25	5438	689
26	5438	689
27	5524	689
28	5610	689
29	5696	689
30	5782	689
31	5868	689
32	5954	689
33	6040	689
34	6126	689
35	6212	689

Stop Event

1×	node limit

Counts

59 → 27

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

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

localize6.0ms (0.1%)

Compiler: Compiled 17 to 6 computations (64.7% saved)

eval366.0ms (3.9%)

Compiler: Compiled 689 to 399 computations (42.1% saved)

prune13.0ms (0.1%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	74	2	76
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	74	7	81

Error

0.0b

Counts

81 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	25.3b	(+.f64 x (*.f64 z (neg.f64 x)))
✓	10.6b	(+.f64 x (*.f64 z y))
✓	27.2b	(*.f64 (-.f64 y x) z)
▶	52.5b	(*.f64 z (neg.f64 x))
▶	37.1b	(*.f64 z y)
✓	25.3b	(*.f64 x (-.f64 1 z))
	35.5b	x

Compiler

Compiled 50 to 34 computations (32% saved)

localize3.0ms (0%)

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

localize4.0ms (0%)

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

eval1.0ms (0%)

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

prune2.0ms (0%)

Pruning

7 alts after pruning (1 fresh and 6 done)

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

Error

0.0b

Counts

7 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	25.3b	(+.f64 x (*.f64 z (neg.f64 x)))
✓	10.6b	(+.f64 x (*.f64 z y))
✓	27.2b	(*.f64 (-.f64 y x) z)
✓	52.5b	(*.f64 z (neg.f64 x))
✓	37.1b	(*.f64 z y)
✓	25.3b	(*.f64 x (-.f64 1 z))
	35.5b	x

Compiler

Compiled 50 to 34 computations (32% 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
✓	25.3b	(+.f64 x (*.f64 z (neg.f64 x)))
✓	10.6b	(+.f64 x (*.f64 z y))
✓	27.2b	(*.f64 (-.f64 y x) z)
✓	52.5b	(*.f64 z (neg.f64 x))
✓	37.1b	(*.f64 z y)
✓	25.3b	(*.f64 x (-.f64 1 z))
	35.5b	x

Compiler

Compiled 50 to 34 computations (32% saved)

regimes119.0ms (1.3%)

Counts

8 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 61 to 29 computations (52.5% saved)

regimes187.0ms (2%)

Counts

7 → 3

Calls

Call 1

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

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

Calls

3 calls:

145.0ms	y
26.0ms	x
14.0ms	z

Results

Error	Segments	Branch
6.5b	5	`x`
4.6b	3	`y`
1.0b	3	`z`

Compiler

Compiled 44 to 22 computations (50% saved)

bsearch27.0ms (0.3%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
15.0ms	4.429733102887844e-6	4.527834778103447
12.0ms	-21.335249231581013	-0.6331054202938605

Results

24.0ms

256×

body

256

valid

Compiler

Compiled 304 to 203 computations (33.2% saved)

regimes137.0ms (1.5%)

Counts

5 → 3

Calls

Call 1

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

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

Calls

3 calls:

101.0ms	x
23.0ms	y
12.0ms	z

Results

Error	Segments	Branch
12.4b	3	`x`
13.0b	5	`y`
12.1b	3	`z`

Compiler

Compiled 33 to 20 computations (39.4% saved)

bsearch198.0ms (2.1%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
183.0ms	1.2194624197696991e-77	1.2449376476789167e-76
15.0ms	-3711197.3262468176	-21.335249231581013

Results

195.0ms

240×

body

256

valid

Compiler

Compiled 286 to 206 computations (28% saved)

regimes49.0ms (0.5%)

Counts

4 → 3

Calls

Call 1

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

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

Calls

3 calls:

18.0ms	y
15.0ms	z
14.0ms	x

Results

Error	Segments	Branch
14.4b	3	`x`
14.6b	5	`y`
20.3b	4	`z`

Compiler

Compiled 28 to 18 computations (35.7% saved)

bsearch17.0ms (0.2%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
12.0ms	8.858796778185517e-89	5.469809274605483e-87
5.0ms	-3.062811518279434e-135	-2.3491947660888584e-135

Results

15.0ms

160×

body

256

valid

Compiler

Compiled 176 to 131 computations (25.6% saved)

regimes453.0ms (4.8%)

Counts

3 → 5

Calls

Call 1

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

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

Calls

3 calls:

337.0ms	x
98.0ms	z
17.0ms	y

Results

Error	Segments	Branch
22.0b	6	`x`
22.9b	5	`y`
20.4b	5	`z`

Compiler

Compiled 23 to 15 computations (34.8% saved)

bsearch400.0ms (4.2%)

Algorithm

4×	binary-search

Steps

Time	Left	Right
274.0ms	1.4508956020301684e+88	2.1526719076621707e+88
14.0ms	192122210.43357474	656647615026327600.0
9.0ms	1.2194624197696991e-77	1.2449376476789167e-76
103.0ms	-1.3834063016310727e-39	-2.99554965541354e-43

Results

393.0ms	432×	body	256	valid
2.0ms	26×	body	256	infinite

Compiler

Compiled 379 to 280 computations (26.1% saved)

regimes32.0ms (0.3%)

Accuracy

Total -40.2b remaining (-183.7%)

Threshold costs -40.2b (-183.7%)

Counts

2 → 3

Calls

Call 1

Inputs
x
(*.f64 z y)

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

Calls

3 calls:

13.0ms	x
11.0ms	y
8.0ms	z

Results

Error	Segments	Branch
23.0b	3	`x`
24.1b	3	`y`
21.9b	3	`z`

Compiler

Compiled 19 to 13 computations (31.6% saved)

bsearch23.0ms (0.2%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
9.0ms	1.2194624197696991e-77	1.2449376476789167e-76
13.0ms	-1.3834063016310727e-39	-2.99554965541354e-43

Results

20.0ms

224×

body

256

valid

Compiler

Compiled 184 to 137 computations (25.5% saved)

simplify78.0ms (0.8%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	54	287

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(+.f64 x (*.f64 (-.f64 y x) z))
(if (<=.f64 z -1) (.f64 (-.f64 y x) z) (if (<=.f64 z 1) (+.f64 x (.f64 z y)) (*.f64 (-.f64 y x) z)))
(if (<=.f64 z -25) (.f64 (-.f64 y x) z) (if (<=.f64 z 8604439964036869/130370302485407109521180524058200202307293977194619920040712988758680403184853549195737432064) (.f64 x (-.f64 1 z)) (*.f64 (-.f64 y x) z)))
(if (<=.f64 x -4910085911844213/1636695303948070935006594848413799576108321023021532394741645684048066898202337277441635046162952078575443342063780035504608628272942696526664263794688) (.f64 x (-.f64 1 z)) (if (<=.f64 x 8958978968711217/4479489484355608421114884561136888556243290994469299069799978201927583742360321890761754986543214231552) (.f64 z y) (*.f64 x (-.f64 1 z))))
(if (<=.f64 z -7846377169233351/98079714615416886934934209737619787751599303819750539264) (.f64 z y) (if (<=.f64 z 3976294225804917/32592575621351777380295131014550050576823494298654980010178247189670100796213387298934358016) x (if (<=.f64 z 1500000000) (.f64 z y) (if (<=.f64 z 14599999999999999937538296496230594754772393131742945767423358605863564711565795000320000) (.f64 z (neg.f64 x)) (.f64 z y)))))
(if (<=.f64 z -3373942182770341/392318858461667547739736838950479151006397215279002157056) (.f64 z y) (if (<=.f64 z 7496292392910909/65185151242703554760590262029100101153646988597309960020356494379340201592426774597868716032) x (.f64 z y)))
x

Outputs
(+.f64 x (*.f64 (-.f64 y x) z))
(if (<=.f64 z -1) (.f64 (-.f64 y x) z) (if (<=.f64 z 1) (+.f64 x (.f64 z y)) (*.f64 (-.f64 y x) z)))
(if (<=.f64 z -25) (.f64 (-.f64 y x) z) (if (<=.f64 z 8604439964036869/130370302485407109521180524058200202307293977194619920040712988758680403184853549195737432064) (.f64 x (-.f64 1 z)) (*.f64 (-.f64 y x) z)))
(if (<=.f64 x -4910085911844213/1636695303948070935006594848413799576108321023021532394741645684048066898202337277441635046162952078575443342063780035504608628272942696526664263794688) (.f64 x (-.f64 1 z)) (if (<=.f64 x 8958978968711217/4479489484355608421114884561136888556243290994469299069799978201927583742360321890761754986543214231552) (.f64 z y) (*.f64 x (-.f64 1 z))))
(if (<=.f64 z -7846377169233351/98079714615416886934934209737619787751599303819750539264) (.f64 z y) (if (<=.f64 z 3976294225804917/32592575621351777380295131014550050576823494298654980010178247189670100796213387298934358016) x (if (<=.f64 z 1500000000) (.f64 z y) (if (<=.f64 z 14599999999999999937538296496230594754772393131742945767423358605863564711565795000320000) (.f64 z (neg.f64 x)) (.f64 z y)))))
(if (<=.f64 z -3373942182770341/392318858461667547739736838950479151006397215279002157056) (.f64 z y) (if (<=.f64 z 7496292392910909/65185151242703554760590262029100101153646988597309960020356494379340201592426774597868716032) x (.f64 z y)))
x

Compiler

Compiled 141 to 80 computations (43.3% saved)

soundness0.0ms (0%)

end520.0ms (5.5%)

Compiler: Compiled 123 to 55 computations (55.3% saved)

Details

analyze385.0ms (4.1%)

sample3.7s (39%)

preprocess11.0ms (0.1%)

simplify10.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0.1%)

series4.0ms (0%)

rewrite119.0ms (1.3%)

simplify609.0ms (6.5%)

eval10.0ms (0.1%)

prune10.0ms (0.1%)

localize5.0ms (0.1%)

series2.0ms (0%)

rewrite183.0ms (1.9%)

simplify375.0ms (4%)

localize5.0ms (0.1%)

localize5.0ms (0.1%)

series335.0ms (3.5%)

rewrite180.0ms (1.9%)

simplify863.0ms (9.1%)

localize6.0ms (0.1%)

eval366.0ms (3.9%)

prune13.0ms (0.1%)

localize3.0ms (0%)

localize4.0ms (0%)

eval1.0ms (0%)

prune2.0ms (0%)

eval0.0ms (0%)

prune2.0ms (0%)

regimes119.0ms (1.3%)

regimes187.0ms (2%)

bsearch27.0ms (0.3%)

regimes137.0ms (1.5%)

bsearch198.0ms (2.1%)

regimes49.0ms (0.5%)

bsearch17.0ms (0.2%)

regimes453.0ms (4.8%)

bsearch400.0ms (4.2%)

regimes32.0ms (0.3%)

bsearch23.0ms (0.2%)

simplify78.0ms (0.8%)

soundness0.0ms (0%)

end520.0ms (5.5%)

Profiling