Details

analyze1.7s (9.1%)

Algorithm

1×

Search

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

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample4.3s (22.3%)

Results

3.4s	8256×	body	256	valid
808.0ms	1136×	body	256	infinite

Bogosity

preprocess9.0ms (0%)

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)

simplify9.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	10	19

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

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

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

eval0.0ms (0%)

Compiler: Compiled 10 to 6 computations (40% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(+.f64 x (*.f64 y (-.f64 z x)))

Compiler

Compiled 10 to 6 computations (40% saved)

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 21 to 6 computations (71.4% saved)

series4.0ms (0%)

Counts

2 → 60

Calls

18 calls:

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

rewrite84.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1440×	`rational.json-simplify-35`
1334×	`bool.json-1`
1334×	`bool.json-2`
1292×	`rational.json-1`
1292×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	32
1	79	32
2	217	32
3	470	32
4	991	32
5	2229	32
6	4826	32

Stop Event

1×	node limit

Counts

2 → 33

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

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

simplify361.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

4016×	`rational.json-simplify-51`
3406×	`rational.json-simplify-41`
2448×	`rational.json-simplify-35`
1266×	`rational.json-simplify-2`
534×	`rational.json-simplify-1`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	94	1971
1	201	1707
2	485	1707
3	1123	1663
4	2098	1663
5	2670	1663
6	2981	1663
7	3164	1663
8	3308	1663
9	3436	1663
10	3563	1663
11	3687	1663
12	3902	1663
13	3923	1663
14	3952	1663
15	3968	1663
16	3997	1663
17	4012	1663
18	4147	1663
19	4279	1663

Stop Event

1×	node limit

Counts

93 → 63

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

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

eval9.0ms (0%)

Compiler: Compiled 646 to 282 computations (56.3% saved)

prune9.0ms (0%)

Pruning

6 alts after pruning (5 fresh and 1 done)

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

Error

0.0b

Counts

64 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 x (*.f64 y (-.f64 z x)))
▶	21.6b	(+.f64 x (*.f64 y (neg.f64 x)))
▶	11.5b	(+.f64 x (*.f64 y z))
▶	29.9b	(*.f64 y (-.f64 z x))
▶	21.6b	(*.f64 x (-.f64 1 y))
	32.9b	x

Compiler

Compiled 47 to 31 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))

rewrite104.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1212×	`bool.json-1`
1212×	`bool.json-2`
1192×	`rational.json-simplify-35`
1166×	`rational.json-1`
1166×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	77	13
2	237	13
3	474	13
4	921	13
5	1980	13
6	4310	13
7	7507	13

Stop Event

1×	node limit

Counts

1 → 11

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

simplify1.1s (5.8%)

Algorithm

1×	egg-herbie

Rules

5576×	`rational.json-simplify-35`
2300×	`rational.json-simplify-2`
1094×	`rational.json-simplify-53`
708×	`rational.json-simplify-1`
682×	`rational.json-simplify-43`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	44	497
1	101	475
2	212	475
3	452	475
4	1724	475
5	3303	475
6	4252	475
7	4657	475
8	4859	475
9	5066	475
10	5079	475
11	5452	475
12	5456	475
13	5526	475
14	5604	475
15	5815	475
16	6047	475
17	6252	475
18	6447	475
19	6642	475
20	6837	475
21	7032	475
22	7032	475
23	7088	475
24	7091	475
25	7095	475
26	7095	475
27	7291	475
28	7487	475
29	7683	475
30	7879	475

Stop Event

1×	node limit

Counts

35 → 20

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

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

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

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

rewrite91.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1618×	`bool.json-1`
1618×	`bool.json-2`
1586×	`rational.json-1`
1586×	`rational.json-2`
1586×	`rational.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	70	13
2	196	13
3	417	13
4	861	13
5	1885	13
6	3899	13
7	6381	13

Stop Event

1×	node limit

Counts

1 → 20

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

simplify992.0ms (5.2%)

Algorithm

1×	egg-herbie

Rules

5914×	`rational.json-simplify-51`
1978×	`rational.json-simplify-35`
1696×	`rational.json-simplify-2`
1278×	`rational.json-simplify-1`
1128×	`rational.json-simplify-49`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	54	650
1	111	650
2	281	650
3	690	650
4	1105	650
5	2508	650
6	3350	650
7	3408	650
8	3438	650
9	3464	650
10	3490	650
11	3516	650
12	3565	650
13	3591	650
14	3617	650
15	3643	650
16	3669	650
17	3695	650
18	3721	650
19	4550	650
20	4922	650
21	4954	650
22	4984	650
23	5013	650
24	5042	650
25	5071	650
26	5100	650
27	5129	650
28	5158	650
29	5187	650
30	5216	650
31	5245	650
32	5274	650
33	5303	650
34	5332	650
35	5361	650
36	5390	650
37	5419	650
38	5448	650
39	5477	650
40	5477	650

Stop Event

1×	node limit

Counts

56 → 23

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

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

localize6.0ms (0%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 17 to 6 computations (64.7% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite80.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1548×	`bool.json-1`
1548×	`bool.json-2`
1494×	`rational.json-1`
1494×	`rational.json-2`
1494×	`rational.json-4`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	83	17
2	237	17
3	521	17
4	1150	17
5	2674	13
6	5723	13

Stop Event

1×	node limit

Counts

1 → 31

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 x (-.f64 1 y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (-.f64 1 y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (-.f64 1 y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 x (-.f64 1 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (*.f64 x (-.f64 1 y)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (+.f64 (*.f64 x (/.f64 y -2)) (*.f64 x 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (+.f64 (*.f64 x 1/2) (*.f64 x (/.f64 y -2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 x (-.f64 1 y)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x x) (*.f64 (-.f64 1 y) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x x) (+.f64 1/2 (*.f64 y -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x x) (+.f64 1/2 (*.f64 (neg.f64 y) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x x) (+.f64 1/2 (/.f64 y -2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (*.f64 x (-.f64 1 y)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 x (-.f64 1 y)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 1 y) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (-.f64 1 y)) (*.f64 x 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (*.f64 x (-.f64 1 y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (*.f64 x (*.f64 y -2)) (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (+.f64 x x) (*.f64 x (*.f64 y -2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 x (-.f64 1 y)) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x 1/2) (*.f64 2 (-.f64 1 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x 1/2) (+.f64 (*.f64 y -2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 1 y) 1/2) (+.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (*.f64 x (-.f64 1 y)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 x (-.f64 1 y)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (-.f64 1 y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 x (-.f64 1 y)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 x (-.f64 1 y)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 x (-.f64 1 y)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 x (-.f64 1 y)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 (*.f64 x (-.f64 1 y)) 8)) (*.f64 2 (*.f64 (*.f64 x (-.f64 1 y)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 x (-.f64 1 y))))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 x (-.f64 1 y)) (*.f64 x (-.f64 1 y)))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 x (-.f64 1 y)) (*.f64 x (-.f64 1 y)))))))

simplify251.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

2098×	`rational.json-simplify-2`
1902×	`rational.json-simplify-35`
1498×	`rational.json-simplify-1`
850×	`rational.json-simplify-48`
790×	`rational.json-simplify-45`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	85	969
1	176	759
2	430	759
3	1286	759
4	2368	759
5	3383	759
6	3902	759
7	4140	759
8	4376	759
9	4704	759
10	5159	759
11	5982	759
12	6813	759
13	7425	759

Stop Event

1×	node limit

Counts

55 → 44

Calls

Call 1

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

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

eval123.0ms (0.6%)

Compiler: Compiled 917 to 539 computations (41.2% saved)

prune15.0ms (0.1%)

Pruning

8 alts after pruning (4 fresh and 4 done)

	Pruned	Kept	Total
New	104	3	107
Fresh	0	1	1
Picked	1	0	1
Done	0	4	4
Total	105	8	113

Error

0.0b

Counts

113 → 8

Alt Table

Click to see full alt table

Status	Error	Program
▶	21.6b	(-.f64 x (*.f64 y x))
✓	0.0b	(+.f64 x (*.f64 y (-.f64 z x)))
✓	11.5b	(+.f64 x (*.f64 y z))
✓	29.9b	(*.f64 y (-.f64 z x))
▶	51.2b	(*.f64 y (neg.f64 x))
▶	40.8b	(*.f64 y z)
✓	21.6b	(*.f64 x (-.f64 1 y))
	32.9b	x

Compiler

Compiled 59 to 39 computations (33.9% saved)

localize3.0ms (0%)

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

localize4.0ms (0%)

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

localize5.0ms (0%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 5 computations (61.5% saved)

series1.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite73.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1308×	`bool.json-1`
1308×	`bool.json-2`
1266×	`rational.json-1`
1266×	`rational.json-2`
1266×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	60	13
2	178	13
3	397	13
4	840	13
5	1876	13
6	4320	13

Stop Event

1×	node limit

Counts

1 → 51

Calls

Call 1

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

Outputs

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

simplify233.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

2544×	`rational.json-simplify-2`
2062×	`rational.json-simplify-35`
1074×	`rational.json-simplify-51`
1062×	`rational.json-simplify-1`
776×	`rational.json-simplify-52`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	122	1019
1	259	1013
2	553	1007
3	1372	1007
4	2522	1007
5	3952	1007
6	5310	1007
7	6296	1007
8	6925	1007
9	7168	1007
10	7366	1007
11	7552	1007

Stop Event

1×	node limit

Counts

75 → 63

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

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

eval11.0ms (0.1%)

Compiler: Compiled 554 to 298 computations (46.2% saved)

prune10.0ms (0.1%)

Pruning

8 alts after pruning (1 fresh and 7 done)

	Pruned	Kept	Total
New	63	0	63
Fresh	0	1	1
Picked	0	1	1
Done	0	6	6
Total	63	8	71

Error

0.0b

Counts

71 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	21.6b	(-.f64 x (*.f64 y x))
✓	0.0b	(+.f64 x (*.f64 y (-.f64 z x)))
✓	11.5b	(+.f64 x (*.f64 y z))
✓	29.9b	(*.f64 y (-.f64 z x))
✓	51.2b	(*.f64 y (neg.f64 x))
✓	40.8b	(*.f64 y z)
✓	21.6b	(*.f64 x (-.f64 1 y))
	32.9b	x

Compiler

Compiled 59 to 39 computations (33.9% 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
✓	21.6b	(-.f64 x (*.f64 y x))
✓	0.0b	(+.f64 x (*.f64 y (-.f64 z x)))
✓	11.5b	(+.f64 x (*.f64 y z))
✓	29.9b	(*.f64 y (-.f64 z x))
✓	51.2b	(*.f64 y (neg.f64 x))
✓	40.8b	(*.f64 y z)
✓	21.6b	(*.f64 x (-.f64 1 y))
	32.9b	x

Compiler

Compiled 59 to 39 computations (33.9% saved)

regimes70.0ms (0.4%)

Counts

9 → 1

Calls

Call 1

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

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

Calls

4 calls:

52.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 66 to 31 computations (53% saved)

regimes118.0ms (0.6%)

Counts

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

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

Calls

3 calls:

79.0ms	z
23.0ms	x
14.0ms	y

Results

Error	Segments	Branch
5.0b	5	`x`
0.8b	3	`y`
5.8b	3	`z`

Compiler

Compiled 49 to 24 computations (51% saved)

bsearch28.0ms (0.1%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
15.0ms	1.977751257901794e-14	3484.1173380990363
13.0ms	-86637.3526839423	-143.2967135657492

Results

25.0ms	288×	body	256	valid
0.0ms	1×	body	256	infinite

Compiler

Compiled 340 to 227 computations (33.2% saved)

regimes121.0ms (0.6%)

Counts

5 → 3

Calls

Call 1

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

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

Calls

3 calls:

54.0ms	x
51.0ms	z
13.0ms	y

Results

Error	Segments	Branch
10.9b	5	`x`
9.9b	3	`y`
12.9b	5	`z`

Compiler

Compiled 33 to 20 computations (39.4% saved)

bsearch27.0ms (0.1%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
12.0ms	1.6955706811489135e-45	4.43740857178208e-43
15.0ms	-3.3088772601939043e-93	-6.294743425566013e-102

Results

23.0ms

272×

body

256

valid

Compiler

Compiled 322 to 232 computations (28% saved)

regimes183.0ms (1%)

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:

92.0ms	z
76.0ms	x
14.0ms	y

Results

Error	Segments	Branch
14.2b	3	`x`
18.4b	4	`y`
14.5b	5	`z`

Compiler

Compiled 28 to 18 computations (35.7% saved)

bsearch23.0ms (0.1%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
14.0ms	2.720142058705023e-78	1.0746215932266799e-75
9.0ms	-7.555989339575484e-118	-1.6430143230003923e-118

Results

21.0ms

224×

body

256

valid

Compiler

Compiled 240 to 179 computations (25.4% saved)

regimes44.0ms (0.2%)

Counts

3 → 3

Calls

Call 1

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

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

Calls

3 calls:

18.0ms	z
15.0ms	x
10.0ms	y

Results

Error	Segments	Branch
22.3b	5	`x`
20.2b	3	`y`
24.2b	5	`z`

Compiler

Compiled 23 to 15 computations (34.8% saved)

bsearch32.0ms (0.2%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
18.0ms	1.977751257901794e-14	3484.1173380990363
14.0ms	-3.3088772601939043e-93	-6.294743425566013e-102

Results

26.0ms

304×

body

256

valid

Compiler

Compiled 254 to 192 computations (24.4% saved)

regimes8.6s (44.8%)

Accuracy

Total -41.2b remaining (-198.4%)

Threshold costs -41.2b (-198.4%)

Counts

2 → 3

Calls

Call 1

Inputs
x
(*.f64 y z)

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

Calls

3 calls:

6.2s	x
2.3s	z
13.0ms	y

Results

Error	Segments	Branch
22.3b	5	`x`
20.8b	3	`y`
24.2b	5	`z`

Compiler

Compiled 19 to 13 computations (31.6% saved)

bsearch27.0ms (0.1%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
13.0ms	1.6955706811489135e-45	4.43740857178208e-43
14.0ms	-3.3088772601939043e-93	-6.294743425566013e-102

Results

24.0ms

272×

body

256

valid

Compiler

Compiled 220 to 164 computations (25.5% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	44	255

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(+.f64 x (*.f64 y (-.f64 z x)))
(if (<=.f64 y -145) (.f64 y (-.f64 z x)) (if (<=.f64 y 1) (+.f64 x (.f64 y z)) (*.f64 y (-.f64 z x))))
(if (<=.f64 y -3875095261576825/1174271291386916613944740298394668513687841274454159935353645485766104512557304221731849499192384351515967488) (.f64 y (-.f64 z x)) (if (<=.f64 y 7532522082464017/25108406941546723055343157692830665664409421777856138051584) (.f64 x (-.f64 1 y)) (*.f64 y (-.f64 z x))))
(if (<=.f64 x -6586975938928937/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104) (.f64 x (-.f64 1 y)) (if (<=.f64 x 8017773602852537/32592575621351777380295131014550050576823494298654980010178247189670100796213387298934358016) (.f64 y z) (*.f64 x (-.f64 1 y))))
(if (<=.f64 y -6575919231766733/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976) (.f64 y z) (if (<=.f64 y 1) x (.f64 y (neg.f64 x))))
(if (<=.f64 y -3875095261576825/1174271291386916613944740298394668513687841274454159935353645485766104512557304221731849499192384351515967488) (.f64 y z) (if (<=.f64 y 2611274321920859/100433627766186892221372630771322662657637687111424552206336) x (.f64 y z)))
x

Outputs
(+.f64 x (*.f64 y (-.f64 z x)))
(if (<=.f64 y -145) (.f64 y (-.f64 z x)) (if (<=.f64 y 1) (+.f64 x (.f64 y z)) (*.f64 y (-.f64 z x))))
(if (<=.f64 y -3875095261576825/1174271291386916613944740298394668513687841274454159935353645485766104512557304221731849499192384351515967488) (.f64 y (-.f64 z x)) (if (<=.f64 y 7532522082464017/25108406941546723055343157692830665664409421777856138051584) (.f64 x (-.f64 1 y)) (*.f64 y (-.f64 z x))))
(if (<=.f64 x -6586975938928937/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104) (.f64 x (-.f64 1 y)) (if (<=.f64 x 8017773602852537/32592575621351777380295131014550050576823494298654980010178247189670100796213387298934358016) (.f64 y z) (*.f64 x (-.f64 1 y))))
(if (<=.f64 y -6575919231766733/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976) (.f64 y z) (if (<=.f64 y 1) x (.f64 y (neg.f64 x))))
(if (<=.f64 y -3875095261576825/1174271291386916613944740298394668513687841274454159935353645485766104512557304221731849499192384351515967488) (.f64 y z) (if (<=.f64 y 2611274321920859/100433627766186892221372630771322662657637687111424552206336) x (.f64 y z)))
x

Compiler

Compiled 127 to 74 computations (41.7% saved)

soundness0.0ms (0%)

end251.0ms (1.3%)

Compiler: Compiled 109 to 49 computations (55% saved)

Details

analyze1.7s (9.1%)

sample4.3s (22.3%)

preprocess9.0ms (0%)

simplify9.0ms (0%)

eval0.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0%)

series4.0ms (0%)

rewrite84.0ms (0.4%)

simplify361.0ms (1.9%)

eval9.0ms (0%)

prune9.0ms (0%)

localize6.0ms (0%)

series2.0ms (0%)

rewrite104.0ms (0.5%)

simplify1.1s (5.8%)

localize6.0ms (0%)

localize5.0ms (0%)

series1.0ms (0%)

rewrite91.0ms (0.5%)

simplify992.0ms (5.2%)

localize6.0ms (0%)

series2.0ms (0%)

rewrite80.0ms (0.4%)

simplify251.0ms (1.3%)

eval123.0ms (0.6%)

prune15.0ms (0.1%)

localize3.0ms (0%)

localize4.0ms (0%)

localize5.0ms (0%)

series1.0ms (0%)

rewrite73.0ms (0.4%)

simplify233.0ms (1.2%)

eval11.0ms (0.1%)

prune10.0ms (0.1%)

eval0.0ms (0%)

prune3.0ms (0%)

regimes70.0ms (0.4%)

regimes118.0ms (0.6%)

bsearch28.0ms (0.1%)

regimes121.0ms (0.6%)

bsearch27.0ms (0.1%)

regimes183.0ms (1%)

bsearch23.0ms (0.1%)

regimes44.0ms (0.2%)

bsearch32.0ms (0.2%)

regimes8.6s (44.8%)

bsearch27.0ms (0.1%)

simplify5.0ms (0%)

soundness0.0ms (0%)

end251.0ms (1.3%)

Profiling