Details

analyze0.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	0%	100%	0%	0%	0%	0
100%	0%	0%	100%	0%	0%	0%	1

Compiler

Compiled 24 to 18 computations (25% saved)

sample1.2s (45.5%)

Results

1.2s

8256×

body

256

valid

Bogosity

preprocess115.0ms (4.3%)

Algorithm

2×	egg-herbie

Rules

1156×	`rational.json-simplify-2`
924×	`rational.json-simplify-44`
894×	`rational.json-simplify-37`
818×	`rational.json-simplify-39`
816×	`rational.json-simplify-47`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	86
1	32	86
2	44	86
3	84	86
4	391	86
5	3973	86
6	6223	86
7	7316	86
0	2	2

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (.f64 2 (*.f64 y y)))
(+.f64 (-.f64 (.f64 9 (pow.f64 y 4)) (pow.f64 x 4)) (.f64 2 (*.f64 x x)))

Outputs
(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (.f64 2 (*.f64 y y)))
(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (.f64 y (*.f64 y 2)))
(+.f64 (-.f64 (.f64 9 (pow.f64 y 4)) (pow.f64 x 4)) (.f64 2 (*.f64 x x)))
(+.f64 (-.f64 (.f64 9 (pow.f64 y 4)) (pow.f64 x 4)) (.f64 x (*.f64 x 2)))

Compiler

Compiled 19 to 15 computations (21.1% saved)

simplify142.0ms (5.4%)

Algorithm

1×	egg-herbie

Rules

1814×	`rational.json-simplify-35`
1368×	`rational.json-simplify-53`
992×	`rational.json-simplify-39`
844×	`rational.json-simplify-59`
618×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	43
1	21	43
2	27	43
3	47	43
4	201	43
5	1993	43
6	6062	43
7	7927	43

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (.f64 2 (*.f64 y y)))

Outputs
(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (.f64 2 (*.f64 y y)))
(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (.f64 y (*.f64 y 2)))

eval1.0ms (0%)

Compiler: Compiled 32 to 24 computations (25% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

52.0b

Counts

3 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	52.0b	(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (.f64 y (*.f64 y 2)))

Compiler

Compiled 17 to 13 computations (23.5% saved)

localize19.0ms (0.7%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	23.0b	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

Compiler

Compiled 50 to 36 computations (28% saved)

series3.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite171.0ms (6.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1414×	`rational.json-simplify-35`
1402×	`exponential.json-3`
1402×	`rational.json-1`
1402×	`rational.json-2`
1402×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	25
1	63	25
2	128	25
3	259	25
4	467	25
5	1066	25
6	2874	25
7	5236	25
8	6676	25

Stop Event

1×	node limit

Counts

1 → 49

Calls

Call 1

Inputs
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

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

Outputs

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

simplify641.0ms (24.1%)

Algorithm

1×	egg-herbie

Rules

3516×	`rational.json-simplify-48`
2278×	`rational.json-simplify-35`
1568×	`rational.json-simplify-1`
1442×	`rational.json-simplify-2`
954×	`rational.json-simplify-51`

Iterations

Useful iterations: 12 (0.0ms)

Iter	Nodes	Cost
0	131	2277
1	245	2277
2	391	2277
3	837	2277
4	2454	2277
5	4075	2277
6	4570	2277
7	4634	2277
8	4701	2277
9	4793	2277
10	4923	2277
11	5416	2277
12	5895	2157
13	6567	2157
14	6783	2157
15	7040	2157
16	7205	2157
17	7341	2157
18	7473	2157
19	7604	2157
20	7606	2157
21	7606	2157
22	7737	2157
23	7868	2157

Stop Event

1×	node limit

Counts

73 → 55

Calls

Call 1

Inputs
(*.f64 -1 (pow.f64 y 4))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(*.f64 9 (pow.f64 x 4))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(*.f64 9 (pow.f64 x 4))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(*.f64 9 (pow.f64 x 4))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(*.f64 -1 (pow.f64 y 4))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(*.f64 -1 (pow.f64 y 4))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(+.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)
(+.f64 0 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))
(+.f64 1 (+.f64 (*.f64 9 (pow.f64 x 4)) (-.f64 -1 (pow.f64 y 4))))
(+.f64 (neg.f64 (pow.f64 y 4)) (*.f64 9 (pow.f64 x 4)))
(+.f64 -1 (+.f64 (*.f64 9 (pow.f64 x 4)) (-.f64 1 (pow.f64 y 4))))
(+.f64 (+.f64 (*.f64 9 (pow.f64 x 4)) (-.f64 1 (pow.f64 y 4))) -1)
(+.f64 (.f64 (pow.f64 x 4) 9/2) (-.f64 (.f64 (pow.f64 x 4) 9/2) (pow.f64 y 4)))
(+.f64 (-.f64 (.f64 (pow.f64 x 4) 9/2) (.f64 (pow.f64 y 4) 1/2)) (-.f64 (.f64 (pow.f64 x 4) 9/2) (.f64 (pow.f64 y 4) 1/2)))
(+.f64 (-.f64 1 (pow.f64 y 4)) (+.f64 (*.f64 9 (pow.f64 x 4)) -1))
(+.f64 -2 (-.f64 (*.f64 9 (pow.f64 x 4)) (-.f64 (pow.f64 y 4) 2)))
(+.f64 (+.f64 (*.f64 9 (pow.f64 x 4)) 1) (-.f64 -1 (pow.f64 y 4)))
(+.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (-.f64 (pow.f64 y 4) 2)) -2)
(+.f64 (+.f64 (-.f64 (.f64 (pow.f64 x 4) 9/2) (.f64 (pow.f64 y 4) 1/2)) -1) (-.f64 (.f64 (pow.f64 x 4) 9/2) (+.f64 (.f64 (pow.f64 y 4) 1/2) -1)))
(.f64 4 (-.f64 (.f64 (pow.f64 x 4) 9/4) (*.f64 (pow.f64 y 4) 1/4)))
(.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 1)
(.f64 1 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))
(.f64 2 (-.f64 (.f64 (pow.f64 x 4) 9/2) (*.f64 (pow.f64 y 4) 1/2)))
(.f64 (-.f64 (.f64 (pow.f64 x 4) 18) (*.f64 (pow.f64 y 4) 2)) 1/2)
(.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9)) -1)
(.f64 (-.f64 (.f64 (pow.f64 x 4) 36) (*.f64 4 (pow.f64 y 4))) 1/4)
(.f64 -1 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9)))
(.f64 (-.f64 (.f64 (pow.f64 y 4) 2) (*.f64 (pow.f64 x 4) 18)) -1/2)
(.f64 (.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 8) 1/8)
(.f64 1/2 (-.f64 (.f64 (pow.f64 x 4) 18) (*.f64 (pow.f64 y 4) 2)))
(.f64 (-.f64 (.f64 (pow.f64 x 4) 9/2) (*.f64 (pow.f64 y 4) 1/2)) 2)
(.f64 16 (-.f64 (.f64 9 (.f64 (pow.f64 x 4) 1/16)) (pow.f64 (.f64 y 1/2) 4)))
(.f64 -2 (-.f64 (.f64 (pow.f64 y 4) 1/2) (*.f64 (pow.f64 x 4) 9/2)))
(.f64 (-.f64 (.f64 (pow.f64 y 4) 1/2) (*.f64 (pow.f64 x 4) 9/2)) -2)
(.f64 1/4 (-.f64 (.f64 (pow.f64 x 4) 36) (*.f64 4 (pow.f64 y 4))))
(.f64 (-.f64 (.f64 (pow.f64 x 4) 9/4) (*.f64 (pow.f64 y 4) 1/4)) 4)
(.f64 1/8 (.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 8))
(.f64 1/8 (-.f64 (.f64 (pow.f64 x 4) 72) (*.f64 (pow.f64 y 4) 8)))
(.f64 -1/2 (-.f64 (.f64 (pow.f64 y 4) 2) (*.f64 (pow.f64 x 4) 18)))
(/.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 1)
(/.f64 (-.f64 (.f64 (pow.f64 x 4) 18) (.f64 (pow.f64 y 4) 2)) 2)
(/.f64 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -9)) -1)
(/.f64 (-.f64 (.f64 (pow.f64 x 4) 36) (.f64 4 (pow.f64 y 4))) 4)
(/.f64 (-.f64 (.f64 (pow.f64 y 4) 2) (.f64 (pow.f64 x 4) 18)) -2)
(/.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 8) 8)
(/.f64 (-.f64 (.f64 4 (pow.f64 y 4)) (.f64 (pow.f64 x 4) 36)) -4)
(/.f64 (.f64 2 (.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 8))) 32)
(/.f64 (.f64 2 (-.f64 (.f64 4 (pow.f64 y 4)) (*.f64 (pow.f64 x 4) 36))) -8)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 8)))) 64)
(/.f64 (.f64 2 (.f64 2 (-.f64 (.f64 4 (pow.f64 y 4)) (.f64 (pow.f64 x 4) 36)))) -16)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 8)))) (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 8))))) 128)
(pow.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 1)
(neg.f64 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -9)))

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

eval19.0ms (0.7%)

Compiler: Compiled 1059 to 835 computations (21.2% saved)

prune9.0ms (0.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	52	3	55
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	52	4	56

Error

Counts

56 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	52.0b	(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (.f64 y (*.f64 y 2)))
▶	0b	(+.f64 (+.f64 (+.f64 (.f64 9 (pow.f64 x 4)) (-.f64 1 (pow.f64 y 4))) -1) (.f64 y (*.f64 y 2)))
▶	57.8b	(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 y (*.f64 y 2)))
▶	63.0b	(+.f64 (neg.f64 (pow.f64 y 4)) (.f64 y (.f64 y 2)))

Compiler

Compiled 63 to 49 computations (22.2% saved)

localize13.0ms (0.5%)

Compiler: Compiled 30 to 21 computations (30% saved)

localize13.0ms (0.5%)

Compiler: Compiled 34 to 24 computations (29.4% saved)

localize30.0ms (1.1%)

Compiler: Compiled 76 to 59 computations (22.4% saved)

eval0.0ms (0%)

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

prune2.0ms (0.1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

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

Error

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	52.0b	(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (.f64 y (*.f64 y 2)))
✓	0b	(+.f64 (+.f64 (+.f64 (.f64 9 (pow.f64 x 4)) (-.f64 1 (pow.f64 y 4))) -1) (.f64 y (*.f64 y 2)))
✓	57.8b	(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 y (*.f64 y 2)))
✓	63.0b	(+.f64 (neg.f64 (pow.f64 y 4)) (.f64 y (.f64 y 2)))

Compiler

Compiled 63 to 49 computations (22.2% saved)

regimes11.0ms (0.4%)

Counts

5 → 1

Calls

Call 1

Inputs
(+.f64 (neg.f64 (pow.f64 y 4)) (.f64 y (.f64 y 2)))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 y (*.f64 y 2)))
(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (.f64 2 (*.f64 y y)))
(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (.f64 y (*.f64 y 2)))
(+.f64 (+.f64 (+.f64 (.f64 9 (pow.f64 x 4)) (-.f64 1 (pow.f64 y 4))) -1) (.f64 y (*.f64 y 2)))

Outputs
(+.f64 (+.f64 (+.f64 (.f64 9 (pow.f64 x 4)) (-.f64 1 (pow.f64 y 4))) -1) (.f64 y (*.f64 y 2)))

Calls

5 calls:

2.0ms	(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (.f64 2 (*.f64 y y)))
2.0ms	(pow.f64 x 4)
2.0ms	(*.f64 9 (pow.f64 x 4))
2.0ms	y
2.0ms	x

Results

Error	Segments	Branch
0b	1	`x`
0b	1	`y`
0b	1	`(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (.f64 2 (*.f64 y y)))`
0b	1	`(*.f64 9 (pow.f64 x 4))`
0b	1	`(pow.f64 x 4)`

Compiler

Compiled 107 to 81 computations (24.3% saved)

regimes12.0ms (0.4%)

Counts

4 → 1

Calls

Call 1

Inputs
(+.f64 (neg.f64 (pow.f64 y 4)) (.f64 y (.f64 y 2)))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 y (*.f64 y 2)))
(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (.f64 2 (*.f64 y y)))
(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (.f64 y (*.f64 y 2)))

Outputs
(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (.f64 2 (*.f64 y y)))

Calls

5 calls:

2.0ms	(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (.f64 2 (*.f64 y y)))
2.0ms	(*.f64 9 (pow.f64 x 4))
2.0ms	(pow.f64 x 4)
2.0ms	y
2.0ms	x

Results

Error	Segments	Branch
52.0b	1	`x`
52.0b	1	`y`
52.0b	1	`(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (.f64 2 (*.f64 y y)))`
52.0b	1	`(*.f64 9 (pow.f64 x 4))`
52.0b	1	`(pow.f64 x 4)`

Compiler

Compiled 88 to 66 computations (25% saved)

regimes9.0ms (0.3%)

Accuracy

Total -5.2b remaining (-9%)

Threshold costs -5.2b (-9%)

Counts

2 → 1

Calls

Call 1

Inputs
(+.f64 (neg.f64 (pow.f64 y 4)) (.f64 y (.f64 y 2)))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 y (*.f64 y 2)))

Outputs
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 y (*.f64 y 2)))

Calls

4 calls:

3.0ms	(*.f64 9 (pow.f64 x 4))
2.0ms	(pow.f64 x 4)
1.0ms	x
1.0ms	y

Results

Error	Segments	Branch
57.8b	1	`x`
57.8b	1	`y`
57.8b	1	`(*.f64 9 (pow.f64 x 4))`
57.8b	1	`(pow.f64 x 4)`

Compiler

Compiled 41 to 31 computations (24.4% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	158

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(+.f64 (+.f64 (+.f64 (.f64 9 (pow.f64 x 4)) (-.f64 1 (pow.f64 y 4))) -1) (.f64 y (*.f64 y 2)))
(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (.f64 2 (*.f64 y y)))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 y (*.f64 y 2)))
(+.f64 (neg.f64 (pow.f64 y 4)) (.f64 y (.f64 y 2)))

Outputs
(+.f64 (+.f64 (+.f64 (.f64 9 (pow.f64 x 4)) (-.f64 1 (pow.f64 y 4))) -1) (.f64 y (*.f64 y 2)))
(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (.f64 2 (*.f64 y y)))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 y (*.f64 y 2)))
(+.f64 (neg.f64 (pow.f64 y 4)) (.f64 y (.f64 y 2)))

Compiler

Compiled 63 to 49 computations (22.2% saved)

soundness198.0ms (7.4%)

Algorithm

1×	egg-herbie

Rules

1814×	`rational.json-simplify-35`
1368×	`rational.json-simplify-53`
992×	`rational.json-simplify-39`
844×	`rational.json-simplify-59`
618×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	43
1	21	43
2	27	43
3	47	43
4	201	43
5	1993	43
6	6062	43
7	7927	43

Stop Event

1×	node limit

Compiler

Compiled 32 to 24 computations (25% saved)

end38.0ms (1.4%)

Compiler: Compiled 57 to 43 computations (24.6% saved)

Details

analyze0.0ms (0%)

sample1.2s (45.5%)

preprocess115.0ms (4.3%)

simplify142.0ms (5.4%)

eval1.0ms (0%)

prune1.0ms (0%)

localize19.0ms (0.7%)

series3.0ms (0.1%)

rewrite171.0ms (6.4%)

simplify641.0ms (24.1%)

eval19.0ms (0.7%)

prune9.0ms (0.3%)

localize13.0ms (0.5%)

localize13.0ms (0.5%)

localize30.0ms (1.1%)

eval0.0ms (0%)

prune2.0ms (0.1%)

regimes11.0ms (0.4%)

regimes12.0ms (0.4%)

regimes9.0ms (0.3%)

simplify3.0ms (0.1%)

soundness198.0ms (7.4%)

end38.0ms (1.4%)

Profiling