Details

analyze59.0ms (3.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
25%	62.4%	12.6%	6
25%	43.7%	31.3%	7
31.2%	31.2%	37.6%	8
39%	23.4%	37.6%	9
42.9%	16.4%	40.7%	10
47.2%	12.1%	40.7%	11
49.4%	8.4%	42.2%	12

Compiler

Compiled 14 to 9 computations (35.7% saved)

sample823.0ms (46%)

Results

786.0ms	8256×	body	256	valid
22.0ms	235×	body	256	invalid

preprocess22.0ms (1.2%)

Algorithm

2×	egg-herbie

Rules

26×	`fma-def_binary64`
10×	`+-commutative_binary64`
6×	`associate-+r+_binary64`
6×	`associate-+l+_binary64`
4×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	26
1	28	22
2	62	22
3	76	22
0	2	2

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

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

Outputs
(+.f64 (+.f64 (.f64 x 2) (.f64 x x)) (*.f64 y y))
(+.f64 (.f64 x (+.f64 2 x)) (.f64 y y))
(fma.f64 x (+.f64 x 2) (*.f64 y y))
(+.f64 (+.f64 (.f64 y 2) (.f64 y y)) (*.f64 x x))
(+.f64 (.f64 x x) (.f64 y (+.f64 2 y)))
(fma.f64 x x (*.f64 y (+.f64 2 y)))

Compiler

Compiled 15 to 10 computations (33.3% saved)

simplify8.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

14×	`fma-def_binary64`
6×	`+-commutative_binary64`
3×	`associate-+r+_binary64`
3×	`associate-+l+_binary64`
2×	`*-commutative_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	17	11
2	34	11
3	42	11

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

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

Outputs
(+.f64 (+.f64 (.f64 x 2) (.f64 x x)) (*.f64 y y))
(+.f64 (.f64 x (+.f64 2 x)) (.f64 y y))
(fma.f64 x (+.f64 x 2) (*.f64 y y))

eval1.0ms (0%)

Compiler: Compiled 21 to 11 computations (47.6% saved)

prune1.0ms (0.1%)

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

Counts

3 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0b	(+.f64 (+.f64 (.f64 x 2) (.f64 x x)) (*.f64 y y))

Compiler

Compiled 13 to 8 computations (38.5% saved)

localize8.0ms (0.5%)

Local error

Found 2 expressions with local error:

New	Error	Program
	0.0b	(+.f64 (.f64 x 2) (.f64 x x))
✓	0.0b	(+.f64 (.f64 x 2) (.f64 x x))

series2.0ms (0.1%)

Counts

1 → 12

Calls

3 calls:

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

rewrite46.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

677×	`pow1_binary64`
634×	`add-log-exp_binary64`
633×	`log1p-expm1-u_binary64`
633×	`expm1-log1p-u_binary64`
620×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	133	7
2	1780	7

Stop Event

1×	node limit

Counts

1 → 39

Calls

Call 1

Inputs
(+.f64 (.f64 x 2) (.f64 x x))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (.f64 x (+.f64 x 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (.f64 (.f64 x x) 4) (.f64 x (-.f64 2 x))) (/.f64 (pow.f64 x 4) (.f64 x (-.f64 2 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 x (+.f64 x 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 x (+.f64 x 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (.f64 x (+.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 x (+.f64 x 2))) (pow.f64 (cbrt.f64 (.f64 x (+.f64 x 2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (.f64 x (+.f64 x 2))) 2) (cbrt.f64 (.f64 x (+.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (+.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (hypot.f64 x (sqrt.f64 (.f64 x 2))) (hypot.f64 x (sqrt.f64 (.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (+.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 8 (pow.f64 x 3)) (pow.f64 x 6)) (/.f64 1 (+.f64 (.f64 (.f64 x x) 4) (-.f64 (pow.f64 x 4) (.f64 2 (pow.f64 x 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 (.f64 x x) 4) (pow.f64 x 4)) (/.f64 1 (.f64 x (-.f64 2 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 x 2) x)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (.f64 (.f64 x x) 4) (-.f64 (pow.f64 x 4) (.f64 2 (pow.f64 x 3)))) (+.f64 (.f64 8 (pow.f64 x 3)) (pow.f64 x 6))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (.f64 x (-.f64 2 x)) (-.f64 (.f64 (.f64 x x) 4) (pow.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 8 (pow.f64 x 3)) (pow.f64 x 6)) (+.f64 (.f64 (.f64 x x) 4) (-.f64 (pow.f64 x 4) (.f64 2 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 8 (pow.f64 x 3)) (pow.f64 x 6)) (+.f64 (pow.f64 x 4) (-.f64 (.f64 (.f64 x x) 4) (.f64 2 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (.f64 x x) 4) (pow.f64 x 4)) (.f64 x (-.f64 2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (.f64 8 (pow.f64 x 3)) (pow.f64 x 6))) (neg.f64 (+.f64 (.f64 (.f64 x x) 4) (-.f64 (pow.f64 x 4) (.f64 2 (pow.f64 x 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (.f64 (.f64 x x) 4) (pow.f64 x 4))) (neg.f64 (.f64 x (-.f64 2 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 x 4) (.f64 (.f64 x x) 4)) (-.f64 (.f64 x x) (.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 x (+.f64 x 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 x (+.f64 x 2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 x (+.f64 x 2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (hypot.f64 x (sqrt.f64 (.f64 x 2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 x (+.f64 x 2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 x) (+.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 x (+.f64 x 2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x x (.f64 x 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x 2 (.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 2 x (.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 x 2) (.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 x x) (.f64 x 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 x 4)) (pow.f64 (cbrt.f64 x) 2) (.f64 x 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (.f64 x 2)) 2) (cbrt.f64 (.f64 x 2)) (.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (.f64 x 2)) (sqrt.f64 (.f64 x 2)) (.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 x (+.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 x (+.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 x (+.f64 x 2))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 x (+.f64 x 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 (*.f64 x x) 4) (*.f64 x (-.f64 2 x))) (/.f64 (pow.f64 x 4) (*.f64 x (-.f64 2 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (+.f64 x 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (+.f64 x 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 x (+.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 x (+.f64 x 2))) (pow.f64 (cbrt.f64 (*.f64 x (+.f64 x 2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 x (+.f64 x 2))) 2) (cbrt.f64 (*.f64 x (+.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (+.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (hypot.f64 x (sqrt.f64 (*.f64 x 2))) (hypot.f64 x (sqrt.f64 (*.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (+.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 8 (pow.f64 x 3)) (pow.f64 x 6)) (/.f64 1 (+.f64 (*.f64 (*.f64 x x) 4) (-.f64 (pow.f64 x 4) (*.f64 2 (pow.f64 x 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 (*.f64 x x) 4) (pow.f64 x 4)) (/.f64 1 (*.f64 x (-.f64 2 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x 2) x)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (*.f64 (*.f64 x x) 4) (-.f64 (pow.f64 x 4) (*.f64 2 (pow.f64 x 3)))) (+.f64 (*.f64 8 (pow.f64 x 3)) (pow.f64 x 6))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (*.f64 x (-.f64 2 x)) (-.f64 (*.f64 (*.f64 x x) 4) (pow.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 8 (pow.f64 x 3)) (pow.f64 x 6)) (+.f64 (*.f64 (*.f64 x x) 4) (-.f64 (pow.f64 x 4) (*.f64 2 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 8 (pow.f64 x 3)) (pow.f64 x 6)) (+.f64 (pow.f64 x 4) (-.f64 (*.f64 (*.f64 x x) 4) (*.f64 2 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (*.f64 x x) 4) (pow.f64 x 4)) (*.f64 x (-.f64 2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (*.f64 8 (pow.f64 x 3)) (pow.f64 x 6))) (neg.f64 (+.f64 (*.f64 (*.f64 x x) 4) (-.f64 (pow.f64 x 4) (*.f64 2 (pow.f64 x 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (*.f64 (*.f64 x x) 4) (pow.f64 x 4))) (neg.f64 (*.f64 x (-.f64 2 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 x 4) (*.f64 (*.f64 x x) 4)) (-.f64 (*.f64 x x) (*.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (+.f64 x 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (+.f64 x 2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 x (+.f64 x 2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (hypot.f64 x (sqrt.f64 (*.f64 x 2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x (+.f64 x 2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 x) (+.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 x (+.f64 x 2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x x (*.f64 x 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x 2 (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 2 x (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 x 2) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 x x) (*.f64 x 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 x 4)) (pow.f64 (cbrt.f64 x) 2) (*.f64 x 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (*.f64 x 2)) 2) (cbrt.f64 (*.f64 x 2)) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 x 2)) (sqrt.f64 (*.f64 x 2)) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (+.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (+.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 x (+.f64 x 2))))))))

simplify132.0ms (7.4%)

Algorithm

1×	egg-herbie

Rules

1104×	`sqr-pow_binary64`
561×	`cube-prod_binary64`
557×	`fabs-mul_binary64`
536×	`pow-sqr_binary64`
481×	`fma-def_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	84
1	14	75
2	28	75
3	50	75
4	110	75
5	297	75
6	987	75
7	2137	75
8	2484	75
9	2676	75
10	2886	75
11	3182	75
12	3591	75
13	4071	75
14	4638	75
15	5334	75
16	6178	75
17	6573	75
18	6863	75
19	7139	75
20	7215	75
21	7251	75

Stop Event

1×	node limit

Counts

51 → 44

Calls

Call 1

Inputs
(*.f64 2 x)
(+.f64 (*.f64 2 x) (pow.f64 x 2))
(+.f64 (*.f64 2 x) (pow.f64 x 2))
(+.f64 (*.f64 2 x) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (*.f64 2 x) (pow.f64 x 2))
(+.f64 (*.f64 2 x) (pow.f64 x 2))
(+.f64 (*.f64 2 x) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (*.f64 2 x) (pow.f64 x 2))
(+.f64 (*.f64 2 x) (pow.f64 x 2))
(+.f64 (*.f64 2 x) (pow.f64 x 2))

Outputs
(*.f64 2 x)
(+.f64 (*.f64 2 x) (pow.f64 x 2))
(fma.f64 2 x (*.f64 x x))
(*.f64 x (+.f64 2 x))
(+.f64 (*.f64 2 x) (pow.f64 x 2))
(fma.f64 2 x (*.f64 x x))
(*.f64 x (+.f64 2 x))
(+.f64 (*.f64 2 x) (pow.f64 x 2))
(fma.f64 2 x (*.f64 x x))
(*.f64 x (+.f64 2 x))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 2 x) (pow.f64 x 2))
(fma.f64 2 x (*.f64 x x))
(*.f64 x (+.f64 2 x))
(+.f64 (*.f64 2 x) (pow.f64 x 2))
(fma.f64 2 x (*.f64 x x))
(*.f64 x (+.f64 2 x))
(+.f64 (*.f64 2 x) (pow.f64 x 2))
(fma.f64 2 x (*.f64 x x))
(*.f64 x (+.f64 2 x))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 2 x) (pow.f64 x 2))
(fma.f64 2 x (*.f64 x x))
(*.f64 x (+.f64 2 x))
(+.f64 (*.f64 2 x) (pow.f64 x 2))
(fma.f64 2 x (*.f64 x x))
(*.f64 x (+.f64 2 x))
(+.f64 (*.f64 2 x) (pow.f64 x 2))
(fma.f64 2 x (*.f64 x x))
(*.f64 x (+.f64 2 x))

eval15.0ms (0.8%)

Compiler: Compiled 678 to 381 computations (43.8% saved)

prune7.0ms (0.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	41	3	44
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	41	4	45

Error

Counts

45 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	22.7b	(+.f64 (.f64 x x) (.f64 y y))
▶	0.0b	(+.f64 (.f64 x (+.f64 2 x)) (.f64 y y))
✓	0b	(+.f64 (+.f64 (.f64 x 2) (.f64 x x)) (*.f64 y y))
▶	15.5b	(+.f64 (.f64 2 x) (.f64 y y))

Compiler

Compiled 42 to 26 computations (38.1% saved)

localize4.0ms (0.2%)

localize9.0ms (0.5%)

Local error

Found 2 expressions with local error:

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

series2.0ms (0.1%)

Counts

1 → 12

Calls

3 calls:

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

rewrite41.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

601×	`pow1_binary64`
565×	`add-log-exp_binary64`
564×	`log1p-expm1-u_binary64`
564×	`expm1-log1p-u_binary64`
556×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	114	7
2	1502	7

Stop Event

1×	node limit

Counts

1 → 22

Calls

Call 1

Inputs
(*.f64 x (+.f64 2 x))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x x) (.f64 x 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x 2) (.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 x 2) 1) (.f64 (.f64 x x) 1))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (.f64 x (+.f64 x 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (.f64 x 2) 3) (pow.f64 (.f64 x x) 3)) (+.f64 (.f64 (.f64 x 2) (.f64 x 2)) (-.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 (.f64 x 2) (.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (.f64 x 2) (.f64 x 2)) (.f64 (.f64 x x) (.f64 x x))) (-.f64 (.f64 x 2) (.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 8 (pow.f64 x 3)) x) (+.f64 4 (.f64 x (-.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 4 (.f64 x x)) x) (-.f64 2 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 x (+.f64 8 (pow.f64 x 3))) (+.f64 4 (.f64 x (-.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 x (-.f64 4 (.f64 x x))) (-.f64 2 x))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 x (+.f64 x 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 x (+.f64 x 2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 x (+.f64 x 2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 x (+.f64 x 2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 x (+.f64 x 2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 x) (+.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 x (+.f64 x 2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x 2 (.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 2 x (.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 x (+.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 x (+.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 x (+.f64 x 2))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x x) (*.f64 x 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x 2) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 x 2) 1) (*.f64 (*.f64 x x) 1))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 x (+.f64 x 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 x 2) 3) (pow.f64 (*.f64 x x) 3)) (+.f64 (*.f64 (*.f64 x 2) (*.f64 x 2)) (-.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 (*.f64 x 2) (*.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (*.f64 x 2) (*.f64 x 2)) (*.f64 (*.f64 x x) (*.f64 x x))) (-.f64 (*.f64 x 2) (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 8 (pow.f64 x 3)) x) (+.f64 4 (*.f64 x (-.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 4 (*.f64 x x)) x) (-.f64 2 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (+.f64 8 (pow.f64 x 3))) (+.f64 4 (*.f64 x (-.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (-.f64 4 (*.f64 x x))) (-.f64 2 x))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (+.f64 x 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (+.f64 x 2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 x (+.f64 x 2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 x (+.f64 x 2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x (+.f64 x 2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 x) (+.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 x (+.f64 x 2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x 2 (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 2 x (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (+.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (+.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 x (+.f64 x 2))))))))

simplify131.0ms (7.4%)

Algorithm

1×	egg-herbie

Rules

1104×	`sqr-pow_binary64`
561×	`cube-prod_binary64`
557×	`fabs-mul_binary64`
536×	`pow-sqr_binary64`
481×	`fma-def_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	84
1	14	75
2	28	75
3	50	75
4	110	75
5	297	75
6	987	75
7	2137	75
8	2484	75
9	2676	75
10	2886	75
11	3182	75
12	3591	75
13	4071	75
14	4638	75
15	5334	75
16	6178	75
17	6573	75
18	6863	75
19	7139	75
20	7215	75
21	7251	75

Stop Event

1×	node limit

Counts

34 → 27

Calls

Call 1

Inputs
(*.f64 2 x)
(+.f64 (*.f64 2 x) (pow.f64 x 2))
(+.f64 (*.f64 2 x) (pow.f64 x 2))
(+.f64 (*.f64 2 x) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (*.f64 2 x) (pow.f64 x 2))
(+.f64 (*.f64 2 x) (pow.f64 x 2))
(+.f64 (*.f64 2 x) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (*.f64 2 x) (pow.f64 x 2))
(+.f64 (*.f64 2 x) (pow.f64 x 2))
(+.f64 (*.f64 2 x) (pow.f64 x 2))

Outputs
(*.f64 2 x)
(+.f64 (*.f64 2 x) (pow.f64 x 2))
(fma.f64 2 x (*.f64 x x))
(*.f64 x (+.f64 2 x))
(+.f64 (*.f64 2 x) (pow.f64 x 2))
(fma.f64 2 x (*.f64 x x))
(*.f64 x (+.f64 2 x))
(+.f64 (*.f64 2 x) (pow.f64 x 2))
(fma.f64 2 x (*.f64 x x))
(*.f64 x (+.f64 2 x))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 2 x) (pow.f64 x 2))
(fma.f64 2 x (*.f64 x x))
(*.f64 x (+.f64 2 x))
(+.f64 (*.f64 2 x) (pow.f64 x 2))
(fma.f64 2 x (*.f64 x x))
(*.f64 x (+.f64 2 x))
(+.f64 (*.f64 2 x) (pow.f64 x 2))
(fma.f64 2 x (*.f64 x x))
(*.f64 x (+.f64 2 x))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (*.f64 2 x) (pow.f64 x 2))
(fma.f64 2 x (*.f64 x x))
(*.f64 x (+.f64 2 x))
(+.f64 (*.f64 2 x) (pow.f64 x 2))
(fma.f64 2 x (*.f64 x x))
(*.f64 x (+.f64 2 x))
(+.f64 (*.f64 2 x) (pow.f64 x 2))
(fma.f64 2 x (*.f64 x x))
(*.f64 x (+.f64 2 x))

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series2.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite50.0ms (2.8%)

Algorithm

1×	batch-egg-rewrite

Rules

650×	`pow1_binary64`
606×	`add-log-exp_binary64`
606×	`log1p-expm1-u_binary64`
606×	`expm1-log1p-u_binary64`
589×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	129	7
2	1748	7

Stop Event

1×	node limit

Counts

1 → 33

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (pow.f64 (hypot.f64 x y) 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 x 4) (-.f64 (*.f64 x x) (*.f64 y y))) (/.f64 (pow.f64 y 4) (-.f64 (*.f64 x x) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (hypot.f64 x y) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (pow.f64 (hypot.f64 x y) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (hypot.f64 x y) 2)) (pow.f64 (cbrt.f64 (pow.f64 (hypot.f64 x y) 2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (pow.f64 (hypot.f64 x y) 2)) 2) (cbrt.f64 (pow.f64 (hypot.f64 x y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (hypot.f64 x y) (hypot.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 x 6) (pow.f64 y 6)) (/.f64 1 (+.f64 (pow.f64 x 4) (-.f64 (pow.f64 y 4) (pow.f64 (*.f64 x y) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 x 4) (pow.f64 y 4)) (/.f64 1 (-.f64 (*.f64 x x) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (pow.f64 x 4) (-.f64 (pow.f64 y 4) (pow.f64 (*.f64 x y) 2))) (+.f64 (pow.f64 x 6) (pow.f64 y 6))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 (*.f64 x x) (*.f64 y y)) (-.f64 (pow.f64 x 4) (pow.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 x 6) (pow.f64 y 6)) (+.f64 (pow.f64 x 4) (-.f64 (pow.f64 y 4) (pow.f64 (*.f64 x y) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 x 6) (pow.f64 y 6)) (+.f64 (pow.f64 y 4) (-.f64 (pow.f64 x 4) (pow.f64 (*.f64 x y) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 x 4) (pow.f64 y 4)) (-.f64 (*.f64 x x) (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 x 6) (pow.f64 y 6))) (neg.f64 (+.f64 (pow.f64 x 4) (-.f64 (pow.f64 y 4) (pow.f64 (*.f64 x y) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 x 4) (pow.f64 y 4))) (neg.f64 (-.f64 (*.f64 x x) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 y 4) (pow.f64 x 4)) (-.f64 (*.f64 y y) (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (hypot.f64 x y) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (pow.f64 (hypot.f64 x y) 2) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (pow.f64 (hypot.f64 x y) 2)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (hypot.f64 x y) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (pow.f64 (hypot.f64 x y) 2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (hypot.f64 x y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (pow.f64 (hypot.f64 x y) 2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x x (*.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 y y (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 x x) (*.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 y y) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 x 4)) (pow.f64 (cbrt.f64 x) 2) (*.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 y 4)) (pow.f64 (cbrt.f64 y) 2) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (hypot.f64 x y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (pow.f64 (hypot.f64 x y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (hypot.f64 x y) 2)))))))

simplify128.0ms (7.2%)

Algorithm

1×	egg-herbie

Rules

1238×	`sqr-pow_binary64`
754×	`cube-prod_binary64`
730×	`fabs-mul_binary64`
532×	`pow-sqr_binary64`
346×	`unpow3_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	204
1	16	168
2	29	168
3	47	168
4	99	168
5	269	168
6	1081	168
7	1364	168
8	1642	168
9	1893	168
10	2230	168
11	2711	168
12	3366	168
13	4154	168
14	5078	168
15	5593	168
16	6004	168
17	6395	168
18	6508	168
19	6552	168
20	7721	168

Stop Event

1×	node limit

Counts

57 → 38

Calls

Call 1

Inputs
(pow.f64 y 2)
(+.f64 (pow.f64 y 2) (pow.f64 x 2))
(+.f64 (pow.f64 y 2) (pow.f64 x 2))
(+.f64 (pow.f64 y 2) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (pow.f64 y 2) (pow.f64 x 2))
(+.f64 (pow.f64 y 2) (pow.f64 x 2))
(+.f64 (pow.f64 y 2) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (pow.f64 y 2) (pow.f64 x 2))
(+.f64 (pow.f64 y 2) (pow.f64 x 2))
(+.f64 (pow.f64 y 2) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (pow.f64 y 2) (pow.f64 x 2))
(+.f64 (pow.f64 y 2) (pow.f64 x 2))
(+.f64 (pow.f64 y 2) (pow.f64 x 2))
(pow.f64 y 2)
(+.f64 (pow.f64 y 2) (pow.f64 x 2))
(+.f64 (pow.f64 y 2) (pow.f64 x 2))
(+.f64 (pow.f64 y 2) (pow.f64 x 2))
(pow.f64 y 2)
(+.f64 (pow.f64 y 2) (pow.f64 x 2))
(+.f64 (pow.f64 y 2) (pow.f64 x 2))
(+.f64 (pow.f64 y 2) (pow.f64 x 2))

Outputs
(pow.f64 y 2)
(*.f64 y y)
(+.f64 (pow.f64 y 2) (pow.f64 x 2))
(+.f64 (.f64 y y) (.f64 x x))
(fma.f64 y y (*.f64 x x))
(+.f64 (pow.f64 y 2) (pow.f64 x 2))
(+.f64 (.f64 y y) (.f64 x x))
(fma.f64 y y (*.f64 x x))
(+.f64 (pow.f64 y 2) (pow.f64 x 2))
(+.f64 (.f64 y y) (.f64 x x))
(fma.f64 y y (*.f64 x x))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (pow.f64 y 2) (pow.f64 x 2))
(+.f64 (.f64 y y) (.f64 x x))
(fma.f64 y y (*.f64 x x))
(+.f64 (pow.f64 y 2) (pow.f64 x 2))
(+.f64 (.f64 y y) (.f64 x x))
(fma.f64 y y (*.f64 x x))
(+.f64 (pow.f64 y 2) (pow.f64 x 2))
(+.f64 (.f64 y y) (.f64 x x))
(fma.f64 y y (*.f64 x x))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (pow.f64 y 2) (pow.f64 x 2))
(+.f64 (.f64 y y) (.f64 x x))
(fma.f64 y y (*.f64 x x))
(+.f64 (pow.f64 y 2) (pow.f64 x 2))
(+.f64 (.f64 y y) (.f64 x x))
(fma.f64 y y (*.f64 x x))
(+.f64 (pow.f64 y 2) (pow.f64 x 2))
(+.f64 (.f64 y y) (.f64 x x))
(fma.f64 y y (*.f64 x x))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (pow.f64 y 2) (pow.f64 x 2))
(+.f64 (.f64 y y) (.f64 x x))
(fma.f64 y y (*.f64 x x))
(+.f64 (pow.f64 y 2) (pow.f64 x 2))
(+.f64 (.f64 y y) (.f64 x x))
(fma.f64 y y (*.f64 x x))
(+.f64 (pow.f64 y 2) (pow.f64 x 2))
(+.f64 (.f64 y y) (.f64 x x))
(fma.f64 y y (*.f64 x x))
(pow.f64 y 2)
(*.f64 y y)
(+.f64 (pow.f64 y 2) (pow.f64 x 2))
(+.f64 (.f64 y y) (.f64 x x))
(fma.f64 y y (*.f64 x x))
(+.f64 (pow.f64 y 2) (pow.f64 x 2))
(+.f64 (.f64 y y) (.f64 x x))
(fma.f64 y y (*.f64 x x))
(+.f64 (pow.f64 y 2) (pow.f64 x 2))
(+.f64 (.f64 y y) (.f64 x x))
(fma.f64 y y (*.f64 x x))
(pow.f64 y 2)
(*.f64 y y)
(+.f64 (pow.f64 y 2) (pow.f64 x 2))
(+.f64 (.f64 y y) (.f64 x x))
(fma.f64 y y (*.f64 x x))
(+.f64 (pow.f64 y 2) (pow.f64 x 2))
(+.f64 (.f64 y y) (.f64 x x))
(fma.f64 y y (*.f64 x x))
(+.f64 (pow.f64 y 2) (pow.f64 x 2))
(+.f64 (.f64 y y) (.f64 x x))
(fma.f64 y y (*.f64 x x))

eval17.0ms (0.9%)

Compiler: Compiled 782 to 414 computations (47.1% saved)

prune12.0ms (0.7%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	63	2	65
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	63	6	69

Error

Counts

69 → 6

Alt Table

Click to see full alt table

Status	Error	Program
▶	47.0b	(*.f64 x x)
✓	15.5b	(+.f64 (.f64 2 x) (.f64 y y))
✓	22.7b	(+.f64 (.f64 x x) (.f64 y y))
✓	0.0b	(+.f64 (.f64 x (+.f64 2 x)) (.f64 y y))
✓	0b	(+.f64 (+.f64 (.f64 x 2) (.f64 x x)) (*.f64 y y))
▶	37.3b	(*.f64 y y)

Compiler

Compiled 52 to 32 computations (38.5% saved)

localize2.0ms (0.1%)

eval0.0ms (0%)

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

prune3.0ms (0.2%)

Pruning

6 alts after pruning (0 fresh and 6 done)

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

Error

Counts

6 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	47.0b	(*.f64 x x)
✓	15.5b	(+.f64 (.f64 2 x) (.f64 y y))
✓	22.7b	(+.f64 (.f64 x x) (.f64 y y))
✓	0.0b	(+.f64 (.f64 x (+.f64 2 x)) (.f64 y y))
✓	0b	(+.f64 (+.f64 (.f64 x 2) (.f64 x x)) (*.f64 y y))
✓	37.3b	(*.f64 y y)

Compiler

Compiled 52 to 32 computations (38.5% saved)

regimes30.0ms (1.7%)

Counts

6 → 1

Calls

Call 1

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

Outputs
(+.f64 (+.f64 (.f64 x 2) (.f64 x x)) (*.f64 y y))

Calls

5 calls:

7.0ms	(+.f64 (+.f64 (.f64 x 2) (.f64 x x)) (*.f64 y y))
6.0ms	x
5.0ms	(+.f64 (.f64 x 2) (.f64 x x))
5.0ms	y
5.0ms	(*.f64 y y)

Results

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

Compiler

Compiled 75 to 37 computations (50.7% saved)

regimes16.0ms (0.9%)

Counts

5 → 1

Calls

Call 1

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

Outputs
(+.f64 (.f64 x (+.f64 2 x)) (.f64 y y))

Calls

3 calls:

6.0ms	y
5.0ms	x
3.0ms	(*.f64 y y)

Results

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

Compiler

Compiled 42 to 19 computations (54.8% saved)

regimes39.0ms (2.2%)

Counts

4 → 3

Calls

Call 1

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

Outputs
(+.f64 (.f64 x x) (.f64 y y))
(+.f64 (.f64 2 x) (.f64 y y))
(+.f64 (.f64 x x) (.f64 y y))

Calls

3 calls:

13.0ms	(*.f64 y y)
12.0ms	y
12.0ms	x

Results

Error	Segments	Branch
1.1b	3	`x`
11.2b	3	`y`
10.5b	4	`(*.f64 y y)`

Compiler

Compiled 33 to 15 computations (54.5% saved)

bsearch44.0ms (2.5%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
24.0ms	0.0012908719039158032	45.36603775859074
20.0ms	-755.4427312307046	-0.005712362976495828

Compiler

Compiled 18 to 12 computations (33.3% saved)

regimes13.0ms (0.7%)

Counts

3 → 1

Calls

Call 1

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

Outputs
(+.f64 (.f64 x x) (.f64 y y))

Calls

3 calls:

4.0ms	(*.f64 y y)
4.0ms	y
4.0ms	x

Results

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

Compiler

Compiled 26 to 12 computations (53.8% saved)

regimes33.0ms (1.9%)

Accuracy

Total -35.6b remaining (-137.4%)

Threshold costs -35.6b (-137.4%)

Counts

2 → 3

Calls

Call 1

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

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

Calls

3 calls:

14.0ms	x
12.0ms	y
7.0ms	(*.f64 y y)

Results

Error	Segments	Branch
25.9b	3	`x`
28.1b	3	`y`
28.1b	2	`(*.f64 y y)`

Compiler

Compiled 19 to 11 computations (42.1% saved)

bsearch36.0ms (2%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
18.0ms	290199886616266.2	419452357633977.25
18.0ms	-5.424879953143528e+75	-4.960429546986501e+72

Compiler

Compiled 18 to 12 computations (33.3% saved)

simplify4.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

6×	`+-commutative_binary64`
2×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	109
1	36	109

Stop Event

1×

saturated

Calls

Call 1

Inputs
(+.f64 (+.f64 (.f64 x 2) (.f64 x x)) (*.f64 y y))
(+.f64 (.f64 x (+.f64 2 x)) (.f64 y y))
(if (<=.f64 x -3322472268428077/4398046511104) (+.f64 (.f64 x x) (.f64 y y)) (if (<=.f64 x 23812383643477008/18446744073709551616) (+.f64 (.f64 2 x) (.f64 y y)) (+.f64 (.f64 x x) (.f64 y y))))
(+.f64 (.f64 x x) (.f64 y y))
(if (<=.f64 x -5424879953143528112231946235042113835215105191439136698667290744867946233856) (.f64 x x) (if (<=.f64 x 4643198185860259/16) (.f64 y y) (*.f64 x x)))
(*.f64 x x)

Outputs
(+.f64 (+.f64 (.f64 x 2) (.f64 x x)) (*.f64 y y))
(+.f64 (.f64 x (+.f64 2 x)) (.f64 y y))
(+.f64 (.f64 y y) (.f64 x (+.f64 x 2)))
(if (<=.f64 x -3322472268428077/4398046511104) (+.f64 (.f64 x x) (.f64 y y)) (if (<=.f64 x 23812383643477008/18446744073709551616) (+.f64 (.f64 2 x) (.f64 y y)) (+.f64 (.f64 x x) (.f64 y y))))
(if (<=.f64 x -3322472268428077/4398046511104) (+.f64 (.f64 x x) (.f64 y y)) (if (<=.f64 x 1488273977717313/1152921504606846976) (+.f64 (.f64 x 2) (.f64 y y)) (+.f64 (.f64 x x) (.f64 y y))))
(+.f64 (.f64 x x) (.f64 y y))
(if (<=.f64 x -5424879953143528112231946235042113835215105191439136698667290744867946233856) (.f64 x x) (if (<=.f64 x 4643198185860259/16) (.f64 y y) (*.f64 x x)))
(*.f64 x x)

end42.0ms (2.4%)

Stop Event

1×

done

Compiler

Compiled 166 to 75 computations (54.8% saved)

Details

analyze59.0ms (3.3%)

sample823.0ms (46%)

preprocess22.0ms (1.2%)

simplify8.0ms (0.5%)

eval1.0ms (0%)

prune1.0ms (0.1%)

localize8.0ms (0.5%)

series2.0ms (0.1%)

rewrite46.0ms (2.6%)

simplify132.0ms (7.4%)

eval15.0ms (0.8%)

prune7.0ms (0.4%)

localize4.0ms (0.2%)

localize9.0ms (0.5%)

series2.0ms (0.1%)

rewrite41.0ms (2.3%)

simplify131.0ms (7.4%)

localize4.0ms (0.2%)

series2.0ms (0.1%)

rewrite50.0ms (2.8%)

simplify128.0ms (7.2%)

eval17.0ms (0.9%)

prune12.0ms (0.7%)

localize2.0ms (0.1%)

localize2.0ms (0.1%)

eval0.0ms (0%)

prune3.0ms (0.2%)

regimes30.0ms (1.7%)

regimes16.0ms (0.9%)

regimes39.0ms (2.2%)

bsearch44.0ms (2.5%)

regimes13.0ms (0.7%)

regimes33.0ms (1.9%)

bsearch36.0ms (2%)

simplify4.0ms (0.3%)

end42.0ms (2.4%)

Profiling