Details

analyze74.0ms (2.8%)

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
37.5%	50%	12.6%	7
46.8%	37.5%	15.7%	8
53.1%	30.4%	16.5%	9
58.5%	20.7%	20.8%	10
62%	16.2%	21.8%	11
65%	10.8%	24.2%	12

Compiler

Compiled 12 to 8 computations (33.3% saved)

sample1.2s (47.3%)

Results

1.2s	8256×	body	256	valid
54.0ms	455×	body	256	invalid

preprocess18.0ms (0.7%)

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)

simplify7.0ms (0.3%)

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

3 alts after pruning (3 fresh and 0 done)

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

Error

0.0b

Counts

3 → 2

Alt Table

Click to see full alt table

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

Compiler

Compiled 20 to 13 computations (35% saved)

localize7.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 20 to 7 computations (65% saved)

series6.0ms (0.2%)

Counts

1 → 24

Calls

6 calls:

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

rewrite55.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

644×	`pow1_binary64`
601×	`add-log-exp_binary64`
601×	`log1p-expm1-u_binary64`
601×	`expm1-log1p-u_binary64`
587×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	112	7
2	1641	7

Stop Event

1×	node limit

Counts

1 → 23

Calls

Call 1

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

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

Outputs

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

simplify182.0ms (7%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
560×	`cube-prod_binary64`
555×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
481×	`fma-def_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	168
1	15	150
2	29	150
3	51	150
4	110	150
5	303	150
6	1037	150
7	2189	150
8	2536	150
9	2728	150
10	2938	150
11	3246	150
12	3657	150
13	4138	150
14	4712	150
15	5406	150
16	6250	150
17	6647	150
18	6935	150
19	7211	150
20	7283	150
21	7319	150

Stop Event

1×	node limit

Counts

47 → 28

Calls

Call 1

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

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

localize9.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 27 to 8 computations (70.4% saved)

series3.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite58.0ms (2.2%)

Algorithm

1×	batch-egg-rewrite

Rules

715×	`pow1_binary64`
667×	`add-log-exp_binary64`
667×	`log1p-expm1-u_binary64`
667×	`expm1-log1p-u_binary64`
651×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	132	7
2	1860	7

Stop Event

1×	node limit

Counts

1 → 39

Calls

Call 1

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

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

Outputs

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

simplify176.0ms (6.7%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
560×	`cube-prod_binary64`
555×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
481×	`fma-def_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	168
1	15	150
2	29	150
3	51	150
4	110	150
5	303	150
6	1037	150
7	2189	150
8	2536	150
9	2728	150
10	2938	150
11	3246	150
12	3657	150
13	4138	150
14	4712	150
15	5406	150
16	6250	150
17	6647	150
18	6935	150
19	7211	150
20	7283	150
21	7319	150

Stop Event

1×	node limit

Counts

63 → 44

Calls

Call 1

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

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

eval19.0ms (0.7%)

Compiler: Compiled 923 to 436 computations (52.8% saved)

prune14.0ms (0.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	69	3	72
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	69	5	74

Error

Counts

74 → 5

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(.f64 2 (fma.f64 x x (.f64 x y)))
▶	24.2b	(.f64 2 (.f64 y x))
▶	32.8b	(.f64 2 (.f64 x x))
✓	0.0b	(.f64 2 (.f64 x (+.f64 x y)))
✓	0.0b	(.f64 2 (+.f64 (.f64 x x) (*.f64 x y)))

Compiler

Compiled 44 to 29 computations (34.1% saved)

localize5.0ms (0.2%)

Compiler: Compiled 12 to 6 computations (50% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 6 computations (53.8% saved)

series4.0ms (0.2%)

Counts

1 → 0

Calls

6 calls:

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

rewrite55.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

554×	`pow1_binary64`
509×	`add-log-exp_binary64`
509×	`log1p-expm1-u_binary64`
509×	`expm1-log1p-u_binary64`
499×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	121	7
2	1392	7

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

Outputs

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

simplify7.0ms (0.3%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

11 → 11

Calls

Call 1

Inputs

Outputs

localize14.0ms (0.5%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 22 to 7 computations (68.2% saved)

series2.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite46.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

470×	`pow1_binary64`
448×	`add-sqr-sqrt_binary64`
443×	`*-un-lft-identity_binary64`
430×	`add-log-exp_binary64`
430×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	5	8
1	98	7
2	1165	7

Stop Event

1×	node limit

Counts

1 → 22

Calls

Call 1

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

Outputs

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

simplify180.0ms (6.9%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
560×	`cube-prod_binary64`
555×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
481×	`fma-def_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	168
1	15	150
2	29	150
3	51	150
4	110	150
5	303	150
6	1037	150
7	2189	150
8	2536	150
9	2728	150
10	2938	150
11	3246	150
12	3657	150
13	4138	150
14	4712	150
15	5406	150
16	6250	150
17	6647	150
18	6935	150
19	7211	150
20	7283	150
21	7319	150

Stop Event

1×	node limit

Counts

46 → 27

Calls

Call 1

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

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

eval7.0ms (0.3%)

Compiler: Compiled 386 to 183 computations (52.6% saved)

prune59.0ms (2.3%)

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	38	0	38
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	38	5	43

Error

Counts

43 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(.f64 2 (fma.f64 x x (.f64 x y)))
✓	24.2b	(.f64 2 (.f64 y x))
✓	32.8b	(.f64 2 (.f64 x x))
✓	0.0b	(.f64 2 (.f64 x (+.f64 x y)))
✓	0.0b	(.f64 2 (+.f64 (.f64 x x) (*.f64 x y)))

Compiler

Compiled 44 to 29 computations (34.1% saved)

regimes145.0ms (5.6%)

Counts

5 → 1

Calls

Call 1

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

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

Calls

4 calls:

130.0ms	x
5.0ms	y
5.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 62 to 35 computations (43.5% saved)

regimes19.0ms (0.7%)

Counts

4 → 1

Calls

Call 1

Inputs
(.f64 2 (.f64 y x))
(.f64 2 (.f64 x 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	x
4.0ms	y
4.0ms	(+.f64 (.f64 x x) (.f64 x y))
4.0ms	(.f64 2 (+.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 32 computations (40.7% saved)

regimes45.0ms (1.7%)

Accuracy

Total -50.5b remaining (-962.5%)

Threshold costs -50.5b (-962.5%)

Counts

2 → 3

Calls

Call 1

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

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

Calls

2 calls:

35.0ms	x
9.0ms	y

Results

Error	Segments	Branch
14.4b	3	`x`
5.3b	3	`y`

Compiler

Compiled 18 to 12 computations (33.3% saved)

bsearch69.0ms (2.6%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
52.0ms	3.2432932898030587e-46	1.6356912813024357e-45
16.0ms	-4.931444894199347e-45	-1.2443640751915052e-45

Compiler

Compiled 16 to 11 computations (31.3% saved)

simplify6.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative_binary64`
1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	61
1	28	61

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(.f64 2 (fma.f64 x x (.f64 x y)))
(.f64 2 (.f64 x (+.f64 x y)))
(if (<=.f64 y -3962263206827841/803469022129495137770981046170581301261101496891396417650688) (.f64 2 (.f64 y x)) (if (<=.f64 y 4169417100859547/12855504354071922204335696738729300820177623950262342682411008) (.f64 2 (.f64 x x)) (.f64 2 (.f64 y x))))
(.f64 2 (.f64 y x))

Outputs
(.f64 2 (fma.f64 x x (.f64 x y)))
(.f64 2 (.f64 x (+.f64 x y)))
(if (<=.f64 y -3962263206827841/803469022129495137770981046170581301261101496891396417650688) (.f64 2 (.f64 y x)) (if (<=.f64 y 4169417100859547/12855504354071922204335696738729300820177623950262342682411008) (.f64 2 (.f64 x x)) (.f64 2 (.f64 y x))))
(if (<=.f64 y -3962263206827841/803469022129495137770981046170581301261101496891396417650688) (.f64 2 (.f64 x y)) (if (<=.f64 y 4169417100859547/12855504354071922204335696738729300820177623950262342682411008) (.f64 2 (.f64 x x)) (.f64 2 (.f64 x y))))
(.f64 2 (.f64 y x))
(.f64 2 (.f64 x y))

Compiler

Compiled 51 to 33 computations (35.3% saved)

soundness0.0ms (0%)

end80.0ms (3.1%)

Compiler: Compiled 45 to 25 computations (44.4% saved)

Details

analyze74.0ms (2.8%)

sample1.2s (47.3%)

preprocess18.0ms (0.7%)

simplify7.0ms (0.3%)

eval1.0ms (0%)

prune1.0ms (0.1%)

localize7.0ms (0.3%)

series6.0ms (0.2%)

rewrite55.0ms (2.1%)

simplify182.0ms (7%)

localize9.0ms (0.3%)

series3.0ms (0.1%)

rewrite58.0ms (2.2%)

simplify176.0ms (6.7%)

eval19.0ms (0.7%)

prune14.0ms (0.5%)

localize5.0ms (0.2%)

localize5.0ms (0.2%)

series4.0ms (0.2%)

rewrite55.0ms (2.1%)

simplify7.0ms (0.3%)

localize14.0ms (0.5%)

series2.0ms (0.1%)

rewrite46.0ms (1.8%)

simplify180.0ms (6.9%)

eval7.0ms (0.3%)

prune59.0ms (2.3%)

regimes145.0ms (5.6%)

regimes19.0ms (0.7%)

regimes45.0ms (1.7%)

bsearch69.0ms (2.6%)

simplify6.0ms (0.2%)

soundness0.0ms (0%)

end80.0ms (3.1%)

Profiling