Details

analyze88.0ms (2.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%	53.1%	22%	7
31.2%	43.7%	25.1%	8
39%	32.8%	28.2%	9
42.9%	25.4%	31.7%	10
47.2%	18%	34.8%	11
49.4%	13.6%	37.1%	12

Compiler

Compiled 16 to 10 computations (37.5% saved)

sample1.0s (27%)

Results

902.0ms	8256×	body	256	valid
116.0ms	1066×	body	256	invalid

preprocess20.0ms (0.5%)

Algorithm

2×	egg-herbie

Rules

48×	`fma-def_binary64`
9×	`*-commutative_binary64`
7×	`+-commutative_binary64`
4×	`associate-+l+_binary64`
4×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	34
1	32	28
2	62	24
3	100	24
4	102	24
0	2	2
1	2	2

Stop Event

1×	unsound
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1
0

Call 2

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

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

Symmetry

(sort x y)

Compiler

Compiled 17 to 11 computations (35.3% saved)

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

33×	`fma-def_binary64`
8×	`*-commutative_binary64`
7×	`+-commutative_binary64`
3×	`associate-+r+_binary64`
3×	`associate-+l+_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	10	17
1	19	14
2	47	12
3	81	12
4	83	12

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

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

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

eval1.0ms (0%)

Compiler: Compiled 24 to 13 computations (45.8% saved)

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

Counts

3 → 2

Alt Table

Click to see full alt table

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

Compiler

Compiled 26 to 15 computations (42.3% saved)

localize15.0ms (0.4%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 41 to 19 computations (53.7% saved)

series5.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite61.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

881×	`pow1_binary64`
820×	`add-log-exp_binary64`
819×	`log1p-expm1-u_binary64`
819×	`expm1-log1p-u_binary64`
802×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	172	10
2	2284	10

Stop Event

1×	node limit

Counts

1 → 38

Calls

Call 1

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

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

Outputs

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

simplify165.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

778×	`sqr-pow_binary64`
582×	`fma-def_binary64`
555×	`fabs-mul_binary64`
555×	`cube-prod_binary64`
487×	`associate-l_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	8	231
1	19	213
2	41	177
3	79	177
4	170	177
5	476	177
6	1590	177
7	2828	177
8	3175	177
9	3398	177
10	3620	177
11	3938	177
12	4358	177
13	4847	177
14	5421	177
15	6115	177
16	6969	177
17	7366	177
18	7656	177
19	7936	177

Stop Event

1×	node limit

Counts

62 → 44

Calls

Call 1

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

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

localize12.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 24 to 12 computations (50% saved)

series4.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite48.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

552×	`pow1_binary64`
531×	`add-sqr-sqrt_binary64`
507×	`add-log-exp_binary64`
507×	`log1p-expm1-u_binary64`
507×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	120	8
2	1364	8

Stop Event

1×	node limit

Counts

1 → 13

Calls

Call 1

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

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

Outputs

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

simplify163.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

778×	`sqr-pow_binary64`
582×	`fma-def_binary64`
555×	`cube-prod_binary64`
550×	`fabs-mul_binary64`
473×	`associate-l_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	8	231
1	19	231
2	37	213
3	75	177
4	167	177
5	467	177
6	1572	177
7	2818	177
8	3173	177
9	3395	177
10	3617	177
11	3935	177
12	4357	177
13	4870	177
14	5442	177
15	6136	177
16	6986	177
17	7379	177
18	7667	177
19	7947	177

Stop Event

1×	node limit

Counts

37 → 19

Calls

Call 1

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

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

eval18.0ms (0.5%)

Compiler: Compiled 996 to 563 computations (43.5% saved)

prune10.0ms (0.3%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	59	4	63
Fresh	0	0	0
Picked	1	0	1
Done	1	0	1
Total	61	4	65

Error

Counts

65 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	29.2b	(+.f64 (.f64 x (.f64 2 y)) (*.f64 y y))
▶	25.7b	(fma.f64 x x (.f64 x (.f64 2 y)))
▶	0.0b	(+.f64 (.f64 x (+.f64 (.f64 2 y) x)) (*.f64 y y))
▶	1.6b	(+.f64 (.f64 x x) (.f64 y y))

Compiler

Compiled 43 to 26 computations (39.5% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 17 to 5 computations (70.6% saved)

series3.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite51.0ms (1.3%)

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	1751	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 expm1.f64 (log1p.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)))))) (#(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 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))))))

simplify160.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

1204×	`sqr-pow_binary64`
754×	`cube-prod_binary64`
743×	`fabs-mul_binary64`
514×	`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	295	168
6	1113	168
7	1389	168
8	1679	168
9	1930	168
10	2269	168
11	2762	168
12	3421	168
13	4211	168
14	5133	168
15	5654	168
16	6071	168
17	6462	168
18	6583	168
19	6627	168
20	7796	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))

localize10.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 25 to 13 computations (48% saved)

series2.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite58.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

872×	`pow1_binary64`
811×	`add-log-exp_binary64`
810×	`log1p-expm1-u_binary64`
810×	`expm1-log1p-u_binary64`
793×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	172	10
2	2273	10

Stop Event

1×	node limit

Counts

1 → 38

Calls

Call 1

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

Outputs

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

simplify161.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

778×	`sqr-pow_binary64`
582×	`fma-def_binary64`
555×	`cube-prod_binary64`
546×	`fabs-mul_binary64`
475×	`associate-l_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	8	231
1	19	231
2	37	213
3	75	177
4	166	177
5	465	177
6	1574	177
7	2818	177
8	3173	177
9	3396	177
10	3618	177
11	3936	177
12	4358	177
13	4873	177
14	5445	177
15	6135	177
16	6989	177
17	7382	177
18	7672	177
19	7946	177

Stop Event

1×	node limit

Counts

62 → 44

Calls

Call 1

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

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

localize13.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 34 to 18 computations (47.1% saved)

series3.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite55.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

813×	`pow1_binary64`
758×	`add-log-exp_binary64`
757×	`log1p-expm1-u_binary64`
757×	`expm1-log1p-u_binary64`
742×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	8
1	154	8
2	2090	8

Stop Event

1×	node limit

Counts

1 → 24

Calls

Call 1

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

Outputs

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

simplify163.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

778×	`sqr-pow_binary64`
582×	`fma-def_binary64`
555×	`fabs-mul_binary64`
555×	`cube-prod_binary64`
487×	`associate-l_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	8	231
1	19	213
2	41	177
3	79	177
4	170	177
5	476	177
6	1590	177
7	2828	177
8	3175	177
9	3398	177
10	3620	177
11	3938	177
12	4358	177
13	4847	177
14	5421	177
15	6115	177
16	6969	177
17	7366	177
18	7656	177
19	7936	177

Stop Event

1×	node limit

Counts

48 → 30

Calls

Call 1

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

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

localize9.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 21 to 12 computations (42.9% saved)

series4.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite54.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

657×	`pow1_binary64`
603×	`add-log-exp_binary64`
603×	`log1p-expm1-u_binary64`
603×	`expm1-log1p-u_binary64`
591×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	141	10
2	1635	10

Stop Event

1×	node limit

Counts

1 → 22

Calls

Call 1

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

Outputs

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

simplify162.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

778×	`sqr-pow_binary64`
582×	`fma-def_binary64`
555×	`fabs-mul_binary64`
555×	`cube-prod_binary64`
487×	`associate-l_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	8	231
1	19	213
2	41	177
3	79	177
4	170	177
5	476	177
6	1590	177
7	2828	177
8	3175	177
9	3398	177
10	3620	177
11	3938	177
12	4358	177
13	4847	177
14	5421	177
15	6115	177
16	6969	177
17	7366	177
18	7656	177
19	7936	177

Stop Event

1×	node limit

Counts

46 → 28

Calls

Call 1

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

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

eval37.0ms (1%)

Compiler: Compiled 1820 to 1057 computations (41.9% saved)

prune21.0ms (0.5%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	135	5	140
Fresh	0	0	0
Picked	0	1	1
Done	2	1	3
Total	137	7	144

Error

Counts

144 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (.f64 x (+.f64 (.f64 2 y) x)) (*.f64 y y))
▶	29.2b	(*.f64 y y)
▶	29.2b	(.f64 y (+.f64 (.f64 x 2) y))
✓	25.7b	(fma.f64 x x (.f64 x (.f64 2 y)))
▶	25.7b	(.f64 x (+.f64 x (.f64 2 y)))
▶	25.7b	(+.f64 (.f64 x (.f64 2 y)) (*.f64 x x))
▶	26.3b	(*.f64 x x)

Compiler

Compiled 101 to 64 computations (36.6% saved)

localize8.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 20 to 12 computations (40% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite53.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

818×	`pow1_binary64`
764×	`add-log-exp_binary64`
763×	`log1p-expm1-u_binary64`
763×	`expm1-log1p-u_binary64`
748×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	153	8
2	2092	8

Stop Event

1×	node limit

Counts

1 → 23

Calls

Call 1

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

Outputs

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

simplify162.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

778×	`sqr-pow_binary64`
582×	`fma-def_binary64`
555×	`fabs-mul_binary64`
555×	`cube-prod_binary64`
487×	`associate-l_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	8	231
1	19	213
2	41	177
3	79	177
4	170	177
5	476	177
6	1590	177
7	2828	177
8	3175	177
9	3398	177
10	3620	177
11	3938	177
12	4358	177
13	4847	177
14	5421	177
15	6115	177
16	6969	177
17	7366	177
18	7656	177
19	7936	177

Stop Event

1×	node limit

Counts

47 → 29

Calls

Call 1

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

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

localize3.0ms (0.1%)

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

localize3.0ms (0.1%)

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

localize9.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 20 to 12 computations (40% saved)

series3.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite53.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

813×	`pow1_binary64`
758×	`add-log-exp_binary64`
757×	`log1p-expm1-u_binary64`
757×	`expm1-log1p-u_binary64`
742×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	8
1	154	8
2	2090	8

Stop Event

1×	node limit

Counts

1 → 24

Calls

Call 1

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

Outputs

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

simplify161.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

778×	`sqr-pow_binary64`
582×	`fma-def_binary64`
555×	`cube-prod_binary64`
550×	`fabs-mul_binary64`
473×	`associate-l_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	8	231
1	19	231
2	37	213
3	75	177
4	167	177
5	467	177
6	1572	177
7	2818	177
8	3173	177
9	3395	177
10	3617	177
11	3935	177
12	4357	177
13	4870	177
14	5442	177
15	6136	177
16	6986	177
17	7379	177
18	7667	177
19	7947	177

Stop Event

1×	node limit

Counts

48 → 30

Calls

Call 1

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

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

localize9.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 25 to 13 computations (48% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite60.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

888×	`pow1_binary64`
826×	`add-log-exp_binary64`
825×	`log1p-expm1-u_binary64`
825×	`expm1-log1p-u_binary64`
808×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	174	8
2	2318	8

Stop Event

1×	node limit

Counts

1 → 40

Calls

Call 1

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

Outputs

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

simplify161.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

778×	`sqr-pow_binary64`
582×	`fma-def_binary64`
555×	`fabs-mul_binary64`
555×	`cube-prod_binary64`
487×	`associate-l_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	8	231
1	19	213
2	41	177
3	79	177
4	170	177
5	476	177
6	1590	177
7	2828	177
8	3175	177
9	3398	177
10	3620	177
11	3938	177
12	4358	177
13	4847	177
14	5421	177
15	6115	177
16	6969	177
17	7366	177
18	7656	177
19	7936	177

Stop Event

1×	node limit

Counts

64 → 45

Calls

Call 1

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

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

eval26.0ms (0.7%)

Compiler: Compiled 1307 to 798 computations (38.9% saved)

prune17.0ms (0.4%)

Pruning

7 alts after pruning (0 fresh and 7 done)

	Pruned	Kept	Total
New	104	0	104
Fresh	0	0	0
Picked	0	1	1
Done	0	6	6
Total	104	7	111

Error

Counts

111 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (.f64 x (+.f64 (.f64 2 y) x)) (*.f64 y y))
✓	29.2b	(*.f64 y y)
✓	29.2b	(.f64 y (+.f64 (.f64 x 2) y))
✓	25.7b	(fma.f64 x x (.f64 x (.f64 2 y)))
✓	25.7b	(.f64 x (+.f64 x (.f64 2 y)))
✓	25.7b	(+.f64 (.f64 x (.f64 2 y)) (*.f64 x x))
✓	26.3b	(*.f64 x x)

Compiler

Compiled 62 to 39 computations (37.1% saved)

regimes29.0ms (0.8%)

Counts

11 → 1

Calls

Call 1

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

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

Calls

3 calls:

10.0ms	(+.f64 (+.f64 (.f64 x x) (.f64 (.f64 x 2) y)) (.f64 y y))
9.0ms	y
7.0ms	x

Results

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

Compiler

Compiled 109 to 52 computations (52.3% saved)

regimes26.0ms (0.7%)

Counts

10 → 1

Calls

Call 1

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

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

Calls

3 calls:

8.0ms	y
8.0ms	x
6.0ms	(+.f64 (+.f64 (.f64 x x) (.f64 (.f64 x 2) y)) (.f64 y y))

Results

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

Compiler

Compiled 100 to 48 computations (52% saved)

regimes15.0ms (0.4%)

Counts

7 → 1

Calls

Call 1

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

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

Calls

2 calls:

7.0ms	y
6.0ms	x

Results

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

Compiler

Compiled 53 to 25 computations (52.8% saved)

regimes26.0ms (0.7%)

Counts

4 → 2

Calls

Call 1

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

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

Calls

2 calls:

14.0ms	y
10.0ms	x

Results

Error	Segments	Branch
5.7b	2	`x`
9.2b	2	`y`

Compiler

Compiled 28 to 16 computations (42.9% saved)

bsearch22.0ms (0.6%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
21.0ms	-1.1662218934025932e-132	-3.021659460377668e-140

Compiler

Compiled 20 to 13 computations (35% saved)

regimes37.0ms (1%)

Counts

3 → 2

Calls

Call 1

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

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

Calls

2 calls:

18.0ms	x
18.0ms	y

Results

Error	Segments	Branch
6.1b	2	`x`
9.4b	2	`y`

Compiler

Compiled 21 to 12 computations (42.9% saved)

bsearch35.0ms (0.9%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
35.0ms	-1.1662218934025932e-132	-3.021659460377668e-140

Compiler

Compiled 20 to 13 computations (35% saved)

regimes40.0ms (1%)

Accuracy

Total -47.6b remaining (-752.9%)

Threshold costs -47.6b (-752.9%)

Counts

2 → 2

Calls

Call 1

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

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

Calls

2 calls:

23.0ms	y
16.0ms	x

Results

Error	Segments	Branch
6.3b	2	`x`
9.4b	2	`y`

Compiler

Compiled 14 to 8 computations (42.9% saved)

bsearch41.0ms (1.1%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
41.0ms	-1.1662218934025932e-132	-3.021659460377668e-140

Compiler

Compiled 20 to 13 computations (35% saved)

simplify14.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative_binary64`
4×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	102
1	35	102

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(fma.f64 x x (*.f64 y (fma.f64 x 2 y)))
(+.f64 (.f64 x (+.f64 (.f64 2 y) x)) (*.f64 y y))
(+.f64 (.f64 x x) (.f64 y y))
(if (<=.f64 x -7456054282396297/6393341031047152089869511126616404594173128996177860916959553453312761321102879990006386899074031556935325554936640763689877454191182408307282280448) (.f64 x (+.f64 x (.f64 2 y))) (.f64 y (+.f64 (.f64 x 2) y)))
(if (<=.f64 x -7456054282396297/6393341031047152089869511126616404594173128996177860916959553453312761321102879990006386899074031556935325554936640763689877454191182408307282280448) (.f64 x x) (.f64 y (+.f64 (*.f64 x 2) y)))
(if (<=.f64 x -7456054282396297/6393341031047152089869511126616404594173128996177860916959553453312761321102879990006386899074031556935325554936640763689877454191182408307282280448) (.f64 x x) (.f64 y y))
(*.f64 y y)

Outputs
(fma.f64 x x (*.f64 y (fma.f64 x 2 y)))
(+.f64 (.f64 x (+.f64 (.f64 2 y) x)) (*.f64 y y))
(+.f64 (.f64 x (+.f64 x (.f64 y 2))) (*.f64 y y))
(+.f64 (.f64 x x) (.f64 y y))
(+.f64 (.f64 y y) (.f64 x x))
(if (<=.f64 x -7456054282396297/6393341031047152089869511126616404594173128996177860916959553453312761321102879990006386899074031556935325554936640763689877454191182408307282280448) (.f64 x (+.f64 x (.f64 2 y))) (.f64 y (+.f64 (.f64 x 2) y)))
(if (<=.f64 x -7456054282396297/6393341031047152089869511126616404594173128996177860916959553453312761321102879990006386899074031556935325554936640763689877454191182408307282280448) (.f64 x (+.f64 x (.f64 y 2))) (.f64 y (+.f64 y (.f64 x 2))))
(if (<=.f64 x -7456054282396297/6393341031047152089869511126616404594173128996177860916959553453312761321102879990006386899074031556935325554936640763689877454191182408307282280448) (.f64 x x) (.f64 y (+.f64 (*.f64 x 2) y)))
(if (<=.f64 x -7456054282396297/6393341031047152089869511126616404594173128996177860916959553453312761321102879990006386899074031556935325554936640763689877454191182408307282280448) (.f64 x x) (.f64 y (+.f64 y (*.f64 x 2))))
(if (<=.f64 x -7456054282396297/6393341031047152089869511126616404594173128996177860916959553453312761321102879990006386899074031556935325554936640763689877454191182408307282280448) (.f64 x x) (.f64 y y))
(*.f64 y y)

Compiler

Compiled 86 to 52 computations (39.5% saved)

soundness19.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

33×	`fma-def_binary64`
8×	`*-commutative_binary64`
7×	`+-commutative_binary64`
3×	`associate-+r+_binary64`
3×	`associate-+l+_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	10	17
1	19	14
2	47	12
3	81	12
4	83	12

Stop Event

1×

saturated

Compiler

Compiled 67 to 39 computations (41.8% saved)

end171.0ms (4.5%)

Compiler: Compiled 96 to 47 computations (51% saved)

Details

analyze88.0ms (2.3%)

sample1.0s (27%)

preprocess20.0ms (0.5%)

simplify8.0ms (0.2%)

eval1.0ms (0%)

prune2.0ms (0%)

localize15.0ms (0.4%)

series5.0ms (0.1%)

rewrite61.0ms (1.6%)

simplify165.0ms (4.3%)

localize12.0ms (0.3%)

series4.0ms (0.1%)

rewrite48.0ms (1.2%)

simplify163.0ms (4.2%)

eval18.0ms (0.5%)

prune10.0ms (0.3%)

localize6.0ms (0.2%)

series3.0ms (0.1%)

rewrite51.0ms (1.3%)

simplify160.0ms (4.2%)

localize10.0ms (0.3%)

series2.0ms (0.1%)

rewrite58.0ms (1.5%)

simplify161.0ms (4.2%)

localize13.0ms (0.3%)

series3.0ms (0.1%)

rewrite55.0ms (1.4%)

simplify163.0ms (4.3%)

localize9.0ms (0.2%)

series4.0ms (0.1%)

rewrite54.0ms (1.4%)

simplify162.0ms (4.2%)

eval37.0ms (1%)

prune21.0ms (0.5%)

localize8.0ms (0.2%)

series2.0ms (0%)

rewrite53.0ms (1.4%)

simplify162.0ms (4.2%)

localize3.0ms (0.1%)

localize3.0ms (0.1%)

localize9.0ms (0.2%)

series3.0ms (0.1%)

rewrite53.0ms (1.4%)

simplify161.0ms (4.2%)

localize9.0ms (0.2%)

series2.0ms (0%)

rewrite60.0ms (1.6%)

simplify161.0ms (4.2%)

eval26.0ms (0.7%)

prune17.0ms (0.4%)

regimes29.0ms (0.8%)

regimes26.0ms (0.7%)

regimes15.0ms (0.4%)

regimes26.0ms (0.7%)

bsearch22.0ms (0.6%)

regimes37.0ms (1%)

bsearch35.0ms (0.9%)

regimes40.0ms (1%)

bsearch41.0ms (1.1%)

simplify14.0ms (0.4%)

soundness19.0ms (0.5%)

end171.0ms (4.5%)

Profiling