Details

analyze2.3s (14.6%)

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
0%	99.9%	0.1%	6
1.6%	95.2%	3.2%	7
1.6%	94.4%	4%	8
3.5%	85.9%	10.6%	9
3.5%	84.9%	11.6%	10
4.8%	79.4%	15.8%	11
5.3%	78.2%	16.4%	12
6%	74.9%	19.1%	13
6.1%	74.5%	19.4%	14

Compiler

Compiled 18 to 12 computations (33.3% saved)

sample8.4s (53.9%)

Results

3.0s	1820×	body	2048	valid
2.2s	2754×	body	1024	valid
1.8s	735×	body	8192	exit
590.0ms	1210×	body	512	valid
308.0ms	1891×	body	128	valid
147.0ms	555×	body	256	valid
88.0ms	94×	body	1024	invalid
66.0ms	117×	body	512	invalid
63.0ms	408×	body	128	invalid
62.0ms	26×	body	4096	valid
31.0ms	88×	body	256	invalid
17.0ms	13×	body	2048	invalid

Compiler

Compiled 53 to 35 computations (34% saved)

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

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

46.1b

Counts

3 → 2

Alt Table

Status	Error	Program
	46.4b	(*.f64 n (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i))
▶	46.3b	(*.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)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n)))
✓	0.8b	(-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1)
✓	5.2b	(pow.f64 (+.f64 1 (/.f64 i n)) n)
✓	9.9b	(/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n))

series311.0ms (2%)

Counts

4 → 96

Calls

4 calls:

117.0ms	(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n)))
108.0ms	(/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n))
55.0ms	(-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1)
30.0ms	(pow.f64 (+.f64 1 (/.f64 i n)) n)

rewrite151.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

584×	`times-frac_binary64`
502×	`add-sqr-sqrt_binary64`
391×	`*-un-lft-identity_binary64`
241×	`add-cube-cbrt_binary64`
174×	`associate-r_binary64`

Counts

4 → 494

Calls

4 calls:

38.0ms	(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n)))
16.0ms	(/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n))
8.0ms	(-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1)
5.0ms	(pow.f64 (+.f64 1 (/.f64 i n)) n)

simplify382.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

961×	`fma-def_binary64`
386×	`times-frac_binary64`
336×	`*-commutative_binary64`
275×	`+-commutative_binary64`
222×	`associate-*r/_binary64`

Counts

590 → 793

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1123	23638
1	3503	23269
2	4974	23269

prune742.0ms (4.8%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	786	7	793
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	787	8	795

Error

0.1b

Counts

795 → 8

Alt Table

Status	Error	Program
	56.3b	(-.f64 (+.f64 (.f64 100 (/.f64 (.f64 (log.f64 i) (pow.f64 n 4)) (pow.f64 i 2))) (+.f64 (.f64 50 (/.f64 (.f64 (pow.f64 n 3) (pow.f64 (log.f64 i) 2)) i)) (+.f64 (.f64 50/3 (/.f64 (.f64 (pow.f64 (log.f64 i) 3) (pow.f64 n 4)) i)) (+.f64 (.f64 100 (/.f64 (.f64 (pow.f64 n 2) (log.f64 i)) i)) (+.f64 (.f64 100 (/.f64 (pow.f64 n 3) (pow.f64 i 2))) (+.f64 (.f64 50 (/.f64 (.f64 (log.f64 i) (.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 2))) i)) (.f64 50 (/.f64 (.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 2)) i)))))))) (+.f64 (.f64 50 (/.f64 (.f64 (pow.f64 (log.f64 i) 2) (.f64 (pow.f64 n 4) (log.f64 n))) i)) (+.f64 (.f64 100 (/.f64 (.f64 (pow.f64 n 4) (log.f64 n)) (pow.f64 i 2))) (+.f64 (.f64 100 (/.f64 (.f64 (pow.f64 n 2) (log.f64 n)) i)) (+.f64 (.f64 50 (/.f64 (pow.f64 n 4) (pow.f64 i 3))) (+.f64 (.f64 100 (/.f64 (.f64 (pow.f64 n 3) (.f64 (log.f64 i) (log.f64 n))) i)) (.f64 50/3 (/.f64 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 3)) i))))))))
	55.1b	(.f64 100 (/.f64 (-.f64 (fma.f64 1/2 (.f64 (.f64 n n) (pow.f64 (log.f64 n) 2)) (fma.f64 n (log.f64 i) (fma.f64 1/2 (.f64 (.f64 n n) (pow.f64 (log.f64 i) 2)) (/.f64 (.f64 n n) i)))) (fma.f64 n (log.f64 n) (.f64 (.f64 n n) (*.f64 (log.f64 i) (log.f64 n))))) (/.f64 i n)))
	32.2b	(-.f64 (fma.f64 n 100 (fma.f64 (/.f64 (pow.f64 i 3) n) 275/6 (fma.f64 (.f64 n i) 50 (fma.f64 (.f64 n (pow.f64 i 3)) 25/6 (fma.f64 (.f64 n (.f64 i i)) 50/3 (.f64 (/.f64 (.f64 i i) n) 100/3)))))) (fma.f64 (pow.f64 i 3) 25 (fma.f64 50 (+.f64 i (.f64 i i)) (.f64 (/.f64 (pow.f64 i 3) (*.f64 n n)) 25))))
	44.0b	(.f64 100 (/.f64 (expm1.f64 (.f64 (log.f64 (+.f64 1 (/.f64 i n))) n)) (/.f64 i n)))
	29.1b	(-.f64 (fma.f64 n 100 (.f64 (.f64 n i) 50)) (*.f64 i 50))
▶	22.5b	(.f64 100 (/.f64 (.f64 n (expm1.f64 i)) i))
	46.4b	(*.f64 100 (/.f64 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) i) (/.f64 1 n)))
	46.4b	(*.f64 n (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i))

Compiler

Compiled 31926 to 18172 computations (43.1% saved)

localize6.0ms (0%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 n (expm1.f64 i))
✓	0.1b	(.f64 100 (/.f64 (.f64 n (expm1.f64 i)) i))
✓	8.9b	(/.f64 (*.f64 n (expm1.f64 i)) i)

series35.0ms (0.2%)

Counts

3 → 72

Calls

3 calls:

14.0ms	(.f64 100 (/.f64 (.f64 n (expm1.f64 i)) i))
11.0ms	(/.f64 (*.f64 n (expm1.f64 i)) i)
9.0ms	(*.f64 n (expm1.f64 i))

rewrite15.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-cbrt-cube_binary64`
19×	`add-exp-log_binary64`
14×	`add-sqr-sqrt_binary64`
10×	`associate-r_binary64`
10×	`*-un-lft-identity_binary64`

Counts

3 → 72

Calls

3 calls:

5.0ms	(.f64 100 (/.f64 (.f64 n (expm1.f64 i)) i))
3.0ms	(/.f64 (*.f64 n (expm1.f64 i)) i)
3.0ms	(*.f64 n (expm1.f64 i))

simplify110.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

976×	`times-frac_binary64`
431×	`fma-def_binary64`
238×	`associate-/l/_binary64`
199×	`distribute-rgt-in_binary64`
194×	`distribute-lft-in_binary64`

Counts

144 → 125

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	160	1784
1	383	1599
2	1367	1579
3	4720	1579
4	4994	1579
5	4998	1579
6	4988	1579

prune83.0ms (0.5%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	123	2	125
Fresh	1	6	7
Picked	0	1	1
Done	0	0	0
Total	124	9	133

Error

0.1b

Counts

133 → 9

Alt Table

Status	Error	Program
	56.3b	(-.f64 (+.f64 (.f64 100 (/.f64 (.f64 (log.f64 i) (pow.f64 n 4)) (pow.f64 i 2))) (+.f64 (.f64 50 (/.f64 (.f64 (pow.f64 n 3) (pow.f64 (log.f64 i) 2)) i)) (+.f64 (.f64 50/3 (/.f64 (.f64 (pow.f64 (log.f64 i) 3) (pow.f64 n 4)) i)) (+.f64 (.f64 100 (/.f64 (.f64 (pow.f64 n 2) (log.f64 i)) i)) (+.f64 (.f64 100 (/.f64 (pow.f64 n 3) (pow.f64 i 2))) (+.f64 (.f64 50 (/.f64 (.f64 (log.f64 i) (.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 2))) i)) (.f64 50 (/.f64 (.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 2)) i)))))))) (+.f64 (.f64 50 (/.f64 (.f64 (pow.f64 (log.f64 i) 2) (.f64 (pow.f64 n 4) (log.f64 n))) i)) (+.f64 (.f64 100 (/.f64 (.f64 (pow.f64 n 4) (log.f64 n)) (pow.f64 i 2))) (+.f64 (.f64 100 (/.f64 (.f64 (pow.f64 n 2) (log.f64 n)) i)) (+.f64 (.f64 50 (/.f64 (pow.f64 n 4) (pow.f64 i 3))) (+.f64 (.f64 100 (/.f64 (.f64 (pow.f64 n 3) (.f64 (log.f64 i) (log.f64 n))) i)) (.f64 50/3 (/.f64 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 3)) i))))))))
	55.1b	(.f64 100 (/.f64 (-.f64 (fma.f64 1/2 (.f64 (.f64 n n) (pow.f64 (log.f64 n) 2)) (fma.f64 n (log.f64 i) (fma.f64 1/2 (.f64 (.f64 n n) (pow.f64 (log.f64 i) 2)) (/.f64 (.f64 n n) i)))) (fma.f64 n (log.f64 n) (.f64 (.f64 n n) (*.f64 (log.f64 i) (log.f64 n))))) (/.f64 i n)))
	22.7b	(/.f64 (.f64 (expm1.f64 i) (.f64 n 100)) i)
	29.1b	(-.f64 (fma.f64 n 100 (.f64 (.f64 n i) 50)) (*.f64 i 50))
✓	22.5b	(.f64 100 (/.f64 (.f64 n (expm1.f64 i)) i))
	46.4b	(*.f64 100 (/.f64 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) i) (/.f64 1 n)))
▶	18.4b	(.f64 100 (.f64 n (/.f64 (expm1.f64 i) i)))
	46.4b	(*.f64 n (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i))
	44.0b	(.f64 100 (/.f64 (expm1.f64 (.f64 (log.f64 (+.f64 1 (/.f64 i n))) n)) (/.f64 i n)))

Compiler

Compiled 2314 to 1136 computations (50.9% saved)

localize5.0ms (0%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (expm1.f64 i) i)
✓	0.0b	(*.f64 n (/.f64 (expm1.f64 i) i))
✓	0.1b	(.f64 100 (.f64 n (/.f64 (expm1.f64 i) i)))

series30.0ms (0.2%)

Counts

3 → 60

Calls

3 calls:

15.0ms	(.f64 100 (.f64 n (/.f64 (expm1.f64 i) i)))
12.0ms	(*.f64 n (/.f64 (expm1.f64 i) i))
3.0ms	(/.f64 (expm1.f64 i) i)

rewrite19.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`add-sqr-sqrt_binary64`
20×	`*-un-lft-identity_binary64`
20×	`add-cube-cbrt_binary64`
19×	`times-frac_binary64`
19×	`add-cbrt-cube_binary64`

Counts

3 → 87

Calls

3 calls:

5.0ms	(.f64 100 (.f64 n (/.f64 (expm1.f64 i) i)))
5.0ms	(*.f64 n (/.f64 (expm1.f64 i) i))
2.0ms	(/.f64 (expm1.f64 i) i)

simplify81.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

922×	`fma-def_binary64`
460×	`associate-*l/_binary64`
325×	`associate-/l*_binary64`
289×	`times-frac_binary64`
201×	`distribute-rgt-in_binary64`

Counts

147 → 145

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	174	1883
1	405	1704
2	1383	1693
3	4692	1670
4	5258	1670

prune87.0ms (0.6%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	145	0	145
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	145	9	154

Error

0.1b

Counts

154 → 9

Alt Table

Status	Error	Program
	56.3b	(-.f64 (+.f64 (.f64 100 (/.f64 (.f64 (log.f64 i) (pow.f64 n 4)) (pow.f64 i 2))) (+.f64 (.f64 50 (/.f64 (.f64 (pow.f64 n 3) (pow.f64 (log.f64 i) 2)) i)) (+.f64 (.f64 50/3 (/.f64 (.f64 (pow.f64 (log.f64 i) 3) (pow.f64 n 4)) i)) (+.f64 (.f64 100 (/.f64 (.f64 (pow.f64 n 2) (log.f64 i)) i)) (+.f64 (.f64 100 (/.f64 (pow.f64 n 3) (pow.f64 i 2))) (+.f64 (.f64 50 (/.f64 (.f64 (log.f64 i) (.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 2))) i)) (.f64 50 (/.f64 (.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 2)) i)))))))) (+.f64 (.f64 50 (/.f64 (.f64 (pow.f64 (log.f64 i) 2) (.f64 (pow.f64 n 4) (log.f64 n))) i)) (+.f64 (.f64 100 (/.f64 (.f64 (pow.f64 n 4) (log.f64 n)) (pow.f64 i 2))) (+.f64 (.f64 100 (/.f64 (.f64 (pow.f64 n 2) (log.f64 n)) i)) (+.f64 (.f64 50 (/.f64 (pow.f64 n 4) (pow.f64 i 3))) (+.f64 (.f64 100 (/.f64 (.f64 (pow.f64 n 3) (.f64 (log.f64 i) (log.f64 n))) i)) (.f64 50/3 (/.f64 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 3)) i))))))))
	55.1b	(.f64 100 (/.f64 (-.f64 (fma.f64 1/2 (.f64 (.f64 n n) (pow.f64 (log.f64 n) 2)) (fma.f64 n (log.f64 i) (fma.f64 1/2 (.f64 (.f64 n n) (pow.f64 (log.f64 i) 2)) (/.f64 (.f64 n n) i)))) (fma.f64 n (log.f64 n) (.f64 (.f64 n n) (*.f64 (log.f64 i) (log.f64 n))))) (/.f64 i n)))
▶	22.7b	(/.f64 (.f64 (expm1.f64 i) (.f64 n 100)) i)
	29.1b	(-.f64 (fma.f64 n 100 (.f64 (.f64 n i) 50)) (*.f64 i 50))
✓	22.5b	(.f64 100 (/.f64 (.f64 n (expm1.f64 i)) i))
	46.4b	(*.f64 100 (/.f64 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) i) (/.f64 1 n)))
✓	18.4b	(.f64 100 (.f64 n (/.f64 (expm1.f64 i) i)))
	46.4b	(*.f64 n (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i))
	44.0b	(.f64 100 (/.f64 (expm1.f64 (.f64 (log.f64 (+.f64 1 (/.f64 i n))) n)) (/.f64 i n)))

Compiler

Compiled 2608 to 1228 computations (52.9% saved)

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (expm1.f64 i) (.f64 n 100))
✓	9.2b	(/.f64 (.f64 (expm1.f64 i) (.f64 n 100)) i)

series23.0ms (0.1%)

Counts

2 → 48

Calls

2 calls:

13.0ms	(/.f64 (.f64 (expm1.f64 i) (.f64 n 100)) i)
10.0ms	(.f64 (expm1.f64 i) (.f64 n 100))

rewrite12.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-cbrt-cube_binary64`
16×	`add-exp-log_binary64`
7×	`pow1_binary64`
6×	`cbrt-unprod_binary64`
6×	`prod-exp_binary64`

Counts

2 → 45

Calls

2 calls:

5.0ms	(/.f64 (.f64 (expm1.f64 i) (.f64 n 100)) i)
4.0ms	(.f64 (expm1.f64 i) (.f64 n 100))

simplify63.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

470×	`div-sub_binary64`
442×	`associate-*l/_binary64`
418×	`associate-/r*_binary64`
333×	`associate-*r/_binary64`
296×	`fma-def_binary64`

Counts

93 → 93

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	126	1363
1	319	1157
2	1315	1138
3	4627	1138
4	5821	1138

prune60.0ms (0.4%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	93	0	93
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	93	9	102

Error

0.1b

Counts

102 → 9

Alt Table

Status	Error	Program
	56.3b	(-.f64 (+.f64 (.f64 100 (/.f64 (.f64 (log.f64 i) (pow.f64 n 4)) (pow.f64 i 2))) (+.f64 (.f64 50 (/.f64 (.f64 (pow.f64 n 3) (pow.f64 (log.f64 i) 2)) i)) (+.f64 (.f64 50/3 (/.f64 (.f64 (pow.f64 (log.f64 i) 3) (pow.f64 n 4)) i)) (+.f64 (.f64 100 (/.f64 (.f64 (pow.f64 n 2) (log.f64 i)) i)) (+.f64 (.f64 100 (/.f64 (pow.f64 n 3) (pow.f64 i 2))) (+.f64 (.f64 50 (/.f64 (.f64 (log.f64 i) (.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 2))) i)) (.f64 50 (/.f64 (.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 2)) i)))))))) (+.f64 (.f64 50 (/.f64 (.f64 (pow.f64 (log.f64 i) 2) (.f64 (pow.f64 n 4) (log.f64 n))) i)) (+.f64 (.f64 100 (/.f64 (.f64 (pow.f64 n 4) (log.f64 n)) (pow.f64 i 2))) (+.f64 (.f64 100 (/.f64 (.f64 (pow.f64 n 2) (log.f64 n)) i)) (+.f64 (.f64 50 (/.f64 (pow.f64 n 4) (pow.f64 i 3))) (+.f64 (.f64 100 (/.f64 (.f64 (pow.f64 n 3) (.f64 (log.f64 i) (log.f64 n))) i)) (.f64 50/3 (/.f64 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 3)) i))))))))
	55.1b	(.f64 100 (/.f64 (-.f64 (fma.f64 1/2 (.f64 (.f64 n n) (pow.f64 (log.f64 n) 2)) (fma.f64 n (log.f64 i) (fma.f64 1/2 (.f64 (.f64 n n) (pow.f64 (log.f64 i) 2)) (/.f64 (.f64 n n) i)))) (fma.f64 n (log.f64 n) (.f64 (.f64 n n) (*.f64 (log.f64 i) (log.f64 n))))) (/.f64 i n)))
✓	22.7b	(/.f64 (.f64 (expm1.f64 i) (.f64 n 100)) i)
	29.1b	(-.f64 (fma.f64 n 100 (.f64 (.f64 n i) 50)) (*.f64 i 50))
✓	22.5b	(.f64 100 (/.f64 (.f64 n (expm1.f64 i)) i))
	46.4b	(*.f64 100 (/.f64 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) i) (/.f64 1 n)))
✓	18.4b	(.f64 100 (.f64 n (/.f64 (expm1.f64 i) i)))
	46.4b	(*.f64 n (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i))
	44.0b	(.f64 100 (/.f64 (expm1.f64 (.f64 (log.f64 (+.f64 1 (/.f64 i n))) n)) (/.f64 i n)))

Compiler

Compiled 1584 to 876 computations (44.7% saved)

regimes1.8s (11.7%)

Accuracy

Total 10.2b remaining (98.1%)

Threshold costs 0b (0%)

Counts

186 → 4

Compiler

Compiled 21284 to 14076 computations (33.9% saved)

bsearch357.0ms (2.3%)

Steps

Iters	Range		Point
8	5.388067942991102e+270	3.43523321466416e+274	4.3408139321053756e+272
9	1.3741574948488024e-8	0.02702903082187427	0.02161134565546455
8	-39646175604.71565	-20957945.02104451	-21315269.074093234

Compiler

Compiled 3 to 2 computations (33.3% saved)

simplify99.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

55×	`*-commutative_binary64`
42×	`+-commutative_binary64`
30×	`sub-neg_binary64`
28×	`neg-sub0_binary64`
28×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	95	312
1	141	312
2	149	312
3	168	312
4	189	312
5	224	312
6	268	312
7	306	312
8	334	312
9	359	312
10	371	312
11	378	312
12	380	312
13	376	312

end353.0ms (2.3%)

Compiler: Compiled 726 to 479 computations (34% saved)

Iter	Nodes	Cost
0	95	312
1	141	312
2	149	312
3	168	312
4	189	312
5	224	312
6	268	312
7	306	312
8	334	312
9	359	312
10	371	312
11	378	312
12	380	312
13	376	312

Iter	Nodes	Cost
0	95	312
1	141	312
2	149	312
3	168	312
4	189	312
5	224	312
6	268	312
7	306	312
8	334	312
9	359	312
10	371	312
11	378	312
12	380	312
13	376	312

Details

analyze2.3s (14.6%)

sample8.4s (53.9%)

simplify45.0ms (0.3%)

prune4.0ms (0%)

localize9.0ms (0.1%)

series311.0ms (2%)

rewrite151.0ms (1%)

simplify382.0ms (2.5%)

prune742.0ms (4.8%)

localize6.0ms (0%)

series35.0ms (0.2%)

rewrite15.0ms (0.1%)

simplify110.0ms (0.7%)

prune83.0ms (0.5%)

localize5.0ms (0%)

series30.0ms (0.2%)

rewrite19.0ms (0.1%)

simplify81.0ms (0.5%)

prune87.0ms (0.6%)

localize6.0ms (0%)

series23.0ms (0.1%)

rewrite12.0ms (0.1%)

simplify63.0ms (0.4%)

prune60.0ms (0.4%)

regimes1.8s (11.7%)

bsearch357.0ms (2.3%)

simplify99.0ms (0.6%)

end353.0ms (2.3%)

Profiling

Iter	Nodes	Cost
0	95	312
1	141	312
2	149	312
3	168	312
4	189	312
5	224	312
6	268	312
7	306	312
8	334	312
9	359	312
10	371	312
11	378	312
12	380	312
13	376	312