Details

analyze1.0s (9.1%)

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
0%	99.9%	0.1%	5
3.1%	96.8%	0.1%	6
15.6%	81.2%	3.2%	7
23.4%	72.6%	4%	8
32.4%	55.8%	11.8%	9
36.3%	50.9%	12.8%	10
40.7%	41.5%	17.9%	11
42.6%	38.6%	18.8%	12
44.5%	33.5%	22%	13
45.5%	32%	22.5%	14

Compiler

Compiled 18 to 12 computations (33.3% saved)

sample6.9s (60.9%)

Results

3.1s	1834×	body	2048	valid
2.1s	2638×	body	1024	valid
552.0ms	1217×	body	512	valid
312.0ms	1918×	body	128	valid
167.0ms	605×	body	256	valid
162.0ms	273×	body	512	invalid
157.0ms	180×	body	1024	invalid
116.0ms	44×	body	4096	valid
72.0ms	502×	body	128	invalid
51.0ms	144×	body	256	invalid
36.0ms	25×	body	2048	invalid

Compiler

Compiled 53 to 35 computations (34% saved)

simplify43.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

701×	`fma-def_binary64`
563×	`associate-/r/_binary64`
484×	`associate-/r*_binary64`
474×	`associate-*l/_binary64`
421×	`associate-/l/_binary64`

Counts

1 → 2

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	11	22
1	29	22
2	67	20
3	164	20
4	463	20
5	1761	20
6	4847	20
7	5013	20

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

48.6b

Counts

3 → 2

Alt Table

Status	Error	Program
	48.8b	(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n)))
▶	48.8b	(*.f64 n (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i))

Compiler

Compiled 97 to 63 computations (35.1% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i)
✓	0.0b	(*.f64 n (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i))
✓	0.4b	(fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100)
✓	7.7b	(pow.f64 (+.f64 1 (/.f64 i n)) n)

series459.0ms (4.1%)

Counts

4 → 96

Calls

4 calls:

185.0ms	(*.f64 n (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i))
140.0ms	(/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i)
92.0ms	(fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100)
42.0ms	(pow.f64 (+.f64 1 (/.f64 i n)) n)

rewrite31.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

27×	`add-sqr-sqrt_binary64`
24×	`*-un-lft-identity_binary64`
22×	`add-cube-cbrt_binary64`
19×	`times-frac_binary64`
13×	`associate-r_binary64`

Counts

4 → 93

Calls

4 calls:

8.0ms	(pow.f64 (+.f64 1 (/.f64 i n)) n)
7.0ms	(/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i)
7.0ms	(*.f64 n (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i))
1.0ms	(fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100)

simplify331.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

462×	`times-frac_binary64`
322×	`*-commutative_binary64`
293×	`+-commutative_binary64`
262×	`fma-def_binary64`
225×	`sub-neg_binary64`

Counts

189 → 261

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	982	10503
1	3140	10129
2	4870	9717
3	4972	9717

prune362.0ms (3.2%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	247	14	261
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	248	15	263

Error

3.3b

Counts

263 → 15

Alt Table

Status	Error	Program
	32.4b	(-.f64 (fma.f64 100 n (fma.f64 275/6 (/.f64 (pow.f64 i 3) n) (fma.f64 50 (.f64 i n) (fma.f64 25/6 (.f64 n (pow.f64 i 3)) (fma.f64 50/3 (.f64 (.f64 i i) n) (.f64 (/.f64 (.f64 i i) n) 100/3)))))) (fma.f64 25 (pow.f64 i 3) (fma.f64 50 i (fma.f64 50 (.f64 i i) (.f64 (/.f64 (pow.f64 i 3) (*.f64 n n)) 25)))))
	48.8b	(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n)))
	54.9b	(.f64 n (fma.f64 100 (+.f64 (/.f64 (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i))) i) (.f64 (/.f64 (*.f64 n n) i) (/.f64 (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i))) i))) (/.f64 -100 i)))
▶	29.6b	(*.f64 100 n)
	46.0b	(*.f64 n (/.f64 (fma.f64 100 (pow.f64 (/.f64 (/.f64 -1 n) (/.f64 -1 i)) n) -100) i))
	30.6b	(.f64 n (-.f64 (+.f64 100 (fma.f64 50 i (fma.f64 50/3 (.f64 i i) (.f64 100/3 (.f64 (/.f64 i n) (/.f64 i n)))))) (.f64 50 (+.f64 (/.f64 i n) (/.f64 (.f64 i i) n)))))
	47.8b	(/.f64 (.f64 (-.f64 (.f64 100 (exp.f64 i)) 100) n) i)
	32.4b	(.f64 n (/.f64 (-.f64 (fma.f64 50/3 (pow.f64 i 3) (fma.f64 100 i (fma.f64 50 (.f64 i i) (.f64 (/.f64 (pow.f64 i 3) (.f64 n n)) 100/3)))) (.f64 50 (+.f64 (/.f64 (.f64 i i) n) (/.f64 (pow.f64 i 3) n)))) i))
	48.7b	(.f64 n (-.f64 (.f64 100 (/.f64 (exp.f64 i) i)) (+.f64 (.f64 50 (/.f64 (.f64 (exp.f64 i) i) n)) (*.f64 100 (/.f64 1 i)))))
	54.0b	(.f64 n (/.f64 (.f64 n (-.f64 (.f64 100 (log.f64 i)) (.f64 100 (log.f64 n)))) i))
	53.8b	(.f64 n (-.f64 (fma.f64 100 (/.f64 (.f64 n (log.f64 i)) i) (fma.f64 50 (/.f64 (.f64 (.f64 n n) (pow.f64 (log.f64 i) 2)) i) (fma.f64 100 (.f64 (/.f64 n i) (/.f64 n i)) (.f64 50 (/.f64 (.f64 (.f64 n n) (pow.f64 (log.f64 n) 2)) i))))) (.f64 100 (+.f64 (/.f64 (.f64 (.f64 n n) (.f64 (log.f64 i) (log.f64 n))) i) (/.f64 (*.f64 n (log.f64 n)) i)))))
	47.8b	(/.f64 (fma.f64 (exp.f64 i) 100 -100) (/.f64 i n))
	54.9b	(-.f64 (fma.f64 50 (/.f64 (.f64 (pow.f64 n 3) (pow.f64 (log.f64 i) 2)) i) (fma.f64 100 (/.f64 (.f64 (.f64 n n) (log.f64 i)) i) (fma.f64 100 (/.f64 (pow.f64 n 3) (.f64 i i)) (.f64 50 (/.f64 (.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 2)) i))))) (.f64 100 (+.f64 (/.f64 (.f64 (pow.f64 n 3) (.f64 (log.f64 i) (log.f64 n))) i) (/.f64 (.f64 (*.f64 n n) (log.f64 n)) i))))
	55.4b	(fma.f64 100 (+.f64 (/.f64 (.f64 n (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i)))) i) (/.f64 (.f64 (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i))) (pow.f64 n 3)) (.f64 i i))) (.f64 (/.f64 n i) -100))
	54.6b	(/.f64 (.f64 100 (.f64 n (expm1.f64 (*.f64 n (fma.f64 -1 (log.f64 n) (log.f64 i)))))) i)

Compiler

Compiled 14075 to 8827 computations (37.3% saved)

localize2.0ms (0%)

prune28.0ms (0.2%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	14	14
Picked	1	1
Done	0	0
Total	15	15

Error

3.3b

Counts

15 → 15

Alt Table

Status	Error	Program
	32.4b	(-.f64 (fma.f64 100 n (fma.f64 275/6 (/.f64 (pow.f64 i 3) n) (fma.f64 50 (.f64 i n) (fma.f64 25/6 (.f64 n (pow.f64 i 3)) (fma.f64 50/3 (.f64 (.f64 i i) n) (.f64 (/.f64 (.f64 i i) n) 100/3)))))) (fma.f64 25 (pow.f64 i 3) (fma.f64 50 i (fma.f64 50 (.f64 i i) (.f64 (/.f64 (pow.f64 i 3) (*.f64 n n)) 25)))))
	48.8b	(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n)))
	54.9b	(.f64 n (fma.f64 100 (+.f64 (/.f64 (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i))) i) (.f64 (/.f64 (*.f64 n n) i) (/.f64 (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i))) i))) (/.f64 -100 i)))
✓	29.6b	(*.f64 100 n)
	46.0b	(*.f64 n (/.f64 (fma.f64 100 (pow.f64 (/.f64 (/.f64 -1 n) (/.f64 -1 i)) n) -100) i))
▶	30.6b	(.f64 n (-.f64 (+.f64 100 (fma.f64 50 i (fma.f64 50/3 (.f64 i i) (.f64 100/3 (.f64 (/.f64 i n) (/.f64 i n)))))) (.f64 50 (+.f64 (/.f64 i n) (/.f64 (.f64 i i) n)))))
	47.8b	(/.f64 (.f64 (-.f64 (.f64 100 (exp.f64 i)) 100) n) i)
	32.4b	(.f64 n (/.f64 (-.f64 (fma.f64 50/3 (pow.f64 i 3) (fma.f64 100 i (fma.f64 50 (.f64 i i) (.f64 (/.f64 (pow.f64 i 3) (.f64 n n)) 100/3)))) (.f64 50 (+.f64 (/.f64 (.f64 i i) n) (/.f64 (pow.f64 i 3) n)))) i))
	48.7b	(.f64 n (-.f64 (.f64 100 (/.f64 (exp.f64 i) i)) (+.f64 (.f64 50 (/.f64 (.f64 (exp.f64 i) i) n)) (*.f64 100 (/.f64 1 i)))))
	54.0b	(.f64 n (/.f64 (.f64 n (-.f64 (.f64 100 (log.f64 i)) (.f64 100 (log.f64 n)))) i))
	53.8b	(.f64 n (-.f64 (fma.f64 100 (/.f64 (.f64 n (log.f64 i)) i) (fma.f64 50 (/.f64 (.f64 (.f64 n n) (pow.f64 (log.f64 i) 2)) i) (fma.f64 100 (.f64 (/.f64 n i) (/.f64 n i)) (.f64 50 (/.f64 (.f64 (.f64 n n) (pow.f64 (log.f64 n) 2)) i))))) (.f64 100 (+.f64 (/.f64 (.f64 (.f64 n n) (.f64 (log.f64 i) (log.f64 n))) i) (/.f64 (*.f64 n (log.f64 n)) i)))))
	47.8b	(/.f64 (fma.f64 (exp.f64 i) 100 -100) (/.f64 i n))
	54.9b	(-.f64 (fma.f64 50 (/.f64 (.f64 (pow.f64 n 3) (pow.f64 (log.f64 i) 2)) i) (fma.f64 100 (/.f64 (.f64 (.f64 n n) (log.f64 i)) i) (fma.f64 100 (/.f64 (pow.f64 n 3) (.f64 i i)) (.f64 50 (/.f64 (.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 2)) i))))) (.f64 100 (+.f64 (/.f64 (.f64 (pow.f64 n 3) (.f64 (log.f64 i) (log.f64 n))) i) (/.f64 (.f64 (*.f64 n n) (log.f64 n)) i))))
	55.4b	(fma.f64 100 (+.f64 (/.f64 (.f64 n (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i)))) i) (/.f64 (.f64 (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i))) (pow.f64 n 3)) (.f64 i i))) (.f64 (/.f64 n i) -100))
	54.6b	(/.f64 (.f64 100 (.f64 n (expm1.f64 (*.f64 n (fma.f64 -1 (log.f64 n) (log.f64 i)))))) i)

Compiler

Compiled 939 to 584 computations (37.8% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	2.6b	(.f64 n (-.f64 (+.f64 100 (fma.f64 50 i (fma.f64 50/3 (.f64 i i) (.f64 100/3 (.f64 (/.f64 i n) (/.f64 i n)))))) (.f64 50 (+.f64 (/.f64 i n) (/.f64 (.f64 i i) n)))))
✓	3.5b	(+.f64 (/.f64 i n) (/.f64 (*.f64 i i) n))
✓	4.4b	(-.f64 (+.f64 100 (fma.f64 50 i (fma.f64 50/3 (.f64 i i) (.f64 100/3 (.f64 (/.f64 i n) (/.f64 i n)))))) (.f64 50 (+.f64 (/.f64 i n) (/.f64 (*.f64 i i) n))))
✓	6.2b	(/.f64 (*.f64 i i) n)

series105.0ms (0.9%)

Counts

4 → 96

Calls

4 calls:

43.0ms	(.f64 n (-.f64 (+.f64 100 (fma.f64 50 i (fma.f64 50/3 (.f64 i i) (.f64 100/3 (.f64 (/.f64 i n) (/.f64 i n)))))) (.f64 50 (+.f64 (/.f64 i n) (/.f64 (.f64 i i) n)))))
32.0ms	(-.f64 (+.f64 100 (fma.f64 50 i (fma.f64 50/3 (.f64 i i) (.f64 100/3 (.f64 (/.f64 i n) (/.f64 i n)))))) (.f64 50 (+.f64 (/.f64 i n) (/.f64 (*.f64 i i) n))))
14.0ms	(+.f64 (/.f64 i n) (/.f64 (*.f64 i i) n))
13.0ms	(/.f64 (*.f64 i i) n)

rewrite41.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

37×	`*-un-lft-identity_binary64`
23×	`add-sqr-sqrt_binary64`
21×	`add-cube-cbrt_binary64`
20×	`associate-*r/_binary64`
20×	`times-frac_binary64`

Counts

4 → 131

Calls

4 calls:

10.0ms	(.f64 n (-.f64 (+.f64 100 (fma.f64 50 i (fma.f64 50/3 (.f64 i i) (.f64 100/3 (.f64 (/.f64 i n) (/.f64 i n)))))) (.f64 50 (+.f64 (/.f64 i n) (/.f64 (.f64 i i) n)))))
8.0ms	(+.f64 (/.f64 i n) (/.f64 (*.f64 i i) n))
6.0ms	(-.f64 (+.f64 100 (fma.f64 50 i (fma.f64 50/3 (.f64 i i) (.f64 100/3 (.f64 (/.f64 i n) (/.f64 i n)))))) (.f64 50 (+.f64 (/.f64 i n) (/.f64 (*.f64 i i) n))))
4.0ms	(/.f64 (*.f64 i i) n)

simplify196.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

568×	`times-frac_binary64`
407×	`fma-neg_binary64`
312×	`cancel-sign-sub-inv_binary64`
200×	`distribute-rgt-in_binary64`
185×	`distribute-lft-in_binary64`

Counts

227 → 236

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	272	8392
1	784	7689
2	2879	7475
3	4765	7475
4	4938	7475

prune266.0ms (2.4%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	234	2	236
Fresh	1	12	13
Picked	1	0	1
Done	0	1	1
Total	236	15	251

Error

3.3b

Counts

251 → 15

Alt Table

Status	Error	Program
	32.4b	(-.f64 (fma.f64 100 n (fma.f64 275/6 (/.f64 (pow.f64 i 3) n) (fma.f64 50 (.f64 i n) (fma.f64 25/6 (.f64 n (pow.f64 i 3)) (fma.f64 50/3 (.f64 (.f64 i i) n) (.f64 (/.f64 (.f64 i i) n) 100/3)))))) (fma.f64 25 (pow.f64 i 3) (fma.f64 50 i (fma.f64 50 (.f64 i i) (.f64 (/.f64 (pow.f64 i 3) (*.f64 n n)) 25)))))
	48.8b	(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n)))
	54.9b	(.f64 n (fma.f64 100 (+.f64 (/.f64 (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i))) i) (.f64 (/.f64 (*.f64 n n) i) (/.f64 (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i))) i))) (/.f64 -100 i)))
✓	29.6b	(*.f64 100 n)
	46.0b	(*.f64 n (/.f64 (fma.f64 100 (pow.f64 (/.f64 (/.f64 -1 n) (/.f64 -1 i)) n) -100) i))
	54.9b	(-.f64 (fma.f64 50 (/.f64 (.f64 (pow.f64 n 3) (pow.f64 (log.f64 i) 2)) i) (fma.f64 100 (/.f64 (.f64 (.f64 n n) (log.f64 i)) i) (fma.f64 100 (/.f64 (pow.f64 n 3) (.f64 i i)) (.f64 50 (/.f64 (.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 2)) i))))) (.f64 100 (+.f64 (/.f64 (.f64 (pow.f64 n 3) (.f64 (log.f64 i) (log.f64 n))) i) (/.f64 (.f64 (*.f64 n n) (log.f64 n)) i))))
	47.3b	(exp.f64 (log.f64 (.f64 n (-.f64 (+.f64 100 (fma.f64 i 50 (fma.f64 (.f64 i i) 50/3 (.f64 100/3 (.f64 (/.f64 i n) (/.f64 i n)))))) (.f64 50 (+.f64 (/.f64 (.f64 i i) n) (/.f64 i n)))))))
	54.6b	(/.f64 (.f64 100 (.f64 n (expm1.f64 (*.f64 n (fma.f64 -1 (log.f64 n) (log.f64 i)))))) i)
▶	30.6b	(fma.f64 n 100 (*.f64 i (fma.f64 n 50 -50)))
	48.7b	(.f64 n (-.f64 (.f64 100 (/.f64 (exp.f64 i) i)) (+.f64 (.f64 50 (/.f64 (.f64 (exp.f64 i) i) n)) (*.f64 100 (/.f64 1 i)))))
	54.0b	(.f64 n (/.f64 (.f64 n (-.f64 (.f64 100 (log.f64 i)) (.f64 100 (log.f64 n)))) i))
	53.8b	(.f64 n (-.f64 (fma.f64 100 (/.f64 (.f64 n (log.f64 i)) i) (fma.f64 50 (/.f64 (.f64 (.f64 n n) (pow.f64 (log.f64 i) 2)) i) (fma.f64 100 (.f64 (/.f64 n i) (/.f64 n i)) (.f64 50 (/.f64 (.f64 (.f64 n n) (pow.f64 (log.f64 n) 2)) i))))) (.f64 100 (+.f64 (/.f64 (.f64 (.f64 n n) (.f64 (log.f64 i) (log.f64 n))) i) (/.f64 (*.f64 n (log.f64 n)) i)))))
	47.8b	(/.f64 (fma.f64 (exp.f64 i) 100 -100) (/.f64 i n))
	47.8b	(/.f64 (.f64 (-.f64 (.f64 100 (exp.f64 i)) 100) n) i)
	55.4b	(fma.f64 100 (+.f64 (/.f64 (.f64 n (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i)))) i) (/.f64 (.f64 (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i))) (pow.f64 n 3)) (.f64 i i))) (.f64 (/.f64 n i) -100))

Compiler

Compiled 13556 to 5572 computations (58.9% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 n 50 -50)
✓	0.0b	(fma.f64 n 100 (*.f64 i (fma.f64 n 50 -50)))
✓	0.1b	(*.f64 i (fma.f64 n 50 -50))

series15.0ms (0.1%)

Counts

3 → 60

Calls

3 calls:

7.0ms	(fma.f64 n 100 (*.f64 i (fma.f64 n 50 -50)))
6.0ms	(*.f64 i (fma.f64 n 50 -50))
2.0ms	(fma.f64 n 50 -50)

rewrite6.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`add-sqr-sqrt_binary64`
5×	`*-un-lft-identity_binary64`
5×	`add-cube-cbrt_binary64`
5×	`add-cbrt-cube_binary64`
5×	`add-exp-log_binary64`

Counts

3 → 42

Calls

3 calls:

4.0ms	(*.f64 i (fma.f64 n 50 -50))
0.0ms	(fma.f64 n 50 -50)
0.0ms	(fma.f64 n 100 (*.f64 i (fma.f64 n 50 -50)))

simplify58.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

739×	`distribute-rgt-neg-out_binary64`
517×	`fma-def_binary64`
373×	`distribute-neg-out_binary64`
270×	`unsub-neg_binary64`
267×	`*-commutative_binary64`

Counts

102 → 89

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	72	1102
1	132	956
2	372	956
3	1074	956
4	2169	956
5	5099	956

prune73.0ms (0.6%)

Pruning

15 alts after pruning (13 fresh and 2 done)

	Pruned	Kept	Total
New	89	0	89
Fresh	0	13	13
Picked	0	1	1
Done	0	1	1
Total	89	15	104

Error

3.3b

Counts

104 → 15

Alt Table

Status	Error	Program
	32.4b	(-.f64 (fma.f64 100 n (fma.f64 275/6 (/.f64 (pow.f64 i 3) n) (fma.f64 50 (.f64 i n) (fma.f64 25/6 (.f64 n (pow.f64 i 3)) (fma.f64 50/3 (.f64 (.f64 i i) n) (.f64 (/.f64 (.f64 i i) n) 100/3)))))) (fma.f64 25 (pow.f64 i 3) (fma.f64 50 i (fma.f64 50 (.f64 i i) (.f64 (/.f64 (pow.f64 i 3) (*.f64 n n)) 25)))))
	48.8b	(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n)))
	54.9b	(.f64 n (fma.f64 100 (+.f64 (/.f64 (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i))) i) (.f64 (/.f64 (*.f64 n n) i) (/.f64 (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i))) i))) (/.f64 -100 i)))
✓	29.6b	(*.f64 100 n)
	46.0b	(*.f64 n (/.f64 (fma.f64 100 (pow.f64 (/.f64 (/.f64 -1 n) (/.f64 -1 i)) n) -100) i))
	54.9b	(-.f64 (fma.f64 50 (/.f64 (.f64 (pow.f64 n 3) (pow.f64 (log.f64 i) 2)) i) (fma.f64 100 (/.f64 (.f64 (.f64 n n) (log.f64 i)) i) (fma.f64 100 (/.f64 (pow.f64 n 3) (.f64 i i)) (.f64 50 (/.f64 (.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 2)) i))))) (.f64 100 (+.f64 (/.f64 (.f64 (pow.f64 n 3) (.f64 (log.f64 i) (log.f64 n))) i) (/.f64 (.f64 (*.f64 n n) (log.f64 n)) i))))
	47.3b	(exp.f64 (log.f64 (.f64 n (-.f64 (+.f64 100 (fma.f64 i 50 (fma.f64 (.f64 i i) 50/3 (.f64 100/3 (.f64 (/.f64 i n) (/.f64 i n)))))) (.f64 50 (+.f64 (/.f64 (.f64 i i) n) (/.f64 i n)))))))
	54.6b	(/.f64 (.f64 100 (.f64 n (expm1.f64 (*.f64 n (fma.f64 -1 (log.f64 n) (log.f64 i)))))) i)
✓	30.6b	(fma.f64 n 100 (*.f64 i (fma.f64 n 50 -50)))
	48.7b	(.f64 n (-.f64 (.f64 100 (/.f64 (exp.f64 i) i)) (+.f64 (.f64 50 (/.f64 (.f64 (exp.f64 i) i) n)) (*.f64 100 (/.f64 1 i)))))
	54.0b	(.f64 n (/.f64 (.f64 n (-.f64 (.f64 100 (log.f64 i)) (.f64 100 (log.f64 n)))) i))
	53.8b	(.f64 n (-.f64 (fma.f64 100 (/.f64 (.f64 n (log.f64 i)) i) (fma.f64 50 (/.f64 (.f64 (.f64 n n) (pow.f64 (log.f64 i) 2)) i) (fma.f64 100 (.f64 (/.f64 n i) (/.f64 n i)) (.f64 50 (/.f64 (.f64 (.f64 n n) (pow.f64 (log.f64 n) 2)) i))))) (.f64 100 (+.f64 (/.f64 (.f64 (.f64 n n) (.f64 (log.f64 i) (log.f64 n))) i) (/.f64 (*.f64 n (log.f64 n)) i)))))
	47.8b	(/.f64 (fma.f64 (exp.f64 i) 100 -100) (/.f64 i n))
	47.8b	(/.f64 (.f64 (-.f64 (.f64 100 (exp.f64 i)) 100) n) i)
	55.4b	(fma.f64 100 (+.f64 (/.f64 (.f64 n (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i)))) i) (/.f64 (.f64 (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i))) (pow.f64 n 3)) (.f64 i i))) (.f64 (/.f64 n i) -100))

Compiler

Compiled 1624 to 1113 computations (31.5% saved)

regimes768.0ms (6.8%)

Accuracy

Total 7.3b remaining (70.4%)

Threshold costs 0b (0%)

Counts

79 → 5

Compiler

Compiled 9052 to 6080 computations (32.8% saved)

bsearch255.0ms (2.3%)

Steps

Iters	Range		Point
3	5.7822390698821425e+274	8.005582345484438e+274	5.887413016264065e+274
9	2.9050658218234403e+231	2.4233517925229457e+240	2.3751934240026747e+240
9	0.00579022180323356	50651.624269443695	0.8560767434772578
9	-9.353060707798373e-9	-4.833690062419475e-14	-3.349360149998456e-9

Compiler

Compiled 3 to 2 computations (33.3% saved)

simplify12.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

30×	`*-commutative_binary64`
17×	`+-commutative_binary64`
15×	`sub-neg_binary64`
13×	`neg-sub0_binary64`
13×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	73	208
1	101	208
2	114	208
3	126	208
4	142	208
5	163	208
6	183	208
7	195	208
8	202	208
9	204	208
10	203	208

end302.0ms (2.7%)

Compiler: Compiled 725 to 455 computations (37.2% saved)

Iter	Nodes	Cost
0	73	208
1	101	208
2	114	208
3	126	208
4	142	208
5	163	208
6	183	208
7	195	208
8	202	208
9	204	208
10	203	208

Iter	Nodes	Cost
0	73	208
1	101	208
2	114	208
3	126	208
4	142	208
5	163	208
6	183	208
7	195	208
8	202	208
9	204	208
10	203	208

Details

analyze1.0s (9.1%)

sample6.9s (60.9%)

simplify43.0ms (0.4%)

prune7.0ms (0.1%)

localize9.0ms (0.1%)

series459.0ms (4.1%)

rewrite31.0ms (0.3%)

simplify331.0ms (2.9%)

prune362.0ms (3.2%)

localize2.0ms (0%)

prune28.0ms (0.2%)

localize16.0ms (0.1%)

series105.0ms (0.9%)

rewrite41.0ms (0.4%)

simplify196.0ms (1.7%)

prune266.0ms (2.4%)

localize6.0ms (0.1%)

series15.0ms (0.1%)

rewrite6.0ms (0.1%)

simplify58.0ms (0.5%)

prune73.0ms (0.6%)

regimes768.0ms (6.8%)

bsearch255.0ms (2.3%)

simplify12.0ms (0.1%)

end302.0ms (2.7%)

Profiling

Iter	Nodes	Cost
0	73	208
1	101	208
2	114	208
3	126	208
4	142	208
5	163	208
6	183	208
7	195	208
8	202	208
9	204	208
10	203	208