Details

analyze73.0ms (2.5%)

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)

sample961.0ms (32.6%)

Results

905.0ms	8256×	body	256	valid
41.0ms	444×	body	256	invalid

preprocess16.0ms (0.6%)

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)

simplify11.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%)

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 (.f64 x x) (*.f64 x y)))
▶	0.0b	(.f64 2 (.f64 x (+.f64 x y)))

Compiler

Compiled 20 to 13 computations (35% saved)

localize6.0ms (0.2%)

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)

series3.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite51.0ms (1.7%)

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))))))

simplify205.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

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))

localize10.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	@	0	(+.f64 (.f64 x x) (.f64 x y))
0.0ms	x	@	inf	(+.f64 (.f64 x x) (.f64 x y))
0.0ms	y	@	0	(+.f64 (.f64 x x) (.f64 x y))
0.0ms	y	@	inf	(+.f64 (.f64 x x) (.f64 x y))
0.0ms	y	@	-inf	(+.f64 (.f64 x x) (.f64 x y))

rewrite56.0ms (1.9%)

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))))))

simplify177.0ms (6%)

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))

eval24.0ms (0.8%)

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

prune24.0ms (0.8%)

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
▶	22.8b	(.f64 2 (.f64 y x))
✓	0.0b	(.f64 2 (+.f64 (.f64 x x) (*.f64 x y)))
▶	0.0b	(.f64 2 (fma.f64 x x (.f64 x y)))
▶	32.2b	(.f64 2 (.f64 x x))
✓	0.0b	(.f64 2 (.f64 x (+.f64 x y)))

Compiler

Compiled 44 to 29 computations (34.1% saved)

localize12.0ms (0.4%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 12 to 6 computations (50% saved)

series4.0ms (0.1%)

Counts

1 → 12

Calls

3 calls:

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

rewrite73.0ms (2.5%)

Algorithm

1×	batch-egg-rewrite

Rules

424×	`pow1_binary64`
410×	`add-sqr-sqrt_binary64`
403×	`*-un-lft-identity_binary64`
391×	`add-log-exp_binary64`
391×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	101	7
2	1126	7

Stop Event

1×	node limit

Counts

1 → 15

Calls

Call 1

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

Outputs

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

simplify205.0ms (6.9%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
617×	`cube-prod_binary64`
558×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
445×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	84
1	11	84
2	22	84
3	43	84
4	105	84
5	329	84
6	1259	84
7	2132	84
8	2296	84
9	2480	84
10	2688	84
11	2984	84
12	3379	84
13	3860	84
14	4426	84
15	5118	84
16	5951	84
17	6343	84
18	6631	84
19	6911	84
20	6985	84
21	7019	84
22	7960	84

Stop Event

1×	node limit

Counts

27 → 17

Calls

Call 1

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

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

localize11.0ms (0.4%)

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)

series6.0ms (0.2%)

Counts

1 → 0

Calls

6 calls:

Time	Variable		Point	Expression
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))
1.0ms	y	@	inf	(.f64 2 (.f64 y x))
1.0ms	y	@	-inf	(.f64 2 (.f64 y x))

rewrite129.0ms (4.4%)

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.2%)

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

localize7.0ms (0.3%)

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))

rewrite152.0ms (5.2%)

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))))))))

simplify176.0ms (6%)

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))

eval145.0ms (4.9%)

Compiler: Compiled 527 to 270 computations (48.8% saved)

prune9.0ms (0.3%)

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	55	0	55
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	55	5	60

Error

Counts

60 → 5

Alt Table

Click to see full alt table

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

Compiler

Compiled 44 to 29 computations (34.1% saved)

regimes21.0ms (0.7%)

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:

5.0ms	(.f64 2 (+.f64 (.f64 x x) (*.f64 x y)))
5.0ms	y
5.0ms	x
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)

regimes69.0ms (2.4%)

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 (.f64 x x) (*.f64 x y)))

Calls

4 calls:

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

regimes10.0ms (0.3%)

Counts

3 → 1

Calls

Call 1

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

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

Calls

2 calls:

5.0ms	x
4.0ms	y

Results

Error	Segments	Branch
0.0b	1	`x`
0.0b	1	`y`

Compiler

Compiled 25 to 16 computations (36% saved)

regimes67.0ms (2.3%)

Accuracy

Total -47.5b remaining (-786.9%)

Threshold costs -47.5b (-786.9%)

Counts

2 → 5

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))
(.f64 2 (.f64 x x))
(.f64 2 (.f64 y x))

Calls

2 calls:

43.0ms	x
23.0ms	y

Results

Error	Segments	Branch
10.6b	5	`x`
6.0b	5	`y`

Compiler

Compiled 18 to 12 computations (33.3% saved)

bsearch116.0ms (3.9%)

Algorithm

4×	binary-search

Steps

Time	Left	Right
18.0ms	9.232376549514604e-48	2.371634316245209e-42
22.0ms	-2.3833745838419967e-56	-1.3305288491337478e-73
58.0ms	-23649020298467.67	-84.58068099775704
18.0ms	-1.453638413965964e+53	-8.771664487576966e+43

Compiler

Compiled 16 to 11 computations (31.3% saved)

simplify36.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

7×	`*-commutative_binary64`
2×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	100
1	38	100

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(.f64 2 (fma.f64 x x (.f64 x y)))
(.f64 2 (+.f64 (.f64 x x) (*.f64 x y)))
(.f64 2 (.f64 x (+.f64 x y)))
(if (<=.f64 y -145363841396596401428241728624673817111990473769091072) (.f64 2 (.f64 y x)) (if (<=.f64 y -1513537299101931/64) (.f64 2 (.f64 x x)) (if (<=.f64 y -2631911492330397/110427941548649020598956093796432407239217743554726184882600387580788736) (.f64 2 (.f64 y x)) (if (<=.f64 y 237373713861433/25711008708143844408671393477458601640355247900524685364822016) (.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 (.f64 x x) (*.f64 x y)))
(.f64 2 (+.f64 (.f64 x y) (*.f64 x x)))
(.f64 2 (.f64 x (+.f64 x y)))
(if (<=.f64 y -145363841396596401428241728624673817111990473769091072) (.f64 2 (.f64 y x)) (if (<=.f64 y -1513537299101931/64) (.f64 2 (.f64 x x)) (if (<=.f64 y -2631911492330397/110427941548649020598956093796432407239217743554726184882600387580788736) (.f64 2 (.f64 y x)) (if (<=.f64 y 237373713861433/25711008708143844408671393477458601640355247900524685364822016) (.f64 2 (.f64 x x)) (.f64 2 (.f64 y x))))))
(if (<=.f64 y -145363841396596401428241728624673817111990473769091072) (.f64 2 (.f64 x y)) (if (<=.f64 y -1513537299101931/64) (.f64 2 (.f64 x x)) (if (<=.f64 y -2631911492330397/110427941548649020598956093796432407239217743554726184882600387580788736) (.f64 2 (.f64 x y)) (if (<=.f64 y 237373713861433/25711008708143844408671393477458601640355247900524685364822016) (.f64 2 (.f64 x x)) (.f64 2 (.f64 x y))))))
(.f64 2 (.f64 y x))
(.f64 2 (.f64 x y))

Compiler

Compiled 80 to 50 computations (37.5% saved)

soundness0.0ms (0%)

end67.0ms (2.3%)

Compiler: Compiled 72 to 38 computations (47.2% saved)

Details

analyze73.0ms (2.5%)

sample961.0ms (32.6%)

preprocess16.0ms (0.6%)

simplify11.0ms (0.4%)

eval1.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0.2%)

series3.0ms (0.1%)

rewrite51.0ms (1.7%)

simplify205.0ms (6.9%)

localize10.0ms (0.3%)

series3.0ms (0.1%)

rewrite56.0ms (1.9%)

simplify177.0ms (6%)

eval24.0ms (0.8%)

prune24.0ms (0.8%)

localize12.0ms (0.4%)

series4.0ms (0.1%)

rewrite73.0ms (2.5%)

simplify205.0ms (6.9%)

localize11.0ms (0.4%)

series6.0ms (0.2%)

rewrite129.0ms (4.4%)

simplify7.0ms (0.2%)

localize7.0ms (0.3%)

series2.0ms (0.1%)

rewrite152.0ms (5.2%)

simplify176.0ms (6%)

eval145.0ms (4.9%)

prune9.0ms (0.3%)

regimes21.0ms (0.7%)

regimes69.0ms (2.4%)

regimes10.0ms (0.3%)

regimes67.0ms (2.3%)

bsearch116.0ms (3.9%)

simplify36.0ms (1.2%)

soundness0.0ms (0%)

end67.0ms (2.3%)

Profiling