Details

analyze1.2s (5.5%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
25%	74.9%	0.1%	3
25%	74.9%	0.1%	4
37.5%	62.4%	0.1%	5
43.7%	56.2%	0.1%	6
53.1%	43.7%	3.2%	7
57.8%	38.2%	4%	8
63.2%	26.1%	10.6%	9
66%	22.4%	11.6%	10
68.9%	15.3%	15.8%	11
70.3%	13.2%	16.4%	12
71.9%	9.4%	18.8%	13
72.6%	8.3%	19.1%	14

Compiler

Compiled 18 to 12 computations (33.3% saved)

sample9.4s (44.1%)

Results

4.1s	1557×	body	2048	valid
3.1s	2528×	body	1024	valid
969.0ms	1274×	body	512	valid
543.0ms	2194×	body	128	valid
353.0ms	665×	body	256	valid
170.0ms	38×	body	4096	valid
52.0ms	275×	body	128	invalid

Compiler

Compiled 53 to 35 computations (34% saved)

simplify67.0ms (0.3%)

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

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

47.5b

Counts

3 → 2

Alt Table

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

Compiler

Compiled 97 to 63 computations (35.1% saved)

localize24.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))
✓	2.1b	(fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100)
✓	5.1b	(pow.f64 (+.f64 1 (/.f64 i n)) n)

series599.0ms (2.8%)

Counts

4 → 96

Calls

4 calls:

244.0ms	(*.f64 n (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i))
193.0ms	(/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i)
117.0ms	(fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100)
45.0ms	(pow.f64 (+.f64 1 (/.f64 i n)) n)

rewrite26.0ms (0.1%)

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:

10.0ms	(pow.f64 (+.f64 1 (/.f64 i n)) n)
7.0ms	(*.f64 n (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i))
3.0ms	(/.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)

simplify326.0ms (1.5%)

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

prune725.0ms (3.4%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	250	11	261
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	252	11	263

Error

2.3b

Counts

263 → 11

Alt Table

Status	Error	Program
	47.5b	(.f64 n (/.f64 (+.f64 (.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n)) -100) i))
	40.4b	(.f64 n (/.f64 (fma.f64 100 (exp.f64 (.f64 n (log1p.f64 (/.f64 i n)))) -100) i))
	56.3b	(.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)))
	54.8b	(.f64 n (/.f64 (-.f64 (fma.f64 50 (.f64 (.f64 n n) (pow.f64 (log.f64 i) 2)) (fma.f64 50 (.f64 (.f64 n n) (pow.f64 (log.f64 n) 2)) (.f64 100 (+.f64 (.f64 n (log.f64 i)) (/.f64 (.f64 n n) i))))) (.f64 100 (.f64 (log.f64 n) (+.f64 n (.f64 (.f64 n n) (log.f64 i)))))) i))
	58.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))
	52.4b	(/.f64 (.f64 100 (.f64 n (expm1.f64 (*.f64 n (fma.f64 -1 (log.f64 n) (log.f64 i)))))) i)
▶	28.0b	(-.f64 (fma.f64 50/3 (.f64 (.f64 i i) n) (fma.f64 100 n (fma.f64 100/3 (/.f64 (.f64 i i) n) (.f64 50 (.f64 i n))))) (.f64 50 (+.f64 i (*.f64 i i))))
	30.3b	(*.f64 100 n)
	42.0b	(/.f64 (fma.f64 (exp.f64 i) 100 -100) (/.f64 i n))
	42.1b	(/.f64 (.f64 (-.f64 (.f64 100 (exp.f64 i)) 100) n) i)
	55.8b	(-.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))))

Compiler

Compiled 13747 to 8619 computations (37.3% saved)

localize30.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	3.7b	(fma.f64 50/3 (.f64 (.f64 i i) n) (fma.f64 100 n (fma.f64 100/3 (/.f64 (.f64 i i) n) (.f64 50 (*.f64 i n)))))
✓	6.4b	(.f64 (.f64 i i) n)
✓	6.6b	(-.f64 (fma.f64 50/3 (.f64 (.f64 i i) n) (fma.f64 100 n (fma.f64 100/3 (/.f64 (.f64 i i) n) (.f64 50 (.f64 i n))))) (.f64 50 (+.f64 i (*.f64 i i))))
✓	8.2b	(/.f64 (*.f64 i i) n)

series105.0ms (0.5%)

Counts

4 → 96

Calls

4 calls:

33.0ms	(fma.f64 50/3 (.f64 (.f64 i i) n) (fma.f64 100 n (fma.f64 100/3 (/.f64 (.f64 i i) n) (.f64 50 (*.f64 i n)))))
33.0ms	(/.f64 (*.f64 i i) n)
30.0ms	(-.f64 (fma.f64 50/3 (.f64 (.f64 i i) n) (fma.f64 100 n (fma.f64 100/3 (/.f64 (.f64 i i) n) (.f64 50 (.f64 i n))))) (.f64 50 (+.f64 i (*.f64 i i))))
9.0ms	(.f64 (.f64 i i) n)

rewrite26.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-cbrt-cube_binary64`
14×	`add-exp-log_binary64`
10×	`add-sqr-sqrt_binary64`
9×	`*-un-lft-identity_binary64`
9×	`add-cube-cbrt_binary64`

Counts

4 → 77

Calls

4 calls:

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

simplify181.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

772×	`fma-def_binary64`
707×	`distribute-rgt-in_binary64`
693×	`distribute-lft-in_binary64`
367×	`times-frac_binary64`
147×	`cancel-sign-sub-inv_binary64`

Counts

173 → 145

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	156	3791
1	393	3344
2	1492	2964
3	5543	2964

prune317.0ms (1.5%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	142	3	145
Fresh	1	9	10
Picked	0	1	1
Done	0	0	0
Total	143	13	156

Error

2.3b

Counts

156 → 13

Alt Table

Status	Error	Program
	45.9b	(.f64 (sqrt.f64 (fma.f64 (fma.f64 i i i) -50 (fma.f64 n (fma.f64 i 50 (fma.f64 (.f64 i i) 50/3 100)) (.f64 (/.f64 (.f64 i i) n) 100/3)))) (sqrt.f64 (fma.f64 (fma.f64 i i i) -50 (fma.f64 n (fma.f64 i 50 (fma.f64 (.f64 i i) 50/3 100)) (.f64 (/.f64 (*.f64 i i) n) 100/3)))))
	56.3b	(.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)))
▶	24.6b	(.f64 n (+.f64 100 (+.f64 (.f64 50 i) (*.f64 50/3 (pow.f64 i 2)))))
	54.8b	(.f64 n (/.f64 (-.f64 (fma.f64 50 (.f64 (.f64 n n) (pow.f64 (log.f64 i) 2)) (fma.f64 50 (.f64 (.f64 n n) (pow.f64 (log.f64 n) 2)) (.f64 100 (+.f64 (.f64 n (log.f64 i)) (/.f64 (.f64 n n) i))))) (.f64 100 (.f64 (log.f64 n) (+.f64 n (.f64 (.f64 n n) (log.f64 i)))))) i))
	41.6b	(cbrt.f64 (pow.f64 (fma.f64 (fma.f64 i i i) -50 (fma.f64 n (fma.f64 i 50 (fma.f64 (.f64 i i) 50/3 100)) (.f64 (/.f64 (*.f64 i i) n) 100/3))) 3))
	47.5b	(.f64 n (/.f64 (+.f64 (.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n)) -100) i))
	40.4b	(.f64 n (/.f64 (fma.f64 100 (exp.f64 (.f64 n (log1p.f64 (/.f64 i n)))) -100) i))
	58.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))
	52.4b	(/.f64 (.f64 100 (.f64 n (expm1.f64 (*.f64 n (fma.f64 -1 (log.f64 n) (log.f64 i)))))) i)
✓	28.0b	(-.f64 (fma.f64 50/3 (.f64 (.f64 i i) n) (fma.f64 100 n (fma.f64 100/3 (/.f64 (.f64 i i) n) (.f64 50 (.f64 i n))))) (.f64 50 (+.f64 i (*.f64 i i))))
	42.0b	(/.f64 (fma.f64 (exp.f64 i) 100 -100) (/.f64 i n))
	42.1b	(/.f64 (.f64 (-.f64 (.f64 100 (exp.f64 i)) 100) n) i)
	55.8b	(-.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))))

Compiler

Compiled 5997 to 2688 computations (55.2% saved)

localize15.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.2b	(+.f64 (.f64 50 i) (.f64 50/3 (pow.f64 i 2)))
✓	0.2b	(*.f64 50/3 (pow.f64 i 2))
✓	1.7b	(.f64 n (+.f64 100 (+.f64 (.f64 50 i) (*.f64 50/3 (pow.f64 i 2)))))

series61.0ms (0.3%)

Counts

3 → 15

Calls

3 calls:

39.0ms	(.f64 n (+.f64 100 (+.f64 (.f64 50 i) (*.f64 50/3 (pow.f64 i 2)))))
17.0ms	(+.f64 (.f64 50 i) (.f64 50/3 (pow.f64 i 2)))
5.0ms	(*.f64 50/3 (pow.f64 i 2))

rewrite32.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-sqr-sqrt_binary64`
12×	`associate-r_binary64`
10×	`*-un-lft-identity_binary64`
10×	`add-exp-log_binary64`
8×	`add-cube-cbrt_binary64`

Counts

3 → 68

Calls

3 calls:

10.0ms	(.f64 n (+.f64 100 (+.f64 (.f64 50 i) (*.f64 50/3 (pow.f64 i 2)))))
6.0ms	(*.f64 50/3 (pow.f64 i 2))
4.0ms	(+.f64 (.f64 50 i) (.f64 50/3 (pow.f64 i 2)))

simplify209.0ms (1%)

Algorithm

1×	egg-herbie

Rules

604×	`distribute-rgt-in_binary64`
580×	`distribute-lft-in_binary64`
463×	`fma-def_binary64`
456×	`fma-neg_binary64`
302×	`*-commutative_binary64`

Counts

83 → 120

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	132	1324
1	343	1137
2	1084	1041
3	3513	1041
4	4574	978
5	4996	978
6	4894	978

prune284.0ms (1.3%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	117	3	120
Fresh	2	9	11
Picked	1	0	1
Done	0	1	1
Total	120	13	133

Error

2.3b

Counts

133 → 13

Alt Table

Status	Error	Program
	40.4b	(.f64 n (/.f64 (fma.f64 100 (exp.f64 (.f64 n (log1p.f64 (/.f64 i n)))) -100) i))
	52.8b	(.f64 50/3 (.f64 n (pow.f64 i 2)))
	41.6b	(cbrt.f64 (pow.f64 (fma.f64 (fma.f64 i i i) -50 (fma.f64 n (fma.f64 i 50 (fma.f64 (.f64 i i) 50/3 100)) (.f64 (/.f64 (*.f64 i i) n) 100/3))) 3))
	54.8b	(.f64 n (/.f64 (-.f64 (fma.f64 50 (.f64 (.f64 n n) (pow.f64 (log.f64 i) 2)) (fma.f64 50 (.f64 (.f64 n n) (pow.f64 (log.f64 n) 2)) (.f64 100 (+.f64 (.f64 n (log.f64 i)) (/.f64 (.f64 n n) i))))) (.f64 100 (.f64 (log.f64 n) (+.f64 n (.f64 (.f64 n n) (log.f64 i)))))) i))
	58.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))
▶	25.4b	(.f64 (.f64 n (.f64 (cbrt.f64 (+.f64 100 (.f64 i (fma.f64 i 50/3 50)))) (cbrt.f64 (+.f64 100 (.f64 i (fma.f64 i 50/3 50)))))) (cbrt.f64 (+.f64 100 (+.f64 (.f64 50 i) (*.f64 50/3 (pow.f64 i 2))))))
	42.0b	(/.f64 (fma.f64 (exp.f64 i) 100 -100) (/.f64 i n))
	28.5b	(/.f64 (.f64 n (fma.f64 (.f64 i (fma.f64 i 50/3 50)) (.f64 i (fma.f64 i -50/3 -50)) 10000)) (-.f64 100 (+.f64 (.f64 50 i) (*.f64 50/3 (pow.f64 i 2)))))
	47.5b	(.f64 n (/.f64 (+.f64 (.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n)) -100) i))
	52.4b	(/.f64 (.f64 100 (.f64 n (expm1.f64 (*.f64 n (fma.f64 -1 (log.f64 n) (log.f64 i)))))) i)
✓	28.0b	(-.f64 (fma.f64 50/3 (.f64 (.f64 i i) n) (fma.f64 100 n (fma.f64 100/3 (/.f64 (.f64 i i) n) (.f64 50 (.f64 i n))))) (.f64 50 (+.f64 i (*.f64 i i))))
	42.1b	(/.f64 (.f64 (-.f64 (.f64 100 (exp.f64 i)) 100) n) i)
	55.8b	(-.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))))

Compiler

Compiled 3006 to 2208 computations (26.5% saved)

localize31.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.1b	(.f64 (cbrt.f64 (+.f64 100 (.f64 i (fma.f64 i 50/3 50)))) (cbrt.f64 (+.f64 100 (*.f64 i (fma.f64 i 50/3 50)))))
✓	1.7b	(.f64 n (.f64 (cbrt.f64 (+.f64 100 (.f64 i (fma.f64 i 50/3 50)))) (cbrt.f64 (+.f64 100 (.f64 i (fma.f64 i 50/3 50))))))
✓	13.5b	(cbrt.f64 (+.f64 100 (+.f64 (.f64 50 i) (.f64 50/3 (pow.f64 i 2)))))
✓	13.5b	(cbrt.f64 (+.f64 100 (*.f64 i (fma.f64 i 50/3 50))))

series1.8s (8.4%)

Counts

4 → 60

Calls

4 calls:

1.7s	(.f64 n (.f64 (cbrt.f64 (+.f64 100 (.f64 i (fma.f64 i 50/3 50)))) (cbrt.f64 (+.f64 100 (.f64 i (fma.f64 i 50/3 50))))))
29.0ms	(cbrt.f64 (+.f64 100 (+.f64 (.f64 50 i) (.f64 50/3 (pow.f64 i 2)))))
13.0ms	(.f64 (cbrt.f64 (+.f64 100 (.f64 i (fma.f64 i 50/3 50)))) (cbrt.f64 (+.f64 100 (*.f64 i (fma.f64 i 50/3 50)))))
10.0ms	(cbrt.f64 (+.f64 100 (*.f64 i (fma.f64 i 50/3 50))))

rewrite85.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`cbrt-div_binary64`
24×	`add-sqr-sqrt_binary64`
23×	`cbrt-prod_binary64`
17×	`*-un-lft-identity_binary64`
16×	`pow1_binary64`

Counts

4 → 110

Calls

4 calls:

37.0ms	(.f64 n (.f64 (cbrt.f64 (+.f64 100 (.f64 i (fma.f64 i 50/3 50)))) (cbrt.f64 (+.f64 100 (.f64 i (fma.f64 i 50/3 50))))))
21.0ms	(.f64 (cbrt.f64 (+.f64 100 (.f64 i (fma.f64 i 50/3 50)))) (cbrt.f64 (+.f64 100 (*.f64 i (fma.f64 i 50/3 50)))))
7.0ms	(cbrt.f64 (+.f64 100 (+.f64 (.f64 50 i) (.f64 50/3 (pow.f64 i 2)))))
4.0ms	(cbrt.f64 (+.f64 100 (*.f64 i (fma.f64 i 50/3 50))))

simplify283.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

718×	`fma-def_binary64`
345×	`distribute-rgt-in_binary64`
332×	`cancel-sign-sub-inv_binary64`
277×	`fma-neg_binary64`
243×	`times-frac_binary64`

Counts

170 → 236

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	271	6011
1	696	5194
2	2106	4423
3	4764	4401
4	4994	4401

prune780.0ms (3.7%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	284	3	287
Fresh	0	11	11
Picked	1	0	1
Done	0	1	1
Total	285	15	300

Error

2.3b

Counts

300 → 15

Alt Table

Status	Error	Program
	40.4b	(.f64 n (/.f64 (fma.f64 100 (exp.f64 (.f64 n (log1p.f64 (/.f64 i n)))) -100) i))
	52.8b	(.f64 50/3 (.f64 n (pow.f64 i 2)))
	41.6b	(cbrt.f64 (pow.f64 (fma.f64 (fma.f64 i i i) -50 (fma.f64 n (fma.f64 i 50 (fma.f64 (.f64 i i) 50/3 100)) (.f64 (/.f64 (*.f64 i i) n) 100/3))) 3))
	54.8b	(.f64 n (/.f64 (-.f64 (fma.f64 50 (.f64 (.f64 n n) (pow.f64 (log.f64 i) 2)) (fma.f64 50 (.f64 (.f64 n n) (pow.f64 (log.f64 n) 2)) (.f64 100 (+.f64 (.f64 n (log.f64 i)) (/.f64 (.f64 n n) i))))) (.f64 100 (.f64 (log.f64 n) (+.f64 n (.f64 (.f64 n n) (log.f64 i)))))) i))
	58.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))
	52.8b	(.f64 (.f64 n (.f64 (pow.f64 2500/9 1/3) (pow.f64 (pow.f64 i 4) 1/3))) (cbrt.f64 (+.f64 100 (+.f64 (.f64 50 i) (*.f64 50/3 (pow.f64 i 2))))))
	52.4b	(/.f64 (.f64 100 (.f64 n (expm1.f64 (*.f64 n (fma.f64 -1 (log.f64 n) (log.f64 i)))))) i)
	25.7b	(.f64 (.f64 n (.f64 (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 i (fma.f64 i 50/3 50) 100))) (cbrt.f64 (sqrt.f64 (fma.f64 i (fma.f64 i 50/3 50) 100)))) (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 i (fma.f64 i 50/3 50) 100))) (cbrt.f64 (sqrt.f64 (fma.f64 i (fma.f64 i 50/3 50) 100)))))) (cbrt.f64 (+.f64 100 (+.f64 (.f64 50 i) (*.f64 50/3 (pow.f64 i 2))))))
	42.0b	(/.f64 (fma.f64 (exp.f64 i) 100 -100) (/.f64 i n))
	28.5b	(/.f64 (.f64 n (fma.f64 (.f64 i (fma.f64 i 50/3 50)) (.f64 i (fma.f64 i -50/3 -50)) 10000)) (-.f64 100 (+.f64 (.f64 50 i) (*.f64 50/3 (pow.f64 i 2)))))
	55.8b	(-.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))))
	53.2b	(.f64 (.f64 n (.f64 (cbrt.f64 (+.f64 100 (.f64 i (fma.f64 i 50/3 50)))) (.f64 (pow.f64 50/3 1/3) (pow.f64 (.f64 i i) 1/3)))) (cbrt.f64 (+.f64 100 (+.f64 (.f64 50 i) (.f64 50/3 (pow.f64 i 2))))))
	47.5b	(.f64 n (/.f64 (+.f64 (.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n)) -100) i))
✓	28.0b	(-.f64 (fma.f64 50/3 (.f64 (.f64 i i) n) (fma.f64 100 n (fma.f64 100/3 (/.f64 (.f64 i i) n) (.f64 50 (.f64 i n))))) (.f64 50 (+.f64 i (*.f64 i i))))
	42.1b	(/.f64 (.f64 (-.f64 (.f64 100 (exp.f64 i)) 100) n) i)

Compiler

Compiled 13838 to 11151 computations (19.4% saved)

regimes3.8s (18%)

Accuracy

Total 8.4b remaining (75%)

Threshold costs 0b (0%)

Counts

231 → 3

Compiler

Compiled 25292 to 18448 computations (27.1% saved)

bsearch229.0ms (1.1%)

Steps

Iters	Range		Point
7	1.996442319373369e-6	3.230438352927998e-5	3.182613501787643e-5
8	-1.7522401493509306e-8	-2.921800628552142e-11	-2.6516593092203356e-10

Compiler

Compiled 3 to 2 computations (33.3% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	40	92
1	49	92
2	49	92

end686.0ms (3.2%)

Compiler: Compiled 581 to 392 computations (32.5% saved)

Details

analyze1.2s (5.5%)

sample9.4s (44.1%)

simplify67.0ms (0.3%)

prune5.0ms (0%)

localize24.0ms (0.1%)

series599.0ms (2.8%)

rewrite26.0ms (0.1%)

simplify326.0ms (1.5%)

prune725.0ms (3.4%)

localize30.0ms (0.1%)

series105.0ms (0.5%)

rewrite26.0ms (0.1%)

simplify181.0ms (0.8%)

prune317.0ms (1.5%)

localize15.0ms (0.1%)

series61.0ms (0.3%)

rewrite32.0ms (0.2%)

simplify209.0ms (1%)

prune284.0ms (1.3%)

localize31.0ms (0.1%)

series1.8s (8.4%)

rewrite85.0ms (0.4%)

simplify283.0ms (1.3%)

prune780.0ms (3.7%)

regimes3.8s (18%)

bsearch229.0ms (1.1%)

simplify5.0ms (0%)

end686.0ms (3.2%)

Profiling