Details

analyze467.0ms (9.8%)

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
39.7%	37.4%	56.9%	0.1%	5.5%	0%	0%	10
46.5%	43.7%	50.3%	0.1%	5.9%	0%	0%	11
55.2%	51.9%	42.1%	0.1%	5.9%	0%	0%	12

Compiler

Compiled 9 to 6 computations (33.3% saved)

sample3.3s (70.3%)

Results

3.3s	8256×	body	256	valid
49.0ms	593×	body	256	infinite

Bogosity

preprocess9.0ms (0.2%)

Algorithm

2×	egg-herbie

Rules

6×	`rational.json-simplify-2`
2×	`swap-y-z`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	52
1	15	52
0	3	3
1	3	3

Stop Event

1×	unsound
1×	saturated

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2
1

Call 2

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

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

Symmetry

(sort y z)

Compiler

Compiled 11 to 8 computations (27.3% saved)

simplify9.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

2×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	8	13

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

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

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

eval0.0ms (0%)

Compiler: Compiled 8 to 5 computations (37.5% 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 z))

Compiler

Compiled 8 to 5 computations (37.5% saved)

localize5.0ms (0.1%)

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)

series2.0ms (0%)

Counts

1 → 36

Calls

9 calls:

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

rewrite112.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1320×	`bool.json-1`
1320×	`bool.json-2`
1278×	`rational.json-1`
1278×	`rational.json-2`
1278×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	69	13
2	197	13
3	429	13
4	883	13
5	1945	13
6	4435	13
7	7956	13

Stop Event

1×	node limit

Counts

1 → 37

Calls

Call 1

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

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

Outputs

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

simplify439.0ms (9.2%)

Algorithm

1×	egg-herbie

Rules

1992×	`rational.json-simplify-35`
1922×	`rational.json-simplify-1`
1814×	`rational.json-simplify-2`
1300×	`rational.json-simplify-52`
908×	`rational.json-simplify-41`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	87	1037
1	187	1037
2	415	1037
3	952	1037
4	1838	1037
5	3009	1037
6	3684	1037
7	3832	1037
8	3944	1037
9	4080	1037
10	4286	1037
11	4773	1037
12	5874	1037
13	6592	1037
14	7567	1037
15	7618	1037
16	7631	1037
17	7631	1037
18	7631	1037

Stop Event

1×	node limit

Counts

73 → 45

Calls

Call 1

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

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

eval6.0ms (0.1%)

Compiler: Compiled 399 to 182 computations (54.4% saved)

prune7.0ms (0.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	43	2	45
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	43	3	46

Error

0.0b

Counts

46 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f64 x (*.f64 y z))
▶	35.5b	(*.f64 y (neg.f64 z))
	27.3b	x

Compiler

Compiled 19 to 13 computations (31.6% saved)

localize6.0ms (0.1%)

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

eval0.0ms (0%)

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

prune1.0ms (0%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	1	1
Done	1	1
Total	3	3

Error

0.0b

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f64 x (*.f64 y z))
✓	35.5b	(*.f64 y (neg.f64 z))
	27.3b	x

Compiler

Compiled 19 to 13 computations (31.6% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	2	2
Total	3	3

Error

0.0b

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f64 x (*.f64 y z))
✓	35.5b	(*.f64 y (neg.f64 z))
	27.3b	x

Compiler

Compiled 19 to 13 computations (31.6% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	2	2
Total	3	3

Error

0.0b

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f64 x (*.f64 y z))
✓	35.5b	(*.f64 y (neg.f64 z))
	27.3b	x

Compiler

Compiled 19 to 13 computations (31.6% saved)

regimes18.0ms (0.4%)

Counts

3 → 1

Calls

Call 1

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

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

Calls

5 calls:

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

Results

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

Compiler

Compiled 39 to 25 computations (35.9% saved)

regimes124.0ms (2.6%)

Accuracy

Total -45.9b remaining (-286.3%)

Threshold costs -45.9b (-286.3%)

Counts

2 → 3

Calls

Call 1

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

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

Calls

3 calls:

94.0ms	x
18.0ms	z
11.0ms	y

Results

Error	Segments	Branch
16.0b	3	`x`
17.5b	3	`y`
16.5b	5	`z`

Compiler

Compiled 20 to 14 computations (30% saved)

bsearch22.0ms (0.5%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
16.0ms	8.852354102860488e-64	1.484866341748834e-48
6.0ms	-2.191617451259806e-23	-1.2437386570459885e-23

Results

20.0ms

224×

body

256

valid

Compiler

Compiled 196 to 150 computations (23.5% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	45

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs

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

(if (<=.f64 x -552958846246525/42535295865117307932921825928971026432) x (if (<=.f64 x 3554289843813805/13164036458569648337239753460458804039861886925068638906788872192) (*.f64 y (neg.f64 z)) x))

Outputs

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

(if (<=.f64 x -552958846246525/42535295865117307932921825928971026432) x (if (<=.f64 x 3554289843813805/13164036458569648337239753460458804039861886925068638906788872192) (*.f64 y (neg.f64 z)) x))

Compiler

Compiled 29 to 19 computations (34.5% saved)

soundness0.0ms (0%)

end175.0ms (3.7%)

Remove: (sort y z)
Compiler: Compiled 39 to 23 computations (41% saved)

Details

analyze467.0ms (9.8%)

sample3.3s (70.3%)

preprocess9.0ms (0.2%)

simplify9.0ms (0.2%)

eval0.0ms (0%)

prune1.0ms (0%)

localize5.0ms (0.1%)

series2.0ms (0%)

rewrite112.0ms (2.4%)

simplify439.0ms (9.2%)

eval6.0ms (0.1%)

prune7.0ms (0.1%)

localize6.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

eval0.0ms (0%)

prune1.0ms (0%)

eval0.0ms (0%)

prune1.0ms (0%)

regimes18.0ms (0.4%)

regimes124.0ms (2.6%)

bsearch22.0ms (0.5%)

simplify2.0ms (0%)

soundness0.0ms (0%)

end175.0ms (3.7%)

Profiling