Details

analyze49.0ms (0.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
25%	25%	74.9%	0.1%	0%	0%	0%	5
28.6%	25%	62.4%	0.1%	12.5%	0%	0%	6
50%	43.7%	43.7%	0.1%	12.5%	0%	0%	7
57.7%	46.8%	34.3%	0.1%	18.7%	0%	0%	8
71.2%	57.8%	23.4%	0.1%	18.7%	0%	0%	9
77%	60.1%	18%	0.1%	21.9%	0%	0%	10
84.5%	66%	12.1%	0.1%	21.9%	0%	0%	11
88%	67.3%	9.2%	0.1%	23.4%	0%	0%	12

Compiler

Compiled 10 to 7 computations (30% saved)

sample1.4s (23.5%)

Results

1.3s	8256×	body	256	valid
12.0ms	161×	body	256	infinite

Bogosity

preprocess7.0ms (0.1%)

Algorithm

2×	egg-herbie

Rules

44×	`rational_best.json-simplify-2`
38×	`rational_best.json-simplify-44`
4×	`rational_best.json-simplify-74`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	38
1	17	38
2	29	38
3	48	38
4	63	38
5	63	38
0	2	2

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

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

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

Compiler

Compiled 11 to 8 computations (27.3% saved)

simplify470.0ms (7.8%)

Algorithm

1×	egg-herbie

Rules

30×	`rational_best.json-simplify-2`
20×	`rational_best.json-simplify-44`
2×	`rational_best.json-simplify-74`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	11	19
2	17	19
3	29	19
4	39	19
5	40	19

Stop Event

1×

saturated

Counts

1 → 5

Calls

Call 1

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

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

eval1.0ms (0%)

Compiler: Compiled 37 to 22 computations (40.5% saved)

prune2.0ms (0%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	1	4	5
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	5	6

Error

0.0b

Counts

6 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	7.1b	(.f64 (.f64 (*.f64 x 3) x) y)
▶	0.3b	(.f64 x (.f64 y (*.f64 x 3)))
▶	7.1b	(.f64 3 (.f64 y (*.f64 x x)))
▶	0.3b	(.f64 3 (.f64 x (*.f64 x y)))

Compiler

Compiled 36 to 24 computations (33.3% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 x (.f64 x y))
✓	0.2b	(.f64 3 (.f64 x (*.f64 x y)))

Compiler

Compiled 20 to 7 computations (65% saved)

series3.0ms (0.1%)

Counts

2 → 48

Calls

12 calls:

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

rewrite138.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

910×	`rational_best.json-simplify-44`
904×	`rational_best.json-simplify-57`
892×	`rational_best.json-simplify-82`
608×	`rational_best.json-simplify-80`
500×	`rational_best.json-simplify-43`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	32
1	70	32
2	238	32
3	1006	32
4	4741	32

Stop Event

1×	node limit

Counts

2 → 20

Calls

Call 1

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

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 3 y) (*.f64 x x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (*.f64 3 y) (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (*.f64 3 y) (*.f64 x x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 (*.f64 3 y) (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 3 y) (*.f64 x x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 3 y) (*.f64 x x)) (/.f64 (*.f64 (*.f64 3 y) (*.f64 x x)) (*.f64 (*.f64 3 y) (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 y (*.f64 x 6))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 x (*.f64 y (*.f64 x 6)))) -2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (*.f64 3 y) (*.f64 x x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 (*.f64 3 y) (*.f64 x x))))))))

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

simplify205.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

1518×	`rational_best.json-simplify-132`
1300×	`rational_best.json-simplify-80`
1226×	`rational_best.json-simplify-78`
1072×	`rational_best.json-simplify-44`
700×	`rational_best.json-simplify-135`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	50	1088
1	98	1088
2	210	1088
3	590	1088
4	3614	1088
5	7623	1088

Stop Event

1×	node limit

Counts

68 → 28

Calls

Call 1

Inputs
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(+.f64 (.f64 (.f64 3 y) (*.f64 x x)) 0)
(+.f64 0 (.f64 (.f64 3 y) (*.f64 x x)))
(-.f64 (.f64 (.f64 3 y) (*.f64 x x)) 0)
(-.f64 0 (neg.f64 (.f64 (.f64 3 y) (*.f64 x x))))
(/.f64 (.f64 (.f64 3 y) (*.f64 x x)) 1)
(/.f64 (.f64 (.f64 3 y) (.f64 x x)) (/.f64 (.f64 (.f64 3 y) (.f64 x x)) (.f64 (.f64 3 y) (*.f64 x x))))
(/.f64 (.f64 x (.f64 y (*.f64 x 6))) 2)
(/.f64 (neg.f64 (.f64 x (.f64 y (*.f64 x 6)))) -2)
(pow.f64 (.f64 (.f64 3 y) (*.f64 x x)) 1)
(neg.f64 (neg.f64 (.f64 (.f64 3 y) (*.f64 x x))))
(+.f64 (.f64 x (.f64 x y)) 0)
(+.f64 0 (.f64 x (.f64 x y)))
(-.f64 (.f64 x (.f64 x y)) 0)
(-.f64 0 (neg.f64 (.f64 x (.f64 x y))))
(/.f64 (.f64 x (.f64 x y)) 1)
(/.f64 (.f64 x (.f64 x y)) (/.f64 (.f64 x (.f64 x y)) (.f64 x (.f64 x y))))
(/.f64 (.f64 (.f64 x x) (+.f64 y y)) 2)
(/.f64 (neg.f64 (.f64 (.f64 x x) (+.f64 y y))) -2)
(pow.f64 (.f64 x (.f64 x y)) 1)
(neg.f64 (neg.f64 (.f64 x (.f64 x y))))

Outputs
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(+.f64 (.f64 (.f64 3 y) (*.f64 x x)) 0)
(.f64 (.f64 3 y) (*.f64 x x))
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 y (.f64 3 (*.f64 x x)))
(+.f64 0 (.f64 (.f64 3 y) (*.f64 x x)))
(.f64 (.f64 3 y) (*.f64 x x))
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 y (.f64 3 (*.f64 x x)))
(-.f64 (.f64 (.f64 3 y) (*.f64 x x)) 0)
(.f64 (.f64 3 y) (*.f64 x x))
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 y (.f64 3 (*.f64 x x)))
(-.f64 0 (neg.f64 (.f64 (.f64 3 y) (*.f64 x x))))
(.f64 (.f64 3 y) (*.f64 x x))
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 y (.f64 3 (*.f64 x x)))
(/.f64 (.f64 (.f64 3 y) (*.f64 x x)) 1)
(.f64 (.f64 3 y) (*.f64 x x))
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 y (.f64 3 (*.f64 x x)))
(/.f64 (.f64 (.f64 3 y) (.f64 x x)) (/.f64 (.f64 (.f64 3 y) (.f64 x x)) (.f64 (.f64 3 y) (*.f64 x x))))
(.f64 (.f64 3 y) (*.f64 x x))
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 y (.f64 3 (*.f64 x x)))
(/.f64 (.f64 x (.f64 y (*.f64 x 6))) 2)
(.f64 (.f64 3 y) (*.f64 x x))
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 y (.f64 3 (*.f64 x x)))
(/.f64 (neg.f64 (.f64 x (.f64 y (*.f64 x 6)))) -2)
(.f64 (.f64 3 y) (*.f64 x x))
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 y (.f64 3 (*.f64 x x)))
(pow.f64 (.f64 (.f64 3 y) (*.f64 x x)) 1)
(.f64 (.f64 3 y) (*.f64 x x))
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 y (.f64 3 (*.f64 x x)))
(neg.f64 (neg.f64 (.f64 (.f64 3 y) (*.f64 x x))))
(.f64 (.f64 3 y) (*.f64 x x))
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 y (.f64 3 (*.f64 x x)))
(+.f64 (.f64 x (.f64 x y)) 0)
(.f64 x (.f64 y x))
(.f64 y (.f64 x x))
(+.f64 0 (.f64 x (.f64 x y)))
(.f64 x (.f64 y x))
(.f64 y (.f64 x x))
(-.f64 (.f64 x (.f64 x y)) 0)
(.f64 x (.f64 y x))
(.f64 y (.f64 x x))
(-.f64 0 (neg.f64 (.f64 x (.f64 x y))))
(.f64 x (.f64 y x))
(.f64 y (.f64 x x))
(/.f64 (.f64 x (.f64 x y)) 1)
(.f64 x (.f64 y x))
(.f64 y (.f64 x x))
(/.f64 (.f64 x (.f64 x y)) (/.f64 (.f64 x (.f64 x y)) (.f64 x (.f64 x y))))
(.f64 x (.f64 y x))
(.f64 y (.f64 x x))
(/.f64 (.f64 (.f64 x x) (+.f64 y y)) 2)
(.f64 x (.f64 y x))
(.f64 y (.f64 x x))
(/.f64 (neg.f64 (.f64 (.f64 x x) (+.f64 y y))) -2)
(.f64 x (.f64 y x))
(.f64 y (.f64 x x))
(pow.f64 (.f64 x (.f64 x y)) 1)
(.f64 x (.f64 y x))
(.f64 y (.f64 x x))
(neg.f64 (neg.f64 (.f64 x (.f64 x y))))
(.f64 x (.f64 y x))
(.f64 y (.f64 x x))

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 3 (.f64 y (*.f64 x x)))
✓	6.8b	(.f64 y (.f64 x x))

Compiler

Compiled 20 to 7 computations (65% saved)

series1.0ms (0%)

Counts

2 → 48

Calls

12 calls:

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

rewrite155.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

940×	`rational_best.json-simplify-57`
716×	`rational_best.json-simplify-54`
554×	`rational_best.json-5`
554×	`rational_best.json-simplify-43`
552×	`rational_best.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	32
1	73	32
2	259	32
3	1115	32
4	5571	32

Stop Event

1×	node limit

Counts

2 → 20

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 y (.f64 x x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 y (.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 y (.f64 x x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (.f64 y (.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 y (.f64 x x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 y (.f64 x x)) (/.f64 (.f64 y (.f64 x x)) (.f64 y (.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 x (.f64 x (+.f64 y y))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (.f64 x (.f64 x (+.f64 y y)))) -2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 y (.f64 x x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (.f64 y (.f64 x x))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x (.f64 y (.f64 x 3))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 x (.f64 y (.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 x (.f64 y (.f64 x 3))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (.f64 x (.f64 y (.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 x (.f64 y (.f64 x 3))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 x (.f64 y (.f64 x 3))) (/.f64 (.f64 x (.f64 y (.f64 x 3))) (.f64 x (.f64 y (.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 x (.f64 x (.f64 y 6))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (.f64 x (.f64 x (.f64 y 6)))) -2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 x (.f64 y (.f64 x 3))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (.f64 x (.f64 y (.f64 x 3)))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y (*.f64 x x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 y (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 y (*.f64 x x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 y (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (*.f64 x x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (*.f64 x x)) (/.f64 (*.f64 y (*.f64 x x)) (*.f64 y (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 x (+.f64 y y))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 x (*.f64 x (+.f64 y y)))) -2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 y (*.f64 x x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 y (*.f64 x x))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (*.f64 y (*.f64 x 3))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 x (*.f64 y (*.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 x (*.f64 y (*.f64 x 3))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 x (*.f64 y (*.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 y (*.f64 x 3))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 y (*.f64 x 3))) (/.f64 (*.f64 x (*.f64 y (*.f64 x 3))) (*.f64 x (*.f64 y (*.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 x (*.f64 y 6))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 x (*.f64 x (*.f64 y 6)))) -2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (*.f64 y (*.f64 x 3))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 x (*.f64 y (*.f64 x 3)))))))))

simplify148.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

1154×	`rational_best.json-simplify-83`
1150×	`rational_best.json-simplify-82`
1090×	`rational_best.json-simplify-132`
956×	`rational_best.json-simplify-80`
934×	`rational_best.json-simplify-44`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	51	1088
1	102	1088
2	210	1088
3	560	1088
4	2934	1088
5	5948	1088

Stop Event

1×	node limit

Counts

68 → 29

Calls

Call 1

Inputs
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(+.f64 (.f64 y (.f64 x x)) 0)
(+.f64 0 (.f64 y (.f64 x x)))
(-.f64 (.f64 y (.f64 x x)) 0)
(-.f64 0 (neg.f64 (.f64 y (.f64 x x))))
(/.f64 (.f64 y (.f64 x x)) 1)
(/.f64 (.f64 y (.f64 x x)) (/.f64 (.f64 y (.f64 x x)) (.f64 y (.f64 x x))))
(/.f64 (.f64 x (.f64 x (+.f64 y y))) 2)
(/.f64 (neg.f64 (.f64 x (.f64 x (+.f64 y y)))) -2)
(pow.f64 (.f64 y (.f64 x x)) 1)
(neg.f64 (neg.f64 (.f64 y (.f64 x x))))
(+.f64 (.f64 x (.f64 y (*.f64 x 3))) 0)
(+.f64 0 (.f64 x (.f64 y (*.f64 x 3))))
(-.f64 (.f64 x (.f64 y (*.f64 x 3))) 0)
(-.f64 0 (neg.f64 (.f64 x (.f64 y (*.f64 x 3)))))
(/.f64 (.f64 x (.f64 y (*.f64 x 3))) 1)
(/.f64 (.f64 x (.f64 y (.f64 x 3))) (/.f64 (.f64 x (.f64 y (.f64 x 3))) (.f64 x (.f64 y (*.f64 x 3)))))
(/.f64 (.f64 x (.f64 x (*.f64 y 6))) 2)
(/.f64 (neg.f64 (.f64 x (.f64 x (*.f64 y 6)))) -2)
(pow.f64 (.f64 x (.f64 y (*.f64 x 3))) 1)
(neg.f64 (neg.f64 (.f64 x (.f64 y (*.f64 x 3)))))

Outputs
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 x 2) 3))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 x 2) 3))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 x 2) 3))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 x 2) 3))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 x 2) 3))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 x 2) 3))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 x 2) 3))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 x 2) 3))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 x 2) 3))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 x 2) 3))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 x 2) 3))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 x 2) 3))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 x 2) 3))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 x 2) 3))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 x 2) 3))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 x 2) 3))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 x 2) 3))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 x 2) 3))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 x 2) 3))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 x 2) 3))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 x 2) 3))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 x 2) 3))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 x 2) 3))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 y (.f64 (pow.f64 x 2) 3))
(+.f64 (.f64 y (.f64 x x)) 0)
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(+.f64 0 (.f64 y (.f64 x x)))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(-.f64 (.f64 y (.f64 x x)) 0)
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(-.f64 0 (neg.f64 (.f64 y (.f64 x x))))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(/.f64 (.f64 y (.f64 x x)) 1)
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(/.f64 (.f64 y (.f64 x x)) (/.f64 (.f64 y (.f64 x x)) (.f64 y (.f64 x x))))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(/.f64 (.f64 x (.f64 x (+.f64 y y))) 2)
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(/.f64 (neg.f64 (.f64 x (.f64 x (+.f64 y y)))) -2)
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(pow.f64 (.f64 y (.f64 x x)) 1)
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(neg.f64 (neg.f64 (.f64 y (.f64 x x))))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(+.f64 (.f64 x (.f64 y (*.f64 x 3))) 0)
(.f64 x (.f64 y (*.f64 x 3)))
(.f64 (.f64 x 3) (*.f64 y x))
(.f64 3 (.f64 x (*.f64 y x)))
(+.f64 0 (.f64 x (.f64 y (*.f64 x 3))))
(.f64 x (.f64 y (*.f64 x 3)))
(.f64 (.f64 x 3) (*.f64 y x))
(.f64 3 (.f64 x (*.f64 y x)))
(-.f64 (.f64 x (.f64 y (*.f64 x 3))) 0)
(.f64 x (.f64 y (*.f64 x 3)))
(.f64 (.f64 x 3) (*.f64 y x))
(.f64 3 (.f64 x (*.f64 y x)))
(-.f64 0 (neg.f64 (.f64 x (.f64 y (*.f64 x 3)))))
(.f64 x (.f64 y (*.f64 x 3)))
(.f64 (.f64 x 3) (*.f64 y x))
(.f64 3 (.f64 x (*.f64 y x)))
(/.f64 (.f64 x (.f64 y (*.f64 x 3))) 1)
(.f64 x (.f64 y (*.f64 x 3)))
(.f64 (.f64 x 3) (*.f64 y x))
(.f64 3 (.f64 x (*.f64 y x)))
(/.f64 (.f64 x (.f64 y (.f64 x 3))) (/.f64 (.f64 x (.f64 y (.f64 x 3))) (.f64 x (.f64 y (*.f64 x 3)))))
(.f64 x (.f64 y (*.f64 x 3)))
(.f64 (.f64 x 3) (*.f64 y x))
(.f64 3 (.f64 x (*.f64 y x)))
(/.f64 (.f64 x (.f64 x (*.f64 y 6))) 2)
(.f64 x (.f64 y (*.f64 x 3)))
(.f64 (.f64 x 3) (*.f64 y x))
(.f64 3 (.f64 x (*.f64 y x)))
(/.f64 (neg.f64 (.f64 x (.f64 x (*.f64 y 6)))) -2)
(.f64 x (.f64 y (*.f64 x 3)))
(.f64 (.f64 x 3) (*.f64 y x))
(.f64 3 (.f64 x (*.f64 y x)))
(pow.f64 (.f64 x (.f64 y (*.f64 x 3))) 1)
(.f64 x (.f64 y (*.f64 x 3)))
(.f64 (.f64 x 3) (*.f64 y x))
(.f64 3 (.f64 x (*.f64 y x)))
(neg.f64 (neg.f64 (.f64 x (.f64 y (*.f64 x 3)))))
(.f64 x (.f64 y (*.f64 x 3)))
(.f64 (.f64 x 3) (*.f64 y x))
(.f64 3 (.f64 x (*.f64 y x)))

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 y (.f64 x 3))
✓	0.2b	(.f64 x (.f64 y (*.f64 x 3)))

Compiler

Compiled 20 to 12 computations (40% saved)

series3.0ms (0%)

Counts

2 → 48

Calls

12 calls:

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

rewrite224.0ms (3.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1126×	`rational_best.json-simplify-44`
988×	`rational_best.json-simplify-57`
604×	`rational_best.json-simplify-80`
522×	`rational_best.json-simplify-43`
504×	`rational_best.json-simplify-47`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	32
1	72	32
2	248	32
3	1058	32
4	5095	32

Stop Event

1×	node limit

Counts

2 → 20

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 3 (*.f64 y (*.f64 x x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 3 (*.f64 y (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 3 (*.f64 y (*.f64 x x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 3 (*.f64 y (*.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 3 (*.f64 y (*.f64 x x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 3 (*.f64 y (*.f64 x x))) (/.f64 (*.f64 3 (*.f64 y (*.f64 x x))) (*.f64 3 (*.f64 y (*.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (*.f64 x (*.f64 x 6))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 y (*.f64 x (*.f64 x 6)))) -2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 3 (*.f64 y (*.f64 x x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 3 (*.f64 y (*.f64 x x)))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (*.f64 y 3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 x (*.f64 y 3)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 x (*.f64 y 3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 x (*.f64 y 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 y 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 y 3)) (/.f64 (*.f64 y (*.f64 x 6)) (*.f64 y (*.f64 x 6))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (*.f64 x 6)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 y (*.f64 x 6))) -2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (*.f64 y 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 x (*.f64 y 3))))))))

simplify251.0ms (4.1%)

Algorithm

1×	egg-herbie

Rules

1472×	`rational_best.json-simplify-80`
1332×	`rational_best.json-simplify-78`
1090×	`rational_best.json-simplify-44`
914×	`rational_best.json-simplify-82`
674×	`rational_best.json-simplify-132`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	51	1088
1	105	1088
2	206	1088
3	531	1088
4	2737	1088
5	4959	1088
6	7932	1088

Stop Event

1×	node limit

Counts

68 → 28

Calls

Call 1

Inputs
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(+.f64 (.f64 3 (.f64 y (*.f64 x x))) 0)
(+.f64 0 (.f64 3 (.f64 y (*.f64 x x))))
(-.f64 (.f64 3 (.f64 y (*.f64 x x))) 0)
(-.f64 0 (neg.f64 (.f64 3 (.f64 y (*.f64 x x)))))
(/.f64 (.f64 3 (.f64 y (*.f64 x x))) 1)
(/.f64 (.f64 3 (.f64 y (.f64 x x))) (/.f64 (.f64 3 (.f64 y (.f64 x x))) (.f64 3 (.f64 y (*.f64 x x)))))
(/.f64 (.f64 y (.f64 x (*.f64 x 6))) 2)
(/.f64 (neg.f64 (.f64 y (.f64 x (*.f64 x 6)))) -2)
(pow.f64 (.f64 3 (.f64 y (*.f64 x x))) 1)
(neg.f64 (neg.f64 (.f64 3 (.f64 y (*.f64 x x)))))
(+.f64 (.f64 x (.f64 y 3)) 0)
(+.f64 0 (.f64 x (.f64 y 3)))
(-.f64 (.f64 x (.f64 y 3)) 0)
(-.f64 0 (neg.f64 (.f64 x (.f64 y 3))))
(/.f64 (.f64 x (.f64 y 3)) 1)
(/.f64 (.f64 x (.f64 y 3)) (/.f64 (.f64 y (.f64 x 6)) (.f64 y (.f64 x 6))))
(/.f64 (.f64 y (.f64 x 6)) 2)
(/.f64 (neg.f64 (.f64 y (.f64 x 6))) -2)
(pow.f64 (.f64 x (.f64 y 3)) 1)
(neg.f64 (neg.f64 (.f64 x (.f64 y 3))))

Outputs
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(+.f64 (.f64 3 (.f64 y (*.f64 x x))) 0)
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 y (.f64 3 (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 3 y))
(+.f64 0 (.f64 3 (.f64 y (*.f64 x x))))
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 y (.f64 3 (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 3 y))
(-.f64 (.f64 3 (.f64 y (*.f64 x x))) 0)
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 y (.f64 3 (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 3 y))
(-.f64 0 (neg.f64 (.f64 3 (.f64 y (*.f64 x x)))))
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 y (.f64 3 (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 3 y))
(/.f64 (.f64 3 (.f64 y (*.f64 x x))) 1)
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 y (.f64 3 (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 3 y))
(/.f64 (.f64 3 (.f64 y (.f64 x x))) (/.f64 (.f64 3 (.f64 y (.f64 x x))) (.f64 3 (.f64 y (*.f64 x x)))))
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 y (.f64 3 (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 3 y))
(/.f64 (.f64 y (.f64 x (*.f64 x 6))) 2)
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 y (.f64 3 (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 3 y))
(/.f64 (neg.f64 (.f64 y (.f64 x (*.f64 x 6)))) -2)
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 y (.f64 3 (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 3 y))
(pow.f64 (.f64 3 (.f64 y (*.f64 x x))) 1)
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 y (.f64 3 (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 3 y))
(neg.f64 (neg.f64 (.f64 3 (.f64 y (*.f64 x x)))))
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 y (.f64 3 (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 3 y))
(+.f64 (.f64 x (.f64 y 3)) 0)
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(+.f64 0 (.f64 x (.f64 y 3)))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(-.f64 (.f64 x (.f64 y 3)) 0)
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(-.f64 0 (neg.f64 (.f64 x (.f64 y 3))))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(/.f64 (.f64 x (.f64 y 3)) 1)
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(/.f64 (.f64 x (.f64 y 3)) (/.f64 (.f64 y (.f64 x 6)) (.f64 y (.f64 x 6))))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(/.f64 (.f64 y (.f64 x 6)) 2)
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(/.f64 (neg.f64 (.f64 y (.f64 x 6))) -2)
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(pow.f64 (.f64 x (.f64 y 3)) 1)
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(neg.f64 (neg.f64 (.f64 x (.f64 y 3))))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))

localize9.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 x 3) x)
✓	6.8b	(.f64 (.f64 (*.f64 x 3) x) y)

Compiler

Compiled 20 to 12 computations (40% saved)

series1.0ms (0%)

Counts

2 → 36

Calls

9 calls:

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

rewrite96.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

906×	`rational_best.json-simplify-57`
862×	`rational_best.json-simplify-44`
854×	`rational_best.json-simplify-82`
588×	`rational_best.json-simplify-80`
494×	`rational_best.json-simplify-43`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	32
1	68	32
2	226	32
3	977	32
4	4589	32

Stop Event

1×	node limit

Counts

2 → 20

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (*.f64 x (*.f64 3 y))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 x (*.f64 x (*.f64 3 y))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 x (*.f64 x (*.f64 3 y))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 x (*.f64 x (*.f64 3 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 x (*.f64 3 y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 x (*.f64 3 y))) (/.f64 (*.f64 x (*.f64 x (*.f64 3 y))) (*.f64 x (*.f64 x (*.f64 3 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 y (*.f64 x 6))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 x (*.f64 y (*.f64 x 6)))) -2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (*.f64 x (*.f64 3 y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 x (*.f64 x (*.f64 3 y)))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (*.f64 x 3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 x (*.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 x (*.f64 x 3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 x (*.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 x 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 x 3)) (/.f64 (*.f64 x (*.f64 x 6)) (*.f64 x (*.f64 x 6))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 x 6)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 x (*.f64 x 6))) -2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (*.f64 x 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 x (*.f64 x 3))))))))

simplify363.0ms (6%)

Algorithm

1×	egg-herbie

Rules

1830×	`rational_best.json-simplify-80`
1542×	`rational_best.json-simplify-78`
742×	`rational_best.json-simplify-82`
722×	`rational_best.json-simplify-74`
714×	`rational_best.json-simplify-44`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	50	932
1	97	932
2	188	932
3	464	932
4	2014	932
5	3705	932
6	6063	932
7	7584	932
8	7987	932

Stop Event

1×	node limit

Counts

56 → 28

Calls

Call 1

Inputs
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(+.f64 (.f64 x (.f64 x (*.f64 3 y))) 0)
(+.f64 0 (.f64 x (.f64 x (*.f64 3 y))))
(-.f64 (.f64 x (.f64 x (*.f64 3 y))) 0)
(-.f64 0 (neg.f64 (.f64 x (.f64 x (*.f64 3 y)))))
(/.f64 (.f64 x (.f64 x (*.f64 3 y))) 1)
(/.f64 (.f64 x (.f64 x (.f64 3 y))) (/.f64 (.f64 x (.f64 x (.f64 3 y))) (.f64 x (.f64 x (*.f64 3 y)))))
(/.f64 (.f64 x (.f64 y (*.f64 x 6))) 2)
(/.f64 (neg.f64 (.f64 x (.f64 y (*.f64 x 6)))) -2)
(pow.f64 (.f64 x (.f64 x (*.f64 3 y))) 1)
(neg.f64 (neg.f64 (.f64 x (.f64 x (*.f64 3 y)))))
(+.f64 (.f64 x (.f64 x 3)) 0)
(+.f64 0 (.f64 x (.f64 x 3)))
(-.f64 (.f64 x (.f64 x 3)) 0)
(-.f64 0 (neg.f64 (.f64 x (.f64 x 3))))
(/.f64 (.f64 x (.f64 x 3)) 1)
(/.f64 (.f64 x (.f64 x 3)) (/.f64 (.f64 x (.f64 x 6)) (.f64 x (.f64 x 6))))
(/.f64 (.f64 x (.f64 x 6)) 2)
(/.f64 (neg.f64 (.f64 x (.f64 x 6))) -2)
(pow.f64 (.f64 x (.f64 x 3)) 1)
(neg.f64 (neg.f64 (.f64 x (.f64 x 3))))

Outputs
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(+.f64 (.f64 x (.f64 x (*.f64 3 y))) 0)
(.f64 x (.f64 x (*.f64 3 y)))
(.f64 y (.f64 x (*.f64 3 x)))
(.f64 3 (.f64 y (*.f64 x x)))
(+.f64 0 (.f64 x (.f64 x (*.f64 3 y))))
(.f64 x (.f64 x (*.f64 3 y)))
(.f64 y (.f64 x (*.f64 3 x)))
(.f64 3 (.f64 y (*.f64 x x)))
(-.f64 (.f64 x (.f64 x (*.f64 3 y))) 0)
(.f64 x (.f64 x (*.f64 3 y)))
(.f64 y (.f64 x (*.f64 3 x)))
(.f64 3 (.f64 y (*.f64 x x)))
(-.f64 0 (neg.f64 (.f64 x (.f64 x (*.f64 3 y)))))
(.f64 x (.f64 x (*.f64 3 y)))
(.f64 y (.f64 x (*.f64 3 x)))
(.f64 3 (.f64 y (*.f64 x x)))
(/.f64 (.f64 x (.f64 x (*.f64 3 y))) 1)
(.f64 x (.f64 x (*.f64 3 y)))
(.f64 y (.f64 x (*.f64 3 x)))
(.f64 3 (.f64 y (*.f64 x x)))
(/.f64 (.f64 x (.f64 x (.f64 3 y))) (/.f64 (.f64 x (.f64 x (.f64 3 y))) (.f64 x (.f64 x (*.f64 3 y)))))
(.f64 x (.f64 x (*.f64 3 y)))
(.f64 y (.f64 x (*.f64 3 x)))
(.f64 3 (.f64 y (*.f64 x x)))
(/.f64 (.f64 x (.f64 y (*.f64 x 6))) 2)
(.f64 x (.f64 x (*.f64 3 y)))
(.f64 y (.f64 x (*.f64 3 x)))
(.f64 3 (.f64 y (*.f64 x x)))
(/.f64 (neg.f64 (.f64 x (.f64 y (*.f64 x 6)))) -2)
(.f64 x (.f64 x (*.f64 3 y)))
(.f64 y (.f64 x (*.f64 3 x)))
(.f64 3 (.f64 y (*.f64 x x)))
(pow.f64 (.f64 x (.f64 x (*.f64 3 y))) 1)
(.f64 x (.f64 x (*.f64 3 y)))
(.f64 y (.f64 x (*.f64 3 x)))
(.f64 3 (.f64 y (*.f64 x x)))
(neg.f64 (neg.f64 (.f64 x (.f64 x (*.f64 3 y)))))
(.f64 x (.f64 x (*.f64 3 y)))
(.f64 y (.f64 x (*.f64 3 x)))
(.f64 3 (.f64 y (*.f64 x x)))
(+.f64 (.f64 x (.f64 x 3)) 0)
(.f64 x (.f64 3 x))
(.f64 3 (.f64 x x))
(+.f64 0 (.f64 x (.f64 x 3)))
(.f64 x (.f64 3 x))
(.f64 3 (.f64 x x))
(-.f64 (.f64 x (.f64 x 3)) 0)
(.f64 x (.f64 3 x))
(.f64 3 (.f64 x x))
(-.f64 0 (neg.f64 (.f64 x (.f64 x 3))))
(.f64 x (.f64 3 x))
(.f64 3 (.f64 x x))
(/.f64 (.f64 x (.f64 x 3)) 1)
(.f64 x (.f64 3 x))
(.f64 3 (.f64 x x))
(/.f64 (.f64 x (.f64 x 3)) (/.f64 (.f64 x (.f64 x 6)) (.f64 x (.f64 x 6))))
(.f64 x (.f64 3 x))
(.f64 3 (.f64 x x))
(/.f64 (.f64 x (.f64 x 6)) 2)
(.f64 x (.f64 3 x))
(.f64 3 (.f64 x x))
(/.f64 (neg.f64 (.f64 x (.f64 x 6))) -2)
(.f64 x (.f64 3 x))
(.f64 3 (.f64 x x))
(pow.f64 (.f64 x (.f64 x 3)) 1)
(.f64 x (.f64 3 x))
(.f64 3 (.f64 x x))
(neg.f64 (neg.f64 (.f64 x (.f64 x 3))))
(.f64 x (.f64 3 x))
(.f64 3 (.f64 x x))

eval22.0ms (0.4%)

Compiler: Compiled 1073 to 603 computations (43.8% saved)

prune16.0ms (0.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	109	4	113
Fresh	0	0	0
Picked	0	1	1
Done	2	1	3
Total	111	6	117

Error

0.0b

Counts

117 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	7.1b	(.f64 (.f64 (*.f64 x 3) x) y)
▶	7.1b	(.f64 (.f64 x x) (*.f64 3 y))
▶	0.3b	(.f64 (.f64 x 3) (*.f64 y x))
▶	7.1b	(.f64 (.f64 3 (*.f64 x x)) y)
▶	0.3b	(.f64 x (.f64 x (*.f64 3 y)))
✓	0.3b	(.f64 3 (.f64 x (*.f64 x y)))

Compiler

Compiled 54 to 36 computations (33.3% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 x (.f64 3 y))
✓	0.2b	(.f64 x (.f64 x (*.f64 3 y)))

Compiler

Compiled 20 to 12 computations (40% saved)

series1.0ms (0%)

Counts

2 → 48

Calls

12 calls:

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

rewrite96.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

986×	`rational_best.json-simplify-57`
958×	`rational_best.json-simplify-44`
616×	`rational_best.json-simplify-80`
512×	`rational_best.json-simplify-43`
484×	`rational_best.json-simplify-47`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	32
1	70	32
2	239	32
3	1023	32
4	4881	32

Stop Event

1×	node limit

Counts

2 → 20

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 3 (*.f64 y (*.f64 x x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 3 (*.f64 y (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 3 (*.f64 y (*.f64 x x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 3 (*.f64 y (*.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 3 (*.f64 y (*.f64 x x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 3 (*.f64 y (*.f64 x x))) (/.f64 (*.f64 3 (*.f64 y (*.f64 x x))) (*.f64 3 (*.f64 y (*.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 y (*.f64 x x)) 6) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 (*.f64 y (*.f64 x x)) 6)) -2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 3 (*.f64 y (*.f64 x x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 3 (*.f64 y (*.f64 x x)))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (*.f64 3 y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 x (*.f64 3 y)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 x (*.f64 3 y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 x (*.f64 3 y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 3 y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 3 y)) (/.f64 (*.f64 x (*.f64 y 6)) (*.f64 x (*.f64 y 6))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 y 6)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 x (*.f64 y 6))) -2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (*.f64 3 y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 x (*.f64 3 y))))))))

simplify134.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

1580×	`rational_best.json-simplify-80`
1440×	`rational_best.json-simplify-78`
1220×	`rational_best.json-simplify-44`
958×	`rational_best.json-simplify-82`
740×	`rational_best.json-simplify-132`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	50	1088
1	100	1088
2	203	1088
3	547	1088
4	2886	1088
5	5256	1088

Stop Event

1×	node limit

Counts

68 → 27

Calls

Call 1

Inputs
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(.f64 3 (.f64 y x))
(+.f64 (.f64 3 (.f64 y (*.f64 x x))) 0)
(+.f64 0 (.f64 3 (.f64 y (*.f64 x x))))
(-.f64 (.f64 3 (.f64 y (*.f64 x x))) 0)
(-.f64 0 (neg.f64 (.f64 3 (.f64 y (*.f64 x x)))))
(/.f64 (.f64 3 (.f64 y (*.f64 x x))) 1)
(/.f64 (.f64 3 (.f64 y (.f64 x x))) (/.f64 (.f64 3 (.f64 y (.f64 x x))) (.f64 3 (.f64 y (*.f64 x x)))))
(/.f64 (.f64 (.f64 y (*.f64 x x)) 6) 2)
(/.f64 (neg.f64 (.f64 (.f64 y (*.f64 x x)) 6)) -2)
(pow.f64 (.f64 3 (.f64 y (*.f64 x x))) 1)
(neg.f64 (neg.f64 (.f64 3 (.f64 y (*.f64 x x)))))
(+.f64 (.f64 x (.f64 3 y)) 0)
(+.f64 0 (.f64 x (.f64 3 y)))
(-.f64 (.f64 x (.f64 3 y)) 0)
(-.f64 0 (neg.f64 (.f64 x (.f64 3 y))))
(/.f64 (.f64 x (.f64 3 y)) 1)
(/.f64 (.f64 x (.f64 3 y)) (/.f64 (.f64 x (.f64 y 6)) (.f64 x (.f64 y 6))))
(/.f64 (.f64 x (.f64 y 6)) 2)
(/.f64 (neg.f64 (.f64 x (.f64 y 6))) -2)
(pow.f64 (.f64 x (.f64 3 y)) 1)
(neg.f64 (neg.f64 (.f64 x (.f64 3 y))))

Outputs
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(+.f64 (.f64 3 (.f64 y (*.f64 x x))) 0)
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 (.f64 y x) (*.f64 3 x))
(.f64 y (.f64 3 (*.f64 x x)))
(+.f64 0 (.f64 3 (.f64 y (*.f64 x x))))
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 (.f64 y x) (*.f64 3 x))
(.f64 y (.f64 3 (*.f64 x x)))
(-.f64 (.f64 3 (.f64 y (*.f64 x x))) 0)
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 (.f64 y x) (*.f64 3 x))
(.f64 y (.f64 3 (*.f64 x x)))
(-.f64 0 (neg.f64 (.f64 3 (.f64 y (*.f64 x x)))))
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 (.f64 y x) (*.f64 3 x))
(.f64 y (.f64 3 (*.f64 x x)))
(/.f64 (.f64 3 (.f64 y (*.f64 x x))) 1)
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 (.f64 y x) (*.f64 3 x))
(.f64 y (.f64 3 (*.f64 x x)))
(/.f64 (.f64 3 (.f64 y (.f64 x x))) (/.f64 (.f64 3 (.f64 y (.f64 x x))) (.f64 3 (.f64 y (*.f64 x x)))))
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 (.f64 y x) (*.f64 3 x))
(.f64 y (.f64 3 (*.f64 x x)))
(/.f64 (.f64 (.f64 y (*.f64 x x)) 6) 2)
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 (.f64 y x) (*.f64 3 x))
(.f64 y (.f64 3 (*.f64 x x)))
(/.f64 (neg.f64 (.f64 (.f64 y (*.f64 x x)) 6)) -2)
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 (.f64 y x) (*.f64 3 x))
(.f64 y (.f64 3 (*.f64 x x)))
(pow.f64 (.f64 3 (.f64 y (*.f64 x x))) 1)
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 (.f64 y x) (*.f64 3 x))
(.f64 y (.f64 3 (*.f64 x x)))
(neg.f64 (neg.f64 (.f64 3 (.f64 y (*.f64 x x)))))
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 (.f64 y x) (*.f64 3 x))
(.f64 y (.f64 3 (*.f64 x x)))
(+.f64 (.f64 x (.f64 3 y)) 0)
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(+.f64 0 (.f64 x (.f64 3 y)))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(-.f64 (.f64 x (.f64 3 y)) 0)
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(-.f64 0 (neg.f64 (.f64 x (.f64 3 y))))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(/.f64 (.f64 x (.f64 3 y)) 1)
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(/.f64 (.f64 x (.f64 3 y)) (/.f64 (.f64 x (.f64 y 6)) (.f64 x (.f64 y 6))))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(/.f64 (.f64 x (.f64 y 6)) 2)
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(/.f64 (neg.f64 (.f64 x (.f64 y 6))) -2)
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(pow.f64 (.f64 x (.f64 3 y)) 1)
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))
(neg.f64 (neg.f64 (.f64 x (.f64 3 y))))
(.f64 3 (.f64 y x))
(.f64 y (.f64 3 x))

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 3 (.f64 x x))
✓	6.8b	(.f64 (.f64 3 (*.f64 x x)) y)

Compiler

Compiled 20 to 9 computations (55% saved)

series1.0ms (0%)

Counts

2 → 36

Calls

9 calls:

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

rewrite185.0ms (3.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1010×	`rational_best.json-simplify-57`
968×	`rational_best.json-simplify-44`
744×	`rational_best.json-simplify-78`
508×	`rational_best.json-5`
506×	`rational_best.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	32
1	71	32
2	248	32
3	1062	32
4	5436	32

Stop Event

1×	node limit

Counts

2 → 20

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 3 (*.f64 x (*.f64 x y))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 3 (*.f64 x (*.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 3 (*.f64 x (*.f64 x y))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 3 (*.f64 x (*.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 3 (*.f64 x (*.f64 x y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 3 (*.f64 x (*.f64 x y))) (/.f64 (*.f64 x (*.f64 x (*.f64 y 6))) (*.f64 x (*.f64 x (*.f64 y 6)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 x (*.f64 y 6))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 x (*.f64 x (*.f64 y 6)))) -2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 3 (*.f64 x (*.f64 x y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 3 (*.f64 x (*.f64 x y)))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 3 (*.f64 x x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 3 (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 3 (*.f64 x x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 3 (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 3 (*.f64 x x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 3 (*.f64 x x)) (/.f64 (*.f64 x (*.f64 x 6)) (*.f64 x (*.f64 x 6))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 x 6)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 x (*.f64 x 6))) -2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 3 (*.f64 x x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 3 (*.f64 x x))))))))

simplify439.0ms (7.3%)

Algorithm

1×	egg-herbie

Rules

1600×	`rational_best.json-simplify-80`
1342×	`rational_best.json-simplify-47`
1264×	`rational_best.json-simplify-2`
954×	`rational_best.json-simplify-82`
932×	`rational_best.json-simplify-74`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	51	932
1	99	932
2	185	932
3	407	932
4	1412	932
5	3288	932
6	4623	932
7	6541	932
8	7467	932
9	7870	932

Stop Event

1×	node limit

Counts

56 → 27

Calls

Call 1

Inputs
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(+.f64 (.f64 3 (.f64 x (*.f64 x y))) 0)
(+.f64 0 (.f64 3 (.f64 x (*.f64 x y))))
(-.f64 (.f64 3 (.f64 x (*.f64 x y))) 0)
(-.f64 0 (neg.f64 (.f64 3 (.f64 x (*.f64 x y)))))
(/.f64 (.f64 3 (.f64 x (*.f64 x y))) 1)
(/.f64 (.f64 3 (.f64 x (.f64 x y))) (/.f64 (.f64 x (.f64 x (.f64 y 6))) (.f64 x (.f64 x (*.f64 y 6)))))
(/.f64 (.f64 x (.f64 x (*.f64 y 6))) 2)
(/.f64 (neg.f64 (.f64 x (.f64 x (*.f64 y 6)))) -2)
(pow.f64 (.f64 3 (.f64 x (*.f64 x y))) 1)
(neg.f64 (neg.f64 (.f64 3 (.f64 x (*.f64 x y)))))
(+.f64 (.f64 3 (.f64 x x)) 0)
(+.f64 0 (.f64 3 (.f64 x x)))
(-.f64 (.f64 3 (.f64 x x)) 0)
(-.f64 0 (neg.f64 (.f64 3 (.f64 x x))))
(/.f64 (.f64 3 (.f64 x x)) 1)
(/.f64 (.f64 3 (.f64 x x)) (/.f64 (.f64 x (.f64 x 6)) (.f64 x (.f64 x 6))))
(/.f64 (.f64 x (.f64 x 6)) 2)
(/.f64 (neg.f64 (.f64 x (.f64 x 6))) -2)
(pow.f64 (.f64 3 (.f64 x x)) 1)
(neg.f64 (neg.f64 (.f64 3 (.f64 x x))))

Outputs
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(*.f64 3 (pow.f64 x 2))
(+.f64 (.f64 3 (.f64 x (*.f64 x y))) 0)
(.f64 3 (.f64 x (*.f64 y x)))
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 (.f64 y x) (*.f64 3 x))
(+.f64 0 (.f64 3 (.f64 x (*.f64 x y))))
(.f64 3 (.f64 x (*.f64 y x)))
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 (.f64 y x) (*.f64 3 x))
(-.f64 (.f64 3 (.f64 x (*.f64 x y))) 0)
(.f64 3 (.f64 x (*.f64 y x)))
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 (.f64 y x) (*.f64 3 x))
(-.f64 0 (neg.f64 (.f64 3 (.f64 x (*.f64 x y)))))
(.f64 3 (.f64 x (*.f64 y x)))
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 (.f64 y x) (*.f64 3 x))
(/.f64 (.f64 3 (.f64 x (*.f64 x y))) 1)
(.f64 3 (.f64 x (*.f64 y x)))
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 (.f64 y x) (*.f64 3 x))
(/.f64 (.f64 3 (.f64 x (.f64 x y))) (/.f64 (.f64 x (.f64 x (.f64 y 6))) (.f64 x (.f64 x (*.f64 y 6)))))
(.f64 3 (.f64 x (*.f64 y x)))
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 (.f64 y x) (*.f64 3 x))
(/.f64 (.f64 x (.f64 x (*.f64 y 6))) 2)
(.f64 3 (.f64 x (*.f64 y x)))
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 (.f64 y x) (*.f64 3 x))
(/.f64 (neg.f64 (.f64 x (.f64 x (*.f64 y 6)))) -2)
(.f64 3 (.f64 x (*.f64 y x)))
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 (.f64 y x) (*.f64 3 x))
(pow.f64 (.f64 3 (.f64 x (*.f64 x y))) 1)
(.f64 3 (.f64 x (*.f64 y x)))
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 (.f64 y x) (*.f64 3 x))
(neg.f64 (neg.f64 (.f64 3 (.f64 x (*.f64 x y)))))
(.f64 3 (.f64 x (*.f64 y x)))
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 (.f64 y x) (*.f64 3 x))
(+.f64 (.f64 3 (.f64 x x)) 0)
(.f64 3 (.f64 x x))
(+.f64 0 (.f64 3 (.f64 x x)))
(.f64 3 (.f64 x x))
(-.f64 (.f64 3 (.f64 x x)) 0)
(.f64 3 (.f64 x x))
(-.f64 0 (neg.f64 (.f64 3 (.f64 x x))))
(.f64 3 (.f64 x x))
(/.f64 (.f64 3 (.f64 x x)) 1)
(.f64 3 (.f64 x x))
(/.f64 (.f64 3 (.f64 x x)) (/.f64 (.f64 x (.f64 x 6)) (.f64 x (.f64 x 6))))
(.f64 3 (.f64 x x))
(/.f64 (.f64 x (.f64 x 6)) 2)
(.f64 3 (.f64 x x))
(/.f64 (neg.f64 (.f64 x (.f64 x 6))) -2)
(.f64 3 (.f64 x x))
(pow.f64 (.f64 3 (.f64 x x)) 1)
(.f64 3 (.f64 x x))
(neg.f64 (neg.f64 (.f64 3 (.f64 x x))))
(.f64 3 (.f64 x x))

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (.f64 x 3) (*.f64 y x))

Compiler

Compiled 18 to 9 computations (50% saved)

series0.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite92.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

952×	`rational_best.json-simplify-44`
942×	`rational_best.json-simplify-57`
898×	`rational_best.json-simplify-82`
596×	`rational_best.json-simplify-80`
518×	`rational_best.json-simplify-43`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	70	19
2	238	19
3	1029	19
4	4893	19

Stop Event

1×	node limit

Counts

1 → 10

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (*.f64 3 (*.f64 x y))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 x (*.f64 3 (*.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 x (*.f64 3 (*.f64 x y))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 x (*.f64 3 (*.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 3 (*.f64 x y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 3 (*.f64 x y))) (/.f64 (*.f64 x (*.f64 3 (*.f64 x y))) (*.f64 x (*.f64 3 (*.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 y (*.f64 x 6))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 x (*.f64 y (*.f64 x 6)))) -2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (*.f64 3 (*.f64 x y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 x (*.f64 3 (*.f64 x y)))))))))

simplify267.0ms (4.4%)

Algorithm

1×	egg-herbie

Rules

1636×	`rational_best.json-simplify-80`
1612×	`rational_best.json-simplify-47`
1580×	`rational_best.json-simplify-82`
1496×	`rational_best.json-simplify-78`
656×	`rational_best.json-simplify-44`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	646
1	66	646
2	133	646
3	343	646
4	1710	646
5	4333	646
6	6448	646

Stop Event

1×	node limit

Counts

34 → 15

Calls

Call 1

Inputs
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(+.f64 (.f64 x (.f64 3 (*.f64 x y))) 0)
(+.f64 0 (.f64 x (.f64 3 (*.f64 x y))))
(-.f64 (.f64 x (.f64 3 (*.f64 x y))) 0)
(-.f64 0 (neg.f64 (.f64 x (.f64 3 (*.f64 x y)))))
(/.f64 (.f64 x (.f64 3 (*.f64 x y))) 1)
(/.f64 (.f64 x (.f64 3 (.f64 x y))) (/.f64 (.f64 x (.f64 3 (.f64 x y))) (.f64 x (.f64 3 (*.f64 x y)))))
(/.f64 (.f64 x (.f64 y (*.f64 x 6))) 2)
(/.f64 (neg.f64 (.f64 x (.f64 y (*.f64 x 6)))) -2)
(pow.f64 (.f64 x (.f64 3 (*.f64 x y))) 1)
(neg.f64 (neg.f64 (.f64 x (.f64 3 (*.f64 x y)))))

Outputs
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 3 (pow.f64 x 2)))
(+.f64 (.f64 x (.f64 3 (*.f64 x y))) 0)
(.f64 x (.f64 3 (*.f64 y x)))
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 (.f64 y x) (*.f64 3 x))
(+.f64 0 (.f64 x (.f64 3 (*.f64 x y))))
(.f64 x (.f64 3 (*.f64 y x)))
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 (.f64 y x) (*.f64 3 x))
(-.f64 (.f64 x (.f64 3 (*.f64 x y))) 0)
(.f64 x (.f64 3 (*.f64 y x)))
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 (.f64 y x) (*.f64 3 x))
(-.f64 0 (neg.f64 (.f64 x (.f64 3 (*.f64 x y)))))
(.f64 x (.f64 3 (*.f64 y x)))
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 (.f64 y x) (*.f64 3 x))
(/.f64 (.f64 x (.f64 3 (*.f64 x y))) 1)
(.f64 x (.f64 3 (*.f64 y x)))
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 (.f64 y x) (*.f64 3 x))
(/.f64 (.f64 x (.f64 3 (.f64 x y))) (/.f64 (.f64 x (.f64 3 (.f64 x y))) (.f64 x (.f64 3 (*.f64 x y)))))
(.f64 x (.f64 3 (*.f64 y x)))
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 (.f64 y x) (*.f64 3 x))
(/.f64 (.f64 x (.f64 y (*.f64 x 6))) 2)
(.f64 x (.f64 3 (*.f64 y x)))
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 (.f64 y x) (*.f64 3 x))
(/.f64 (neg.f64 (.f64 x (.f64 y (*.f64 x 6)))) -2)
(.f64 x (.f64 3 (*.f64 y x)))
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 (.f64 y x) (*.f64 3 x))
(pow.f64 (.f64 x (.f64 3 (*.f64 x y))) 1)
(.f64 x (.f64 3 (*.f64 y x)))
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 (.f64 y x) (*.f64 3 x))
(neg.f64 (neg.f64 (.f64 x (.f64 3 (*.f64 x y)))))
(.f64 x (.f64 3 (*.f64 y x)))
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 (.f64 y x) (*.f64 3 x))

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	6.8b	(.f64 (.f64 x x) (*.f64 3 y))

Compiler

Compiled 18 to 9 computations (50% saved)

series0.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite309.0ms (5.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1062×	`rational_best.json-simplify-57`
982×	`rational_best.json-simplify-44`
948×	`rational_best.json-simplify-54`
552×	`rational_best.json-5`
550×	`rational_best.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	71	19
2	248	19
3	1090	19
4	6501	19

Stop Event

1×	node limit

Counts

1 → 9

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 x x) (*.f64 3 y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (*.f64 x x) (*.f64 3 y)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (*.f64 x x) (*.f64 3 y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 (*.f64 x x) (*.f64 3 y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 x x) (*.f64 3 y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 x x) (*.f64 3 y)) (/.f64 (*.f64 (*.f64 x x) (*.f64 3 y)) (*.f64 (*.f64 x x) (*.f64 3 y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 x (*.f64 y 6))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (*.f64 x x) (*.f64 3 y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 (*.f64 x x) (*.f64 3 y))))))))

simplify169.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

1874×	`rational_best.json-simplify-80`
1780×	`rational_best.json-simplify-78`
1608×	`rational_best.json-simplify-47`
1052×	`rational_best.json-simplify-132`
856×	`rational_best.json-simplify-76`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	627
1	56	627
2	122	627
3	348	627
4	2340	627
5	6150	627

Stop Event

1×	node limit

Counts

33 → 15

Calls

Call 1

Inputs
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 3 (.f64 y (pow.f64 x 2)))
(+.f64 (.f64 (.f64 x x) (*.f64 3 y)) 0)
(+.f64 0 (.f64 (.f64 x x) (*.f64 3 y)))
(-.f64 (.f64 (.f64 x x) (*.f64 3 y)) 0)
(-.f64 0 (neg.f64 (.f64 (.f64 x x) (*.f64 3 y))))
(/.f64 (.f64 (.f64 x x) (*.f64 3 y)) 1)
(/.f64 (.f64 (.f64 x x) (.f64 3 y)) (/.f64 (.f64 (.f64 x x) (.f64 3 y)) (.f64 (.f64 x x) (*.f64 3 y))))
(/.f64 (.f64 x (.f64 x (*.f64 y 6))) 2)
(pow.f64 (.f64 (.f64 x x) (*.f64 3 y)) 1)
(neg.f64 (neg.f64 (.f64 (.f64 x x) (*.f64 3 y))))

Outputs
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(.f64 3 (.f64 y (pow.f64 x 2)))
(.f64 (pow.f64 x 2) (.f64 3 y))
(+.f64 (.f64 (.f64 x x) (*.f64 3 y)) 0)
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 3 y))
(.f64 y (.f64 3 (*.f64 x x)))
(+.f64 0 (.f64 (.f64 x x) (*.f64 3 y)))
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 3 y))
(.f64 y (.f64 3 (*.f64 x x)))
(-.f64 (.f64 (.f64 x x) (*.f64 3 y)) 0)
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 3 y))
(.f64 y (.f64 3 (*.f64 x x)))
(-.f64 0 (neg.f64 (.f64 (.f64 x x) (*.f64 3 y))))
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 3 y))
(.f64 y (.f64 3 (*.f64 x x)))
(/.f64 (.f64 (.f64 x x) (*.f64 3 y)) 1)
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 3 y))
(.f64 y (.f64 3 (*.f64 x x)))
(/.f64 (.f64 (.f64 x x) (.f64 3 y)) (/.f64 (.f64 (.f64 x x) (.f64 3 y)) (.f64 (.f64 x x) (*.f64 3 y))))
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 3 y))
(.f64 y (.f64 3 (*.f64 x x)))
(/.f64 (.f64 x (.f64 x (*.f64 y 6))) 2)
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 3 y))
(.f64 y (.f64 3 (*.f64 x x)))
(pow.f64 (.f64 (.f64 x x) (*.f64 3 y)) 1)
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 3 y))
(.f64 y (.f64 3 (*.f64 x x)))
(neg.f64 (neg.f64 (.f64 (.f64 x x) (*.f64 3 y))))
(.f64 3 (.f64 (*.f64 x x) y))
(.f64 3 (.f64 y (*.f64 x x)))
(.f64 (.f64 x x) (*.f64 3 y))
(.f64 y (.f64 3 (*.f64 x x)))

eval14.0ms (0.2%)

Compiler: Compiled 795 to 438 computations (44.9% saved)

prune14.0ms (0.2%)

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	84	0	84
Fresh	0	0	0
Picked	0	1	1
Done	0	5	5
Total	84	6	90

Error

0.0b

Counts

90 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	7.1b	(.f64 (.f64 (*.f64 x 3) x) y)
✓	7.1b	(.f64 (.f64 x x) (*.f64 3 y))
✓	0.3b	(.f64 (.f64 x 3) (*.f64 y x))
✓	7.1b	(.f64 (.f64 3 (*.f64 x x)) y)
✓	0.3b	(.f64 x (.f64 x (*.f64 3 y)))
✓	0.3b	(.f64 3 (.f64 x (*.f64 x y)))

Compiler

Compiled 54 to 36 computations (33.3% saved)

regimes103.0ms (1.7%)

Counts

8 → 1

Calls

Call 1

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

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

Calls

4 calls:

86.0ms	(.f64 (.f64 (*.f64 x 3) x) y)
6.0ms	x
5.0ms	y
4.0ms	(.f64 (.f64 x 3) x)

Results

Error	Segments	Branch
0.3b	1	`x`
0.3b	1	`y`
0.3b	1	`(.f64 (.f64 (*.f64 x 3) x) y)`
0.3b	1	`(.f64 (.f64 x 3) x)`

Compiler

Compiled 80 to 47 computations (41.3% saved)

regimes7.0ms (0.1%)

Accuracy

Total -6.9b remaining (-2470.7%)

Threshold costs -6.9b (-2470.7%)

Counts

2 → 1

Calls

Call 1

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

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

Calls

2 calls:

3.0ms	x
3.0ms	y

Results

Error	Segments	Branch
0.3b	1	`x`
0.3b	1	`y`

Compiler

Compiled 22 to 14 computations (36.4% saved)

simplify74.0ms (1.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	38

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 18 to 12 computations (33.3% saved)

soundness504.0ms (8.3%)

Algorithm

1×	egg-herbie

Rules

1830×	`rational_best.json-simplify-80`
1542×	`rational_best.json-simplify-78`
742×	`rational_best.json-simplify-82`
722×	`rational_best.json-simplify-74`
714×	`rational_best.json-simplify-44`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	50	932
1	97	932
2	188	932
3	464	932
4	2014	932
5	3705	932
6	6063	932
7	7584	932
8	7987	932

Stop Event

1×	node limit

Compiler

Compiled 18 to 12 computations (33.3% saved)

end16.0ms (0.3%)

Compiler: Compiled 16 to 10 computations (37.5% saved)

Details

analyze49.0ms (0.8%)

sample1.4s (23.5%)

preprocess7.0ms (0.1%)

simplify470.0ms (7.8%)

eval1.0ms (0%)

prune2.0ms (0%)

localize6.0ms (0.1%)

series3.0ms (0.1%)

rewrite138.0ms (2.3%)

simplify205.0ms (3.4%)

localize6.0ms (0.1%)

series1.0ms (0%)

rewrite155.0ms (2.6%)

simplify148.0ms (2.4%)

localize7.0ms (0.1%)

series3.0ms (0%)

rewrite224.0ms (3.7%)

simplify251.0ms (4.1%)

localize9.0ms (0.1%)

series1.0ms (0%)

rewrite96.0ms (1.6%)

simplify363.0ms (6%)

eval22.0ms (0.4%)

prune16.0ms (0.3%)

localize7.0ms (0.1%)

series1.0ms (0%)

rewrite96.0ms (1.6%)

simplify134.0ms (2.2%)

localize8.0ms (0.1%)

series1.0ms (0%)

rewrite185.0ms (3.1%)

simplify439.0ms (7.3%)

localize6.0ms (0.1%)

series0.0ms (0%)

rewrite92.0ms (1.5%)

simplify267.0ms (4.4%)

localize6.0ms (0.1%)

series0.0ms (0%)

rewrite309.0ms (5.1%)

simplify169.0ms (2.8%)

eval14.0ms (0.2%)

prune14.0ms (0.2%)

regimes103.0ms (1.7%)

regimes7.0ms (0.1%)

simplify74.0ms (1.2%)

soundness504.0ms (8.3%)

end16.0ms (0.3%)

Profiling