Details

analyze523.0ms (8.6%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
0%	0%	99.8%	0.2%	0%	0%	0%	1
0%	0%	99.8%	0.2%	0%	0%	0%	2
0%	0%	99.8%	0.2%	0%	0%	0%	3
0%	0%	99.8%	0.2%	0%	0%	0%	4
0%	0%	99.8%	0.2%	0%	0%	0%	5
0%	0%	99.8%	0.2%	0%	0%	0%	6
0%	0%	99.8%	0.2%	0%	0%	0%	7
0%	0%	99.8%	0.2%	0%	0%	0%	8
6.3%	6.2%	93.6%	0.2%	0%	0%	0%	9
7%	6.2%	82.7%	0.2%	10.9%	0%	0%	10
10.7%	9.4%	78%	0.2%	12.5%	0%	0%	11
13.7%	10.9%	68.6%	0.2%	20.3%	0%	0%	12

Compiler

Compiled 18 to 12 computations (33.3% saved)

sample2.4s (39.7%)

Results

1.6s	8256×	body	256	valid
851.0ms	4693×	body	256	infinite

Bogosity

preprocess125.0ms (2.1%)

Algorithm

2×	egg-herbie

Rules

1550×	`rational.json-simplify-51`
1270×	`rational.json-simplify-46`
1160×	`rational.json-simplify-49`
1018×	`rational.json-simplify-1`
936×	`rational.json-simplify-19`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	35	259
1	51	259
2	94	259
3	193	259
4	787	259
5	4180	259
6	6735	259
7	7941	259
0	4	4

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1
2
3

Outputs
0
1
2
3

Call 2

Inputs
(-.f64 (.f64 x x) (.f64 (.f64 y 4) (-.f64 (.f64 z z) t)))
(-.f64 (.f64 y y) (.f64 (.f64 x 4) (-.f64 (.f64 z z) t)))
(-.f64 (.f64 z z) (.f64 (.f64 y 4) (-.f64 (.f64 x x) t)))
(-.f64 (.f64 t t) (.f64 (.f64 y 4) (-.f64 (.f64 z z) x)))
(-.f64 (.f64 x x) (.f64 (.f64 z 4) (-.f64 (.f64 y y) t)))
(-.f64 (.f64 x x) (.f64 (.f64 t 4) (-.f64 (.f64 z z) y)))
(-.f64 (.f64 x x) (.f64 (.f64 y 4) (-.f64 (.f64 t t) z)))

Outputs
(-.f64 (.f64 x x) (.f64 (.f64 y 4) (-.f64 (.f64 z z) t)))
(-.f64 (.f64 x x) (.f64 y (.f64 4 (-.f64 (.f64 z z) t))))
(-.f64 (.f64 y y) (.f64 (.f64 x 4) (-.f64 (.f64 z z) t)))
(-.f64 (.f64 y y) (.f64 (-.f64 (.f64 z z) t) (.f64 x 4)))
(-.f64 (.f64 y y) (.f64 4 (.f64 x (-.f64 (.f64 z z) t))))
(-.f64 (.f64 y y) (.f64 x (.f64 4 (-.f64 (.f64 z z) t))))
(-.f64 (.f64 z z) (.f64 (.f64 y 4) (-.f64 (.f64 x x) t)))
(-.f64 (.f64 z z) (.f64 y (.f64 4 (-.f64 (.f64 x x) t))))
(-.f64 (.f64 t t) (.f64 (.f64 y 4) (-.f64 (.f64 z z) x)))
(-.f64 (.f64 t t) (.f64 y (.f64 4 (-.f64 (.f64 z z) x))))
(-.f64 (.f64 x x) (.f64 (.f64 z 4) (-.f64 (.f64 y y) t)))
(-.f64 (.f64 x x) (.f64 (.f64 4 z) (-.f64 (.f64 y y) t)))
(-.f64 (.f64 x x) (.f64 z (.f64 4 (-.f64 (.f64 y y) t))))
(-.f64 (.f64 x x) (.f64 4 (.f64 z (-.f64 (.f64 y y) t))))
(-.f64 (.f64 x x) (.f64 (.f64 t 4) (-.f64 (.f64 z z) y)))
(-.f64 (.f64 x x) (.f64 (.f64 4 t) (-.f64 (.f64 z z) y)))
(-.f64 (.f64 x x) (.f64 4 (.f64 t (-.f64 (.f64 z z) y))))
(-.f64 (.f64 x x) (.f64 (.f64 y 4) (-.f64 (.f64 t t) z)))

Compiler

Compiled 21 to 15 computations (28.6% saved)

simplify141.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

1086×	`rational.json-simplify-2`
920×	`rational.json-simplify-44`
894×	`rational.json-simplify-37`
854×	`rational.json-simplify-39`
816×	`rational.json-simplify-47`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	37
1	18	37
2	30	37
3	70	37
4	367	37
5	3933	37
6	6245	37
7	7328	37
8	8000	37

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(-.f64 (.f64 x x) (.f64 (.f64 y 4) (-.f64 (.f64 z z) t)))

Outputs
(-.f64 (.f64 x x) (.f64 (.f64 y 4) (-.f64 (.f64 z z) t)))
(-.f64 (.f64 x x) (.f64 y (.f64 4 (-.f64 (.f64 z z) t))))

eval1.0ms (0%)

Compiler: Compiled 30 to 15 computations (50% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

4.8b

Counts

3 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	4.8b	(-.f64 (.f64 x x) (.f64 (.f64 y 4) (-.f64 (.f64 z z) t)))

Compiler

Compiled 17 to 11 computations (35.3% saved)

localize15.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (*.f64 z z) t)
✓	0.0b	(-.f64 (.f64 x x) (.f64 (.f64 y 4) (-.f64 (.f64 z z) t)))
✓	4.5b	(.f64 (.f64 y 4) (-.f64 (*.f64 z z) t))

Compiler

Compiled 45 to 17 computations (62.2% saved)

series7.0ms (0.1%)

Counts

3 → 108

Calls

27 calls:

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

rewrite85.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

2082×	`rational.json-1`
2082×	`rational.json-2`
1306×	`rational.json-simplify-35`
880×	`exponential.json-3`
880×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	75
1	85	75
2	187	75
3	505	75
4	2098	75
5	6822	75

Stop Event

1×	node limit

Counts

3 → 55

Calls

Call 1

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

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

Outputs

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

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

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

simplify136.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

1364×	`rational.json-simplify-35`
848×	`rational.json-simplify-54`
818×	`rational.json-simplify-2`
816×	`rational.json-simplify-61`
720×	`rational.json-simplify-1`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	130	4451
1	253	4451
2	617	4281
3	1668	4227
4	3942	4227
5	7224	4227

Stop Event

1×	node limit

Counts

163 → 107

Calls

Call 1

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

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

eval24.0ms (0.4%)

Compiler: Compiled 1533 to 745 computations (51.4% saved)

prune18.0ms (0.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	103	4	107
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	103	5	108

Error

3.8b

Counts

108 → 5

Alt Table

Click to see full alt table

Status	Error	Program
▶	39.6b	(pow.f64 x 2)
✓	4.8b	(-.f64 (.f64 x x) (.f64 (.f64 y 4) (-.f64 (.f64 z z) t)))
▶	14.9b	(-.f64 (.f64 x x) (.f64 y (*.f64 t -4)))
▶	36.2b	(.f64 t (.f64 4 y))
▶	36.2b	(.f64 4 (.f64 y t))

Compiler

Compiled 55 to 40 computations (27.3% saved)

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 4 (.f64 y t))

Compiler

Compiled 15 to 8 computations (46.7% saved)

series3.0ms (0.1%)

Counts

1 → 0

Calls

6 calls:

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

rewrite260.0ms (4.3%)

Algorithm

1×	batch-egg-rewrite

Rules

2666×	`rational.json-simplify-35`
2544×	`rational.json-simplify-2`
1106×	`exponential.json-3`
1106×	`rational.json-1`
1106×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	48	13
2	114	13
3	238	13
4	428	13
5	911	13
6	2068	13
7	3413	13
8	4118	13
9	4918	13
10	5995	13
11	6624	13
12	6624	13
13	7474	13
14	7682	13

Stop Event

1×	node limit

Counts

1 → 18

Calls

Call 1

Inputs
(.f64 4 (.f64 y t))

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

Outputs

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

simplify635.0ms (10.4%)

Algorithm

1×	egg-herbie

Rules

3020×	`rational.json-simplify-2`
2882×	`rational.json-simplify-35`
1624×	`rational.json-simplify-53`
1084×	`rational.json-simplify-1`
1044×	`exponential.json-simplify-26`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	53	450
1	143	342
2	293	342
3	666	342
4	1951	234
5	3818	234
6	4754	234
7	4988	234
8	5119	234
9	5243	234
10	5367	234
11	6210	234
12	6575	234
13	6832	234
14	7013	234
15	7112	234
16	7134	234
17	7136	234
18	7260	234
19	7384	234
20	7508	234
21	7632	234

Stop Event

1×	node limit

Counts

18 → 20

Calls

Call 1

Inputs
(+.f64 (.f64 y t) (.f64 y (*.f64 t 3)))
(+.f64 (.f64 4 (.f64 y t)) 0)
(+.f64 0 (.f64 4 (.f64 y t)))
(+.f64 (.f64 (.f64 y t) 2) (.f64 (.f64 y t) 2))
(+.f64 (.f64 y (.f64 t 3)) (*.f64 y t))
(-.f64 (.f64 4 (.f64 y t)) 0)
(/.f64 (.f64 4 (.f64 y t)) 1)
(/.f64 (.f64 y (.f64 t 8)) 2)
(/.f64 (.f64 y (.f64 t 16)) 4)
(/.f64 (.f64 y (.f64 2 (*.f64 t 16))) 8)
(/.f64 (.f64 2 (.f64 y (.f64 2 (.f64 t 16)))) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 y (.f64 2 (*.f64 t 16))))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 y (.f64 2 (.f64 t 16)))))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 y (.f64 2 (*.f64 t 16))))))) 128)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 y (.f64 2 (.f64 t 16)))))))) 256)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 y (.f64 2 (*.f64 t 16))))))))) 512)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 y (.f64 2 (.f64 t 16))))))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 y (.f64 2 (.f64 t 16)))))))))) 1024)
(pow.f64 (.f64 4 (.f64 y t)) 1)

Outputs
(+.f64 (.f64 y t) (.f64 y (*.f64 t 3)))
(.f64 y (+.f64 t (.f64 t 3)))
(.f64 y (.f64 t 4))
(+.f64 (.f64 4 (.f64 y t)) 0)
(+.f64 (.f64 y t) (.f64 y (*.f64 t 3)))
(.f64 y (+.f64 t (.f64 t 3)))
(.f64 y (.f64 t 4))
(+.f64 0 (.f64 4 (.f64 y t)))
(+.f64 (.f64 y t) (.f64 y (*.f64 t 3)))
(.f64 y (+.f64 t (.f64 t 3)))
(.f64 y (.f64 t 4))
(+.f64 (.f64 (.f64 y t) 2) (.f64 (.f64 y t) 2))
(+.f64 (.f64 y t) (.f64 y (*.f64 t 3)))
(.f64 y (+.f64 t (.f64 t 3)))
(.f64 y (.f64 t 4))
(+.f64 (.f64 y (.f64 t 3)) (*.f64 y t))
(+.f64 (.f64 y t) (.f64 y (*.f64 t 3)))
(.f64 y (+.f64 t (.f64 t 3)))
(.f64 y (.f64 t 4))
(-.f64 (.f64 4 (.f64 y t)) 0)
(+.f64 (.f64 y t) (.f64 y (*.f64 t 3)))
(.f64 y (+.f64 t (.f64 t 3)))
(.f64 y (.f64 t 4))
(/.f64 (.f64 4 (.f64 y t)) 1)
(+.f64 (.f64 y t) (.f64 y (*.f64 t 3)))
(.f64 y (+.f64 t (.f64 t 3)))
(.f64 y (.f64 t 4))
(/.f64 (.f64 y (.f64 t 8)) 2)
(+.f64 (.f64 y t) (.f64 y (*.f64 t 3)))
(.f64 y (+.f64 t (.f64 t 3)))
(.f64 y (.f64 t 4))
(/.f64 (.f64 y (.f64 t 16)) 4)
(+.f64 (.f64 y t) (.f64 y (*.f64 t 3)))
(.f64 y (+.f64 t (.f64 t 3)))
(.f64 y (.f64 t 4))
(/.f64 (.f64 y (.f64 2 (*.f64 t 16))) 8)
(+.f64 (.f64 y t) (.f64 y (*.f64 t 3)))
(.f64 y (+.f64 t (.f64 t 3)))
(.f64 y (.f64 t 4))
(/.f64 (.f64 2 (.f64 y (.f64 2 (.f64 t 16)))) 16)
(+.f64 (.f64 y t) (.f64 y (*.f64 t 3)))
(.f64 y (+.f64 t (.f64 t 3)))
(.f64 y (.f64 t 4))
(/.f64 (.f64 2 (.f64 2 (.f64 y (.f64 2 (*.f64 t 16))))) 32)
(+.f64 (.f64 y t) (.f64 y (*.f64 t 3)))
(.f64 y (+.f64 t (.f64 t 3)))
(.f64 y (.f64 t 4))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 y (.f64 2 (.f64 t 16)))))) 64)
(+.f64 (.f64 y t) (.f64 y (*.f64 t 3)))
(.f64 y (+.f64 t (.f64 t 3)))
(.f64 y (.f64 t 4))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 y (.f64 2 (*.f64 t 16))))))) 128)
(+.f64 (.f64 y t) (.f64 y (*.f64 t 3)))
(.f64 y (+.f64 t (.f64 t 3)))
(.f64 y (.f64 t 4))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 y (.f64 2 (.f64 t 16)))))))) 256)
(+.f64 (.f64 y t) (.f64 y (*.f64 t 3)))
(.f64 y (+.f64 t (.f64 t 3)))
(.f64 y (.f64 t 4))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 y (.f64 2 (*.f64 t 16))))))))) 512)
(+.f64 (.f64 y t) (.f64 y (*.f64 t 3)))
(.f64 y (+.f64 t (.f64 t 3)))
(.f64 y (.f64 t 4))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 y (.f64 2 (.f64 t 16))))))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 y (.f64 2 (.f64 t 16)))))))))) 1024)
(+.f64 (.f64 y t) (.f64 y (*.f64 t 3)))
(.f64 y (+.f64 t (.f64 t 3)))
(.f64 y (.f64 t 4))
(pow.f64 (.f64 4 (.f64 y t)) 1)
(+.f64 (.f64 y t) (.f64 y (*.f64 t 3)))
(.f64 y (+.f64 t (.f64 t 3)))
(.f64 y (.f64 t 4))

localize7.0ms (0.1%)

Compiler: Compiled 15 to 10 computations (33.3% saved)

localize10.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 28 to 15 computations (46.4% saved)

series1.0ms (0%)

Counts

1 → 36

Calls

9 calls:

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

rewrite67.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

2072×	`rational.json-simplify-35`
1184×	`rational.json-1`
1184×	`rational.json-2`
1184×	`rational.json-4`
1184×	`rational.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	25
1	68	25
2	159	25
3	385	25
4	1291	25
5	4161	25

Stop Event

1×	node limit

Counts

1 → 27

Calls

Call 1

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

Outputs

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

simplify115.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

1062×	`rational.json-simplify-51`
894×	`rational.json-simplify-1`
790×	`rational.json-simplify-2`
746×	`rational.json-simplify-61`
710×	`rational.json-simplify-59`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	66	1551
1	138	1551
2	282	1443
3	713	1443
4	2224	1443
5	5568	1443
6	7612	1443

Stop Event

1×	node limit

Counts

63 → 35

Calls

Call 1

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

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

localize4.0ms (0.1%)

Compiler: Compiled 9 to 7 computations (22.2% saved)

eval12.0ms (0.2%)

Compiler: Compiled 661 to 432 computations (34.6% saved)

prune12.0ms (0.2%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	53	2	55
Fresh	0	0	0
Picked	1	0	1
Done	0	4	4
Total	54	6	60

Error

3.8b

Counts

60 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	4.8b	(-.f64 (.f64 x x) (.f64 (.f64 y 4) (-.f64 (.f64 z z) t)))
✓	14.9b	(-.f64 (.f64 x x) (.f64 y (*.f64 t -4)))
▶	30.5b	(+.f64 (+.f64 1 (-.f64 (.f64 x x) (.f64 y (*.f64 t -4)))) -1)
▶	36.2b	(+.f64 (.f64 y (.f64 t 3)) (*.f64 y t))
✓	36.2b	(.f64 t (.f64 4 y))
✓	36.2b	(.f64 4 (.f64 y t))

Compiler

Compiled 78 to 56 computations (28.2% saved)

localize9.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 y (.f64 t 3)) (*.f64 y t))
✓	0.2b	(.f64 y (.f64 t 3))

Compiler

Compiled 27 to 15 computations (44.4% saved)

series2.0ms (0%)

Counts

2 → 48

Calls

12 calls:

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

rewrite183.0ms (3%)

Algorithm

1×	batch-egg-rewrite

Rules

2812×	`rational.json-simplify-2`
1664×	`rational.json-simplify-35`
1408×	`exponential.json-3`
1408×	`rational.json-1`
1408×	`rational.json-2`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	9	38
1	62	32
2	139	26
3	306	26
4	589	26
5	1402	26
6	2737	26
7	4060	26
8	5235	26
9	6453	26
10	7496	26
11	7496	26

Stop Event

1×	node limit

Counts

2 → 57

Calls

Call 1

Inputs
(.f64 y (.f64 t 3))
(+.f64 (.f64 y (.f64 t 3)) (*.f64 y t))

Outputs

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

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

simplify258.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

2688×	`rational.json-simplify-2`
1644×	`rational.json-simplify-35`
1376×	`rational.json-simplify-1`
1282×	`rational.json-simplify-53`
1022×	`exponential.json-simplify-26`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	135	1755
1	326	1755
2	728	1755
3	1883	1365
4	3141	1365
5	5204	1365
6	6057	1365
7	6474	1365
8	6482	1365
9	6489	1365
10	7503	1365

Stop Event

1×	node limit

Counts

105 → 63

Calls

Call 1

Inputs
(.f64 3 (.f64 y t))
(.f64 3 (.f64 y t))
(.f64 3 (.f64 y t))
(.f64 3 (.f64 y t))
(.f64 3 (.f64 y t))
(.f64 3 (.f64 y t))
(.f64 3 (.f64 y t))
(.f64 3 (.f64 y t))
(.f64 3 (.f64 y t))
(.f64 3 (.f64 y t))
(.f64 3 (.f64 y t))
(.f64 3 (.f64 y t))
(.f64 3 (.f64 y t))
(.f64 3 (.f64 y t))
(.f64 3 (.f64 y t))
(.f64 3 (.f64 y t))
(.f64 3 (.f64 y t))
(.f64 3 (.f64 y t))
(.f64 3 (.f64 y t))
(.f64 3 (.f64 y t))
(.f64 3 (.f64 y t))
(.f64 3 (.f64 y t))
(.f64 3 (.f64 y t))
(.f64 3 (.f64 y t))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 -1 (.f64 y (+.f64 (.f64 -1 t) (.f64 -3 t))))
(.f64 -1 (.f64 y (+.f64 (.f64 -1 t) (.f64 -3 t))))
(.f64 -1 (.f64 y (+.f64 (.f64 -1 t) (.f64 -3 t))))
(.f64 -1 (.f64 y (+.f64 (.f64 -1 t) (.f64 -3 t))))
(.f64 t (+.f64 y (.f64 3 y)))
(.f64 t (+.f64 y (.f64 3 y)))
(.f64 t (+.f64 y (.f64 3 y)))
(.f64 t (+.f64 y (.f64 3 y)))
(.f64 t (+.f64 y (.f64 3 y)))
(.f64 t (+.f64 y (.f64 3 y)))
(.f64 t (+.f64 y (.f64 3 y)))
(.f64 t (+.f64 y (.f64 3 y)))
(.f64 -1 (.f64 t (+.f64 (.f64 -3 y) (.f64 -1 y))))
(.f64 -1 (.f64 t (+.f64 (.f64 -3 y) (.f64 -1 y))))
(.f64 -1 (.f64 t (+.f64 (.f64 -3 y) (.f64 -1 y))))
(.f64 -1 (.f64 t (+.f64 (.f64 -3 y) (.f64 -1 y))))
(+.f64 (.f64 y (.f64 t 3)) 0)
(+.f64 (.f64 y t) (.f64 y (+.f64 t t)))
(+.f64 0 (.f64 y (.f64 t 3)))
(+.f64 (.f64 y (+.f64 t t)) (.f64 y t))
(+.f64 (.f64 y (.f64 t 3/2)) (.f64 y (.f64 t 3/2)))
(-.f64 (.f64 y (.f64 t 3)) 0)
(/.f64 (.f64 y (.f64 t 3)) 1)
(/.f64 (.f64 y (.f64 t 6)) 2)
(/.f64 (.f64 y (.f64 t 12)) 4)
(/.f64 (.f64 3 (.f64 y (*.f64 t 8))) 8)
(/.f64 (.f64 2 (.f64 3 (.f64 y (.f64 t 8)))) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 3 (.f64 y (*.f64 t 8))))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 3 (.f64 y (.f64 t 8)))))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 3 (.f64 y (*.f64 t 8))))))) 128)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 3 (.f64 y (.f64 t 8)))))))) 256)
(pow.f64 (.f64 y (.f64 t 3)) 1)
(-.f64 (.f64 y (.f64 t 4)) 0)
(.f64 y (.f64 t 4))
(.f64 t (.f64 y 4))
(.f64 (.f64 y t) 4)
(.f64 (.f64 y (*.f64 t 4)) 1)
(.f64 1 (.f64 y (*.f64 t 4)))
(.f64 2 (.f64 y (+.f64 t t)))
(.f64 (.f64 y (+.f64 t t)) 2)
(.f64 (.f64 y (*.f64 t 8)) 1/2)
(*.f64 (+.f64 y y) (+.f64 t t))
(*.f64 (+.f64 t t) (+.f64 y y))
(.f64 (.f64 y 4) t)
(.f64 (.f64 t 4) y)
(.f64 4 (.f64 y t))
(.f64 (.f64 (*.f64 y t) 16) 1/4)
(.f64 8 (.f64 y (*.f64 t 1/2)))
(.f64 (.f64 y 8) (*.f64 t 1/2))
(.f64 (.f64 y 8) (*.f64 (+.f64 t t) 1/4))
(.f64 (.f64 y 8) (*.f64 2 (/.f64 t 4)))
(.f64 (.f64 t 8) (*.f64 y 1/2))
(.f64 (.f64 t 8) (*.f64 (+.f64 y y) 1/4))
(.f64 (.f64 t 8) (*.f64 2 (/.f64 y 4)))
(.f64 1/2 (.f64 y (*.f64 t 8)))
(.f64 (.f64 y 1/2) (*.f64 t 8))
(.f64 (.f64 t 1/2) (*.f64 y 8))
(.f64 (.f64 y (*.f64 t 1/2)) 8)
(.f64 1/4 (.f64 (*.f64 y t) 16))
(.f64 (.f64 (+.f64 y y) 1/4) (*.f64 t 8))
(.f64 (.f64 (+.f64 t t) 1/4) (*.f64 y 8))
(.f64 (.f64 2 (/.f64 y 4)) (*.f64 t 8))
(.f64 (.f64 2 (/.f64 t 4)) (*.f64 y 8))
(/.f64 (.f64 y (.f64 t 4)) 1)
(/.f64 (.f64 y (.f64 t 8)) 2)
(/.f64 (.f64 (.f64 y t) 16) 4)
(/.f64 (.f64 2 (.f64 (*.f64 y t) 16)) 8)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 y t) 16))) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (*.f64 y t) 16)))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 y t) 16))))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (*.f64 y t) 16)))))) 128)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 y t) 16))))))) 256)
(pow.f64 (.f64 y (.f64 t 4)) 1)

Outputs
(.f64 3 (.f64 y t))
(.f64 y (.f64 3 t))
(.f64 3 (.f64 y t))
(.f64 y (.f64 3 t))
(.f64 3 (.f64 y t))
(.f64 y (.f64 3 t))
(.f64 3 (.f64 y t))
(.f64 y (.f64 3 t))
(.f64 3 (.f64 y t))
(.f64 y (.f64 3 t))
(.f64 3 (.f64 y t))
(.f64 y (.f64 3 t))
(.f64 3 (.f64 y t))
(.f64 y (.f64 3 t))
(.f64 3 (.f64 y t))
(.f64 y (.f64 3 t))
(.f64 3 (.f64 y t))
(.f64 y (.f64 3 t))
(.f64 3 (.f64 y t))
(.f64 y (.f64 3 t))
(.f64 3 (.f64 y t))
(.f64 y (.f64 3 t))
(.f64 3 (.f64 y t))
(.f64 y (.f64 3 t))
(.f64 3 (.f64 y t))
(.f64 y (.f64 3 t))
(.f64 3 (.f64 y t))
(.f64 y (.f64 3 t))
(.f64 3 (.f64 y t))
(.f64 y (.f64 3 t))
(.f64 3 (.f64 y t))
(.f64 y (.f64 3 t))
(.f64 3 (.f64 y t))
(.f64 y (.f64 3 t))
(.f64 3 (.f64 y t))
(.f64 y (.f64 3 t))
(.f64 3 (.f64 y t))
(.f64 y (.f64 3 t))
(.f64 3 (.f64 y t))
(.f64 y (.f64 3 t))
(.f64 3 (.f64 y t))
(.f64 y (.f64 3 t))
(.f64 3 (.f64 y t))
(.f64 y (.f64 3 t))
(.f64 3 (.f64 y t))
(.f64 y (.f64 3 t))
(.f64 3 (.f64 y t))
(.f64 y (.f64 3 t))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 -1 (.f64 y (+.f64 (.f64 -1 t) (.f64 -3 t))))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 -1 (.f64 y (+.f64 (.f64 -1 t) (.f64 -3 t))))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 -1 (.f64 y (+.f64 (.f64 -1 t) (.f64 -3 t))))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 -1 (.f64 y (+.f64 (.f64 -1 t) (.f64 -3 t))))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 t (+.f64 y (.f64 3 y)))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 t (+.f64 y (.f64 3 y)))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 t (+.f64 y (.f64 3 y)))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 t (+.f64 y (.f64 3 y)))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 t (+.f64 y (.f64 3 y)))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 t (+.f64 y (.f64 3 y)))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 t (+.f64 y (.f64 3 y)))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 t (+.f64 y (.f64 3 y)))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 -1 (.f64 t (+.f64 (.f64 -3 y) (.f64 -1 y))))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 -1 (.f64 t (+.f64 (.f64 -3 y) (.f64 -1 y))))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 -1 (.f64 t (+.f64 (.f64 -3 y) (.f64 -1 y))))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 -1 (.f64 t (+.f64 (.f64 -3 y) (.f64 -1 y))))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(+.f64 (.f64 y (.f64 t 3)) 0)
(.f64 3 (.f64 y t))
(.f64 y (.f64 3 t))
(+.f64 (.f64 y t) (.f64 y (+.f64 t t)))
(.f64 3 (.f64 y t))
(.f64 y (.f64 3 t))
(+.f64 0 (.f64 y (.f64 t 3)))
(.f64 3 (.f64 y t))
(.f64 y (.f64 3 t))
(+.f64 (.f64 y (+.f64 t t)) (.f64 y t))
(.f64 3 (.f64 y t))
(.f64 y (.f64 3 t))
(+.f64 (.f64 y (.f64 t 3/2)) (.f64 y (.f64 t 3/2)))
(.f64 3 (.f64 y t))
(.f64 y (.f64 3 t))
(-.f64 (.f64 y (.f64 t 3)) 0)
(.f64 3 (.f64 y t))
(.f64 y (.f64 3 t))
(/.f64 (.f64 y (.f64 t 3)) 1)
(.f64 3 (.f64 y t))
(.f64 y (.f64 3 t))
(/.f64 (.f64 y (.f64 t 6)) 2)
(.f64 3 (.f64 y t))
(.f64 y (.f64 3 t))
(/.f64 (.f64 y (.f64 t 12)) 4)
(.f64 3 (.f64 y t))
(.f64 y (.f64 3 t))
(/.f64 (.f64 3 (.f64 y (*.f64 t 8))) 8)
(.f64 3 (.f64 y t))
(.f64 y (.f64 3 t))
(/.f64 (.f64 2 (.f64 3 (.f64 y (.f64 t 8)))) 16)
(.f64 3 (.f64 y t))
(.f64 y (.f64 3 t))
(/.f64 (.f64 2 (.f64 2 (.f64 3 (.f64 y (*.f64 t 8))))) 32)
(.f64 3 (.f64 y t))
(.f64 y (.f64 3 t))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 3 (.f64 y (.f64 t 8)))))) 64)
(.f64 3 (.f64 y t))
(.f64 y (.f64 3 t))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 3 (.f64 y (*.f64 t 8))))))) 128)
(.f64 3 (.f64 y t))
(.f64 y (.f64 3 t))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 3 (.f64 y (.f64 t 8)))))))) 256)
(.f64 3 (.f64 y t))
(.f64 y (.f64 3 t))
(pow.f64 (.f64 y (.f64 t 3)) 1)
(.f64 3 (.f64 y t))
(.f64 y (.f64 3 t))
(-.f64 (.f64 y (.f64 t 4)) 0)
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 y (.f64 t 4))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 t (.f64 y 4))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 (.f64 y t) 4)
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 (.f64 y (*.f64 t 4)) 1)
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 1 (.f64 y (*.f64 t 4)))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 2 (.f64 y (+.f64 t t)))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 (.f64 y (+.f64 t t)) 2)
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 (.f64 y (*.f64 t 8)) 1/2)
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(*.f64 (+.f64 y y) (+.f64 t t))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(*.f64 (+.f64 t t) (+.f64 y y))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 (.f64 y 4) t)
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 (.f64 t 4) y)
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 4 (.f64 y t))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 (.f64 (*.f64 y t) 16) 1/4)
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 8 (.f64 y (*.f64 t 1/2)))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 (.f64 y 8) (*.f64 t 1/2))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 (.f64 y 8) (*.f64 (+.f64 t t) 1/4))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 (.f64 y 8) (*.f64 2 (/.f64 t 4)))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 (.f64 t 8) (*.f64 y 1/2))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 (.f64 t 8) (*.f64 (+.f64 y y) 1/4))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 (.f64 t 8) (*.f64 2 (/.f64 y 4)))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 1/2 (.f64 y (*.f64 t 8)))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 (.f64 y 1/2) (*.f64 t 8))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 (.f64 t 1/2) (*.f64 y 8))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 (.f64 y (*.f64 t 1/2)) 8)
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 1/4 (.f64 (*.f64 y t) 16))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 (.f64 (+.f64 y y) 1/4) (*.f64 t 8))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 (.f64 (+.f64 t t) 1/4) (*.f64 y 8))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 (.f64 2 (/.f64 y 4)) (*.f64 t 8))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(.f64 (.f64 2 (/.f64 t 4)) (*.f64 y 8))
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(/.f64 (.f64 y (.f64 t 4)) 1)
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(/.f64 (.f64 y (.f64 t 8)) 2)
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(/.f64 (.f64 (.f64 y t) 16) 4)
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(/.f64 (.f64 2 (.f64 (*.f64 y t) 16)) 8)
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 y t) 16))) 16)
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (*.f64 y t) 16)))) 32)
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 y t) 16))))) 64)
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (*.f64 y t) 16)))))) 128)
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 y t) 16))))))) 256)
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))
(pow.f64 (.f64 y (.f64 t 4)) 1)
(.f64 y (+.f64 t (.f64 3 t)))
(.f64 y (.f64 t 4))

localize62.0ms (1%)

Local error

Found 2 expressions with local error:

New	Error	Program
	0.0b	(-.f64 (.f64 x x) (.f64 y (*.f64 t -4)))
✓	3.3b	(+.f64 (+.f64 1 (-.f64 (.f64 x x) (.f64 y (*.f64 t -4)))) -1)

Compiler

Compiled 54 to 31 computations (42.6% saved)

series1.0ms (0%)

Counts

1 → 36

Calls

9 calls:

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

rewrite70.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1490×	`rational.json-1`
1490×	`rational.json-2`
1490×	`rational.json-4`
1490×	`rational.json-3`
1484×	`exponential.json-3`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	14	37
1	106	25
2	231	25
3	524	25
4	1653	25
5	5198	25

Stop Event

1×	node limit

Counts

1 → 26

Calls

Call 1

Inputs
(+.f64 (+.f64 1 (-.f64 (.f64 x x) (.f64 y (*.f64 t -4)))) -1)

Outputs

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

simplify100.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

1128×	`rational.json-simplify-51`
826×	`rational.json-simplify-19`
806×	`rational.json-simplify-61`
746×	`rational.json-simplify-2`
720×	`rational.json-simplify-1`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	66	1730
1	137	1730
2	254	1730
3	720	1730
4	2170	1418
5	6534	1418

Stop Event

1×	node limit

Counts

62 → 31

Calls

Call 1

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

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

eval76.0ms (1.2%)

Compiler: Compiled 1548 to 995 computations (35.7% saved)

prune22.0ms (0.4%)

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	128	1	129
Fresh	0	0	0
Picked	1	0	1
Done	0	5	5
Total	129	6	135

Error

3.8b

Counts

135 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	4.8b	(-.f64 (.f64 x x) (.f64 (.f64 y 4) (-.f64 (.f64 z z) t)))
✓	14.9b	(-.f64 (.f64 x x) (.f64 y (*.f64 t -4)))
▶	45.7b	(+.f64 (+.f64 1 (.f64 y (.f64 4 t))) -1)
✓	36.2b	(+.f64 (.f64 y (.f64 t 3)) (*.f64 y t))
✓	36.2b	(.f64 t (.f64 4 y))
✓	36.2b	(.f64 4 (.f64 y t))

Compiler

Compiled 74 to 54 computations (27% saved)

localize12.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	4.8b	(+.f64 (+.f64 1 (.f64 y (.f64 4 t))) -1)

Compiler

Compiled 33 to 24 computations (27.3% saved)

series0.0ms (0%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	y	@	0	(+.f64 (+.f64 1 (.f64 y (.f64 4 t))) -1)
0.0ms	y	@	inf	(+.f64 (+.f64 1 (.f64 y (.f64 4 t))) -1)
0.0ms	y	@	-inf	(+.f64 (+.f64 1 (.f64 y (.f64 4 t))) -1)
0.0ms	t	@	-inf	(+.f64 (+.f64 1 (.f64 y (.f64 4 t))) -1)
0.0ms	t	@	inf	(+.f64 (+.f64 1 (.f64 y (.f64 4 t))) -1)

rewrite217.0ms (3.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1846×	`rational.json-simplify-1`
1760×	`rational.json-simplify-35`
1376×	`exponential.json-3`
1376×	`rational.json-1`
1376×	`rational.json-2`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	25
1	87	13
2	188	13
3	357	13
4	705	13
5	1596	13
6	3027	13
7	4429	13
8	5482	13
9	6657	13
10	7652	13
11	7778	13
12	7778	13

Stop Event

1×	node limit

Counts

1 → 53

Calls

Call 1

Inputs
(+.f64 (+.f64 1 (.f64 y (.f64 4 t))) -1)

Outputs

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

simplify215.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

2752×	`rational.json-simplify-2`
1588×	`rational.json-simplify-1`
1462×	`rational.json-simplify-35`
1180×	`rational.json-simplify-53`
1148×	`exponential.json-simplify-26`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	110	1001
1	271	1001
2	629	1001
3	1870	1001
4	3236	1001
5	4532	1001
6	5362	1001
7	5526	1001
8	5668	1001
9	5821	1001
10	6769	1001
11	7818	1001

Stop Event

1×	node limit

Counts

77 → 54

Calls

Call 1

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

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

eval9.0ms (0.2%)

Compiler: Compiled 440 to 290 computations (34.1% saved)

prune11.0ms (0.2%)

Pruning

7 alts after pruning (1 fresh and 6 done)

	Pruned	Kept	Total
New	53	1	54
Fresh	0	0	0
Picked	0	1	1
Done	0	5	5
Total	53	7	60

Error

3.8b

Counts

60 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	4.8b	(-.f64 (.f64 x x) (.f64 (.f64 y 4) (-.f64 (.f64 z z) t)))
✓	14.9b	(-.f64 (.f64 x x) (.f64 y (*.f64 t -4)))
✓	45.7b	(+.f64 (+.f64 1 (.f64 y (.f64 4 t))) -1)
✓	36.2b	(+.f64 (.f64 y (.f64 t 3)) (*.f64 y t))
	36.2b	(.f64 (.f64 (+.f64 y y) (/.f64 t 8)) 16)
✓	36.2b	(.f64 t (.f64 4 y))
✓	36.2b	(.f64 4 (.f64 y t))

Compiler

Compiled 87 to 64 computations (26.4% saved)

regimes94.0ms (1.5%)

Counts

9 → 1

Calls

Call 1

Inputs
(.f64 4 (.f64 y t))
(.f64 t (.f64 4 y))
(.f64 (.f64 (+.f64 y y) (/.f64 t 8)) 16)
(+.f64 (.f64 y (.f64 t 3)) (*.f64 y t))
(+.f64 (+.f64 1 (.f64 y (.f64 4 t))) -1)
(-.f64 (.f64 x x) (.f64 y (*.f64 t -4)))
(+.f64 (+.f64 1 (-.f64 (.f64 x x) (.f64 y (*.f64 t -4)))) -1)
(-.f64 (.f64 x x) (.f64 (.f64 y 4) (-.f64 (.f64 z z) t)))
(pow.f64 x 2)

Outputs
(-.f64 (.f64 x x) (.f64 (.f64 y 4) (-.f64 (.f64 z z) t)))

Calls

10 calls:

43.0ms	(-.f64 (.f64 x x) (.f64 (.f64 y 4) (-.f64 (.f64 z z) t)))
7.0ms	x
6.0ms	(-.f64 (*.f64 z z) t)
6.0ms	z
6.0ms	(.f64 (.f64 y 4) (-.f64 (*.f64 z z) t))

Results

Error	Segments	Branch
4.8b	1	`x`
4.8b	1	`y`
4.8b	1	`z`
4.8b	1	`t`
4.8b	1	`(-.f64 (.f64 x x) (.f64 (.f64 y 4) (-.f64 (.f64 z z) t)))`
4.8b	1	`(*.f64 x x)`
4.8b	1	`(.f64 (.f64 y 4) (-.f64 (*.f64 z z) t))`
4.8b	1	`(*.f64 y 4)`
4.8b	1	`(-.f64 (*.f64 z z) t)`
4.8b	1	`(*.f64 z z)`

Compiler

Compiled 159 to 106 computations (33.3% saved)

regimes90.0ms (1.5%)

Counts

7 → 1

Calls

Call 1

Inputs
(.f64 4 (.f64 y t))
(.f64 t (.f64 4 y))
(.f64 (.f64 (+.f64 y y) (/.f64 t 8)) 16)
(+.f64 (.f64 y (.f64 t 3)) (*.f64 y t))
(+.f64 (+.f64 1 (.f64 y (.f64 4 t))) -1)
(-.f64 (.f64 x x) (.f64 y (*.f64 t -4)))
(+.f64 (+.f64 1 (-.f64 (.f64 x x) (.f64 y (*.f64 t -4)))) -1)

Outputs
(-.f64 (.f64 x x) (.f64 y (*.f64 t -4)))

Calls

5 calls:

71.0ms	t
5.0ms	x
5.0ms	z
5.0ms	y
3.0ms	(*.f64 x x)

Results

Error	Segments	Branch
14.9b	1	`x`
14.9b	1	`y`
14.9b	1	`z`
14.9b	1	`t`
14.9b	1	`(*.f64 x x)`

Compiler

Compiled 90 to 61 computations (32.2% saved)

regimes19.0ms (0.3%)

Accuracy

Total -9.6b remaining (-26.6%)

Threshold costs -9.6b (-26.6%)

Counts

5 → 1

Calls

Call 1

Inputs
(.f64 4 (.f64 y t))
(.f64 t (.f64 4 y))
(.f64 (.f64 (+.f64 y y) (/.f64 t 8)) 16)
(+.f64 (.f64 y (.f64 t 3)) (*.f64 y t))
(+.f64 (+.f64 1 (.f64 y (.f64 4 t))) -1)

Outputs
(.f64 4 (.f64 y t))

Calls

4 calls:

4.0ms	z
4.0ms	t
4.0ms	y
4.0ms	x

Results

Error	Segments	Branch
36.2b	1	`x`
36.2b	1	`y`
36.2b	1	`z`
36.2b	1	`t`

Compiler

Compiled 61 to 43 computations (29.5% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	75

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 39 to 27 computations (30.8% saved)

soundness0.0ms (0%)

end21.0ms (0.3%)

Compiler: Compiled 31 to 18 computations (41.9% saved)

Details

analyze523.0ms (8.6%)

sample2.4s (39.7%)

preprocess125.0ms (2.1%)

simplify141.0ms (2.3%)

eval1.0ms (0%)

prune1.0ms (0%)

localize15.0ms (0.2%)

series7.0ms (0.1%)

rewrite85.0ms (1.4%)

simplify136.0ms (2.2%)

eval24.0ms (0.4%)

prune18.0ms (0.3%)

localize7.0ms (0.1%)

series3.0ms (0.1%)

rewrite260.0ms (4.3%)

simplify635.0ms (10.4%)

localize7.0ms (0.1%)

localize10.0ms (0.2%)

series1.0ms (0%)

rewrite67.0ms (1.1%)

simplify115.0ms (1.9%)

localize4.0ms (0.1%)

eval12.0ms (0.2%)

prune12.0ms (0.2%)

localize9.0ms (0.2%)

series2.0ms (0%)

rewrite183.0ms (3%)

simplify258.0ms (4.2%)

localize62.0ms (1%)

series1.0ms (0%)

rewrite70.0ms (1.1%)

simplify100.0ms (1.6%)

eval76.0ms (1.2%)

prune22.0ms (0.4%)

localize12.0ms (0.2%)

series0.0ms (0%)

rewrite217.0ms (3.5%)

simplify215.0ms (3.5%)

eval9.0ms (0.2%)

prune11.0ms (0.2%)

regimes94.0ms (1.5%)

regimes90.0ms (1.5%)

regimes19.0ms (0.3%)

simplify2.0ms (0%)

soundness0.0ms (0%)

end21.0ms (0.3%)

Profiling