Details

analyze69.0ms (3.7%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
25%	25%	74.9%	0.1%	0%	0%	0%	5
28.6%	25%	62.4%	0.1%	12.5%	0%	0%	6
42.9%	37.5%	50%	0.1%	12.5%	0%	0%	7
55.6%	46.8%	37.5%	0.1%	15.6%	0%	0%	8
63.6%	53.1%	30.4%	0.1%	16.4%	0%	0%	9
73.9%	58.5%	20.7%	0.1%	20.7%	0%	0%	10
79.3%	62%	16.2%	0.1%	21.7%	0%	0%	11
85.7%	65%	10.8%	0.1%	24.1%	0%	0%	12

Compiler

Compiled 12 to 8 computations (33.3% saved)

sample1.3s (68.5%)

Results

1.2s	8256×	body	256	valid
41.0ms	468×	body	256	infinite

Bogosity

preprocess20.0ms (1.1%)

Algorithm

2×	egg-herbie

Rules

30×	`fma-def_binary64`
19×	`*-commutative_binary64`
10×	`distribute-rgt-out_binary64`
8×	`associate-r_binary64`
8×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	20
1	38	20
2	77	20
3	130	20
4	134	20
0	2	2

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

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

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

Compiler

Compiled 13 to 9 computations (30.8% saved)

simplify8.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

17×	`fma-def_binary64`
14×	`*-commutative_binary64`
6×	`distribute-rgt-out_binary64`
5×	`associate-r_binary64`
5×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	20	10
2	43	10
3	76	10
4	80	10

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

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

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

eval1.0ms (0%)

Compiler: Compiled 18 to 11 computations (38.9% saved)

prune1.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

3 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 9 to 6 computations (33.3% saved)

localize6.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 20 to 7 computations (65% saved)

series4.0ms (0.2%)

Counts

1 → 24

Calls

6 calls:

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

rewrite60.0ms (3.2%)

Algorithm

1×	batch-egg-rewrite

Rules

839×	`pow1_binary64`
783×	`add-log-exp_binary64`
782×	`log1p-expm1-u_binary64`
782×	`expm1-log1p-u_binary64`
767×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	155	10
2	2132	10

Stop Event

1×	node limit

Counts

1 → 19

Calls

Call 1

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

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

Outputs

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

simplify196.0ms (10.5%)

Algorithm

1×	egg-herbie

Rules

2020×	`unswap-sqr_binary64`
1080×	`sqr-pow_binary64`
636×	`fabs-mul_binary64`
612×	`pow-sqr_binary64`
610×	`cube-prod_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	276
1	26	222
2	55	222
3	117	222
4	267	222
5	750	222
6	1185	222
7	1673	222
8	1840	222
9	1976	222
10	2146	222
11	2395	222
12	2715	222
13	3087	222
14	3545	222
15	4135	222
16	4845	222
17	5699	222
18	6121	222
19	6437	222
20	6747	222
21	6827	222
22	6863	222

Stop Event

1×	node limit

Counts

43 → 26

Calls

Call 1

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

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

eval5.0ms (0.3%)

Compiler: Compiled 259 to 147 computations (43.2% saved)

prune6.0ms (0.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	24	2	26
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	24	3	27

Error

Counts

27 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(.f64 2 (.f64 x (+.f64 x y)))
▶	31.8b	(.f64 x (.f64 2 x))
▶	19.3b	(.f64 y (.f64 2 x))

Compiler

Compiled 23 to 16 computations (30.4% saved)

localize5.0ms (0.3%)

Compiler: Compiled 12 to 8 computations (33.3% saved)

localize5.0ms (0.3%)

Compiler: Compiled 13 to 8 computations (38.5% saved)

eval0.0ms (0%)

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

prune2.0ms (0.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(.f64 2 (.f64 x (+.f64 x y)))
✓	31.8b	(.f64 x (.f64 2 x))
✓	19.3b	(.f64 y (.f64 2 x))

Compiler

Compiled 23 to 16 computations (30.4% saved)

regimes18.0ms (1%)

Counts

4 → 1

Calls

Call 1

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

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

Calls

4 calls:

5.0ms	y
4.0ms	x
4.0ms	(.f64 2 (+.f64 (.f64 x x) (*.f64 x y)))
4.0ms	(+.f64 (.f64 x x) (.f64 x y))

Results

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

Compiler

Compiled 54 to 33 computations (38.9% saved)

regimes49.0ms (2.6%)

Accuracy

Total -45.5b remaining (-941.5%)

Threshold costs -45.5b (-941.5%)

Counts

2 → 3

Calls

Call 1

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

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

Calls

2 calls:

39.0ms	x
9.0ms	y

Results

Error	Segments	Branch
11.2b	3	`x`
4.8b	3	`y`

Compiler

Compiled 18 to 12 computations (33.3% saved)

bsearch66.0ms (3.5%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
49.0ms	52.47499184320267	121.62491378082281
16.0ms	-6.559520391337449e-93	-1.565446779087935e-93

Compiler

Compiled 16 to 11 computations (31.3% saved)

simplify6.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64`
1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	50
1	23	50

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs

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

(if (<=.f64 y -7702656480814639/1174271291386916613944740298394668513687841274454159935353645485766104512557304221731849499192384351515967488) (*.f64 y (*.f64 2 x)) (if (<=.f64 y 1846299638369667/35184372088832) (*.f64 x (*.f64 2 x)) (*.f64 y (*.f64 2 x))))

(*.f64 x (*.f64 2 x))

Outputs

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

(if (<=.f64 y -7702656480814639/1174271291386916613944740298394668513687841274454159935353645485766104512557304221731849499192384351515967488) (*.f64 y (*.f64 2 x)) (if (<=.f64 y 1846299638369667/35184372088832) (*.f64 x (*.f64 2 x)) (*.f64 y (*.f64 2 x))))

(*.f64 x (*.f64 2 x))

Compiler

Compiled 41 to 28 computations (31.7% saved)

soundness8.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

17×	`fma-def_binary64`
14×	`*-commutative_binary64`
6×	`distribute-rgt-out_binary64`
5×	`associate-r_binary64`
5×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	20	10
2	43	10
3	76	10
4	80	10

Stop Event

1×

saturated

Compiler

Compiled 20 to 13 computations (35% saved)

end53.0ms (2.9%)

Compiler: Compiled 37 to 24 computations (35.1% saved)

Details

analyze69.0ms (3.7%)

sample1.3s (68.5%)

preprocess20.0ms (1.1%)

simplify8.0ms (0.4%)

eval1.0ms (0%)

prune1.0ms (0.1%)

localize6.0ms (0.3%)

series4.0ms (0.2%)

rewrite60.0ms (3.2%)

simplify196.0ms (10.5%)

eval5.0ms (0.3%)

prune6.0ms (0.3%)

localize5.0ms (0.3%)

localize5.0ms (0.3%)

eval0.0ms (0%)

prune2.0ms (0.1%)

regimes18.0ms (1%)

regimes49.0ms (2.6%)

bsearch66.0ms (3.5%)

simplify6.0ms (0.3%)

soundness8.0ms (0.4%)

end53.0ms (2.9%)

Profiling