Details

analyze3.0ms (0.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	25%	25%	4
62.5%	12.5%	25%	5
68.7%	6.2%	25%	6
71.8%	3.1%	25%	7
73.4%	1.6%	25%	8
74.2%	0.8%	25%	9
74.6%	0.4%	25%	10
74.8%	0.2%	25%	11
74.9%	0.1%	25%	12

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample780.0ms (66.7%)

Results

767.0ms	8256×	body	256	valid
0.0ms	6×	body	256	invalid

preprocess38.0ms (3.3%)

Algorithm

2×	egg-herbie

Rules

4×	`fma-neg_binary64`
3×	`*-commutative_binary64`
1×	`+-commutative_binary64`
1×	`associate-r_binary64`
1×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	8
1	16	8
2	22	8
3	23	8
0	1	1

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(-.f64 (.f64 (.f64 x x) 2) 1)

Outputs
(-.f64 (.f64 (.f64 x x) 2) 1)
(fma.f64 (*.f64 x x) 2 -1)
(fma.f64 x (*.f64 x 2) -1)

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify7.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

4×	`fma-neg_binary64`
3×	`*-commutative_binary64`
1×	`+-commutative_binary64`
1×	`associate-r_binary64`
1×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	8
1	16	8
2	22	8
3	23	8

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(-.f64 (.f64 (.f64 x x) 2) 1)

Outputs
(-.f64 (.f64 (.f64 x x) 2) 1)
(fma.f64 (*.f64 x x) 2 -1)
(fma.f64 x (*.f64 x 2) -1)

eval1.0ms (0.1%)

Compiler: Compiled 14 to 10 computations (28.6% saved)

prune1.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

Counts

3 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	0b	(fma.f64 x (*.f64 x 2) -1)
▶	0.0b	(-.f64 (.f64 (.f64 x x) 2) 1)

Compiler

Compiled 15 to 11 computations (26.7% saved)

localize7.0ms (0.6%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 19 to 10 computations (47.4% saved)

series3.0ms (0.3%)

Counts

2 → 24

Calls

6 calls:

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

rewrite70.0ms (6%)

Algorithm

1×	batch-egg-rewrite

Rules

638×	`pow1_binary64`
595×	`add-log-exp_binary64`
593×	`log1p-expm1-u_binary64`
593×	`expm1-log1p-u_binary64`
583×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	15
1	148	15
2	1739	15

Stop Event

1×	node limit

Counts

2 → 46

Calls

Call 1

Inputs
(.f64 (.f64 x x) 2)
(-.f64 (.f64 (.f64 x x) 2) 1)

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

Outputs

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

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

simplify147.0ms (12.6%)

Algorithm

1×	egg-herbie

Rules

1106×	`sqr-pow_binary64`
618×	`cube-prod_binary64`
560×	`fabs-mul_binary64`
536×	`pow-sqr_binary64`
442×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	171
1	18	171
2	29	171
3	53	171
4	117	171
5	326	171
6	1268	171
7	2170	171
8	2334	171
9	2518	171
10	2726	171
11	3019	171
12	3410	171
13	3888	171
14	4447	171
15	5137	171
16	5976	171
17	6372	171
18	6660	171
19	6940	171
20	7012	171
21	7048	171
22	7989	171

Stop Event

1×	node limit

Counts

70 → 50

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))
-1
(-.f64 (*.f64 2 (pow.f64 x 2)) 1)
(-.f64 (*.f64 2 (pow.f64 x 2)) 1)
(-.f64 (*.f64 2 (pow.f64 x 2)) 1)
(*.f64 2 (pow.f64 x 2))
(-.f64 (*.f64 2 (pow.f64 x 2)) 1)
(-.f64 (*.f64 2 (pow.f64 x 2)) 1)
(-.f64 (*.f64 2 (pow.f64 x 2)) 1)
(*.f64 2 (pow.f64 x 2))
(-.f64 (*.f64 2 (pow.f64 x 2)) 1)
(-.f64 (*.f64 2 (pow.f64 x 2)) 1)
(-.f64 (*.f64 2 (pow.f64 x 2)) 1)

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))
-1
(-.f64 (*.f64 2 (pow.f64 x 2)) 1)
(fma.f64 2 (*.f64 x x) -1)
(-.f64 (*.f64 2 (pow.f64 x 2)) 1)
(fma.f64 2 (*.f64 x x) -1)
(-.f64 (*.f64 2 (pow.f64 x 2)) 1)
(fma.f64 2 (*.f64 x x) -1)
(*.f64 2 (pow.f64 x 2))
(.f64 2 (.f64 x x))
(-.f64 (*.f64 2 (pow.f64 x 2)) 1)
(fma.f64 2 (*.f64 x x) -1)
(-.f64 (*.f64 2 (pow.f64 x 2)) 1)
(fma.f64 2 (*.f64 x x) -1)
(-.f64 (*.f64 2 (pow.f64 x 2)) 1)
(fma.f64 2 (*.f64 x x) -1)
(*.f64 2 (pow.f64 x 2))
(.f64 2 (.f64 x x))
(-.f64 (*.f64 2 (pow.f64 x 2)) 1)
(fma.f64 2 (*.f64 x x) -1)
(-.f64 (*.f64 2 (pow.f64 x 2)) 1)
(fma.f64 2 (*.f64 x x) -1)
(-.f64 (*.f64 2 (pow.f64 x 2)) 1)
(fma.f64 2 (*.f64 x x) -1)

localize6.0ms (0.5%)

Compiler: Compiled 13 to 9 computations (30.8% saved)

eval17.0ms (1.5%)

Compiler: Compiled 558 to 407 computations (27.1% saved)

prune7.0ms (0.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	49	1	50
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	49	3	52

Error

Counts

52 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0b	(fma.f64 x (*.f64 x 2) -1)
✓	0.0b	(-.f64 (.f64 (.f64 x x) 2) 1)
	18.1b	-1

Compiler

Compiled 17 to 13 computations (23.5% saved)

eval0.0ms (0%)

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

prune1.0ms (0.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

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

Error

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0b	(fma.f64 x (*.f64 x 2) -1)
✓	0.0b	(-.f64 (.f64 (.f64 x x) 2) 1)
	18.1b	-1

Compiler

Compiled 17 to 13 computations (23.5% saved)

eval0.0ms (0%)

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

prune1.0ms (0.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

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

Error

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0b	(fma.f64 x (*.f64 x 2) -1)
✓	0.0b	(-.f64 (.f64 (.f64 x x) 2) 1)
	18.1b	-1

Compiler

Compiled 17 to 13 computations (23.5% saved)

eval0.0ms (0%)

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

prune2.0ms (0.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

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

Error

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0b	(fma.f64 x (*.f64 x 2) -1)
✓	0.0b	(-.f64 (.f64 (.f64 x x) 2) 1)
	18.1b	-1

Compiler

Compiled 17 to 13 computations (23.5% saved)

regimes19.0ms (1.6%)

Counts

3 → 1

Calls

Call 1

Inputs
-1
(-.f64 (.f64 (.f64 x x) 2) 1)
(fma.f64 x (*.f64 x 2) -1)

Outputs
(fma.f64 x (*.f64 x 2) -1)

Calls

7 calls:

3.0ms	x
3.0ms	(.f64 (.f64 x x) 2)
2.0ms	(.f64 (.f64 x x) 2)
2.0ms	(*.f64 x x)
2.0ms	(*.f64 x x)

Results

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

Compiler

Compiled 53 to 36 computations (32.1% saved)

regimes32.0ms (2.7%)

Accuracy

Total -18.1b remaining (-462707.9%)

Threshold costs -18.1b (-462707.9%)

Counts

2 → 1

Calls

Call 1

Inputs
-1
(-.f64 (.f64 (.f64 x x) 2) 1)

Outputs
(-.f64 (.f64 (.f64 x x) 2) 1)

Calls

4 calls:

24.0ms	x
2.0ms	(.f64 (.f64 x x) 2)
2.0ms	(*.f64 x x)
2.0ms	(-.f64 (.f64 (.f64 x x) 2) 1)

Results

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

Compiler

Compiled 29 to 20 computations (31% saved)

simplify2.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`
1×	`+-commutative_binary64`
1×	`sub-neg_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	19
1	16	19
2	17	19

Stop Event

1×

saturated

Calls

Call 1

Inputs
(fma.f64 x (*.f64 x 2) -1)
(-.f64 (.f64 (.f64 x x) 2) 1)
-1

Outputs
(fma.f64 x (*.f64 x 2) -1)
(-.f64 (.f64 (.f64 x x) 2) 1)
(+.f64 (.f64 2 (.f64 x x)) -1)
(+.f64 -1 (.f64 2 (.f64 x x)))
-1

end25.0ms (2.1%)

Stop Event

1×

fuel

Compiler

Compiled 32 to 24 computations (25% saved)

Details

analyze3.0ms (0.3%)

sample780.0ms (66.7%)

preprocess38.0ms (3.3%)

simplify7.0ms (0.6%)

eval1.0ms (0.1%)

prune1.0ms (0.1%)

localize7.0ms (0.6%)

series3.0ms (0.3%)

rewrite70.0ms (6%)

simplify147.0ms (12.6%)

localize6.0ms (0.5%)

eval17.0ms (1.5%)

prune7.0ms (0.6%)

eval0.0ms (0%)

prune1.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0.1%)

eval0.0ms (0%)

prune2.0ms (0.1%)

regimes19.0ms (1.6%)

regimes32.0ms (2.7%)

simplify2.0ms (0.2%)

end25.0ms (2.1%)

Profiling