Details

analyze107.0ms (1.7%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	71	11
1	71	11
0	1	1
1	1	1

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
50%	50%	0%	2
50%	25%	25%	3
50%	0%	50%	4

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample49.0ms (0.8%)

Algorithm

1×

intervals

Results

16.0ms	61×	body	1024	valid
10.0ms	34×	body	512	valid
8.0ms	138×	body	128	valid
3.0ms	7×	body	2048	valid
1.0ms	16×	body	256	valid

Compiler

Compiled 15 to 14 computations (6.7% saved)

simplify16.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	71	11
1	71	11

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

28.8b

Counts

2 → 1

Compiler

Compiled 14 to 12 computations (14.3% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

2.0b	(-.f64 (log.f64 (+.f64 N 1)) (log.f64 N))
3.8b	(log.f64 (+.f64 N 1))

rewrite77.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

28.2b

Rules

14×	`*-un-lft-identity_binary64_78`
11×	`log-prod_binary64_164`
8×	`pow1_binary64_139` `add-sqr-sqrt_binary64_100`
6×	`log-pow_binary64_167` `add-cube-cbrt_binary64_113`
4×	`log-div_binary64_165` `cancel-sign-sub-inv_binary64_44` `distribute-lft-out--_binary64_30` `associate--l+_binary64_15`
3×	`add-exp-log_binary64_116` `associate--r+_binary64_14`
2×	`flip3-+_binary64_81` `flip-+_binary64_52` `distribute-lft-out_binary64_29` `add-log-exp_binary64_117` `add-cbrt-cube_binary64_114` `associate--l-_binary64_16`
1×	`rem-log-exp_binary64_119` `diff-log_binary64_170` `flip3--_binary64_82` `sub-neg_binary64_71` `flip--_binary64_53` `difference-of-squares_binary64_47`

Counts

2 → 44

Calls

2 calls:

8.0ms	(-.f64 (log.f64 (+.f64 N 1)) (log.f64 N))
3.0ms	(log.f64 (+.f64 N 1))

Compiler

Compiled 607 to 404 computations (33.4% saved)

series101.0ms (1.6%)

Error

0.1b

Counts

2 → 16

Calls

2 calls:

61.0ms	(-.f64 (log.f64 (+.f64 N 1)) (log.f64 N))
22.0ms	(log.f64 (+.f64 N 1))

Compiler

Compiled 450 to 371 computations (17.6% saved)

simplify106.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

60 → 60

Iterations

Useful iterations: 0 (87.0ms)

Iter	Nodes	Cost
0	4906	769
1	4906	769

prune51.0ms (0.8%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	57	3	60
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	58	3	61

Error

0.1b

Counts

61 → 3

Compiler

Compiled 757 to 485 computations (35.9% saved)

localize9.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (+.f64 N 1) N)
1.9b	(log.f64 (/.f64 (+.f64 N 1) N))

rewrite69.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

33×	`*-un-lft-identity_binary64_78`
24×	`times-frac_binary64_84`
19×	`add-cube-cbrt_binary64_113` `add-sqr-sqrt_binary64_100`
16×	`log-prod_binary64_164`
7×	`distribute-lft-out_binary64_29` `add-exp-log_binary64_116`
4×	`add-cbrt-cube_binary64_114` `associate-/l*_binary64_23`
3×	`pow1_binary64_139` `associate-/r*_binary64_22`
2×	`div-inv_binary64_75` `div-exp_binary64_129` `rem-log-exp_binary64_119` `add-log-exp_binary64_117` `associate-/l/_binary64_25`
1×	`log-pow_binary64_167` `log-div_binary64_165` `cbrt-undiv_binary64_112` `frac-2neg_binary64_89` `clear-num_binary64_77` `flip3-+_binary64_81` `flip-+_binary64_52`

Counts

2 → 60

Calls

2 calls:

8.0ms	(log.f64 (/.f64 (+.f64 N 1) N))
5.0ms	(/.f64 (+.f64 N 1) N)

Compiler

Compiled 810 to 553 computations (31.7% saved)

series120.0ms (1.9%)

Error

0.1b

Counts

2 → 16

Calls

2 calls:

56.0ms	(/.f64 (+.f64 N 1) N)
54.0ms	(log.f64 (/.f64 (+.f64 N 1) N))

Compiler

Compiled 336 to 296 computations (11.9% saved)

simplify75.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	5344	1038

prune65.0ms (1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	74	2	76
Fresh	1	1	2
Picked	0	1	1
Done	0	0	0
Total	75	4	79

Error

0.1b

Counts

79 → 4

Compiler

Compiled 920 to 660 computations (28.3% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(cbrt.f64 (+.f64 N 1))
0.4b	(-.f64 (*.f64 2 (log.f64 (cbrt.f64 (+.f64 N 1)))) (log.f64 (sqrt.f64 N)))
3.6b	(log.f64 (cbrt.f64 (+.f64 N 1)))
22.3b	(+.f64 (-.f64 (*.f64 2 (log.f64 (cbrt.f64 (+.f64 N 1)))) (log.f64 (sqrt.f64 N))) (log.f64 (/.f64 (cbrt.f64 (+.f64 N 1)) (sqrt.f64 N))))

rewrite405.0ms (6.5%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

87×	`log-prod_binary64_164`
73×	`*-un-lft-identity_binary64_78`
48×	`cbrt-prod_binary64_109`
46×	`add-cube-cbrt_binary64_113` `add-sqr-sqrt_binary64_100` `associate-+r+_binary64_10`
42×	`times-frac_binary64_84`
28×	`associate--l+_binary64_15`
24×	`sqrt-prod_binary64_94`
21×	`associate-+l+_binary64_11`
14×	`distribute-lft-out_binary64_29` `distribute-rgt-in_binary64_28` `distribute-lft-in_binary64_27`
12×	`cancel-sign-sub-inv_binary64_44`
10×	`pow1_binary64_139`
9×	`log-pow_binary64_167`
7×	`add-log-exp_binary64_117`
6×	`associate--r+_binary64_14`
5×	`add-exp-log_binary64_116`
4×	`add-cbrt-cube_binary64_114` `cbrt-div_binary64_110`
3×	`flip3-+_binary64_81` `flip-+_binary64_52` `log-div_binary64_165`
2×	`diff-log_binary64_170` `sum-log_binary64_169` `sub-neg_binary64_71` `pow1/2_binary64_158` `sqrt-pow1_binary64_96` `pow1/3_binary64_160`
1×	`associate-+l-_binary64_13` `associate-+r-_binary64_12` `div-inv_binary64_75` `+-commutative_binary64_8` `rem-log-exp_binary64_119` `flip3--_binary64_82` `flip--_binary64_53`

Counts

4 → 153

Calls

4 calls:

37.0ms	(+.f64 (-.f64 (*.f64 2 (log.f64 (cbrt.f64 (+.f64 N 1)))) (log.f64 (sqrt.f64 N))) (log.f64 (/.f64 (cbrt.f64 (+.f64 N 1)) (sqrt.f64 N))))
18.0ms	(-.f64 (*.f64 2 (log.f64 (cbrt.f64 (+.f64 N 1)))) (log.f64 (sqrt.f64 N)))
8.0ms	(log.f64 (cbrt.f64 (+.f64 N 1)))
6.0ms	(cbrt.f64 (+.f64 N 1))

Compiler

Compiled 4612 to 3130 computations (32.1% saved)

series288.0ms (4.6%)

Error

0.1b

Counts

4 → 20

Calls

4 calls:

116.0ms	(+.f64 (-.f64 (*.f64 2 (log.f64 (cbrt.f64 (+.f64 N 1)))) (log.f64 (sqrt.f64 N))) (log.f64 (/.f64 (cbrt.f64 (+.f64 N 1)) (sqrt.f64 N))))
53.0ms	(-.f64 (*.f64 2 (log.f64 (cbrt.f64 (+.f64 N 1)))) (log.f64 (sqrt.f64 N)))
44.0ms	(log.f64 (cbrt.f64 (+.f64 N 1)))
42.0ms	(cbrt.f64 (+.f64 N 1))

Compiler

Compiled 1280 to 1027 computations (19.8% saved)

simplify106.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

173 → 173

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	4913	3636
1	4913	3636

prune271.0ms (4.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	172	1	173
Fresh	1	1	2
Picked	0	1	1
Done	1	0	1
Total	174	3	177

Error

0.1b

Counts

177 → 3

Compiler

Compiled 4378 to 2960 computations (32.4% saved)

localize30.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.3b	(*.f64 (cbrt.f64 (sqrt.f64 (+.f64 N 1))) (cbrt.f64 (sqrt.f64 (+.f64 N 1))))
0.4b	(-.f64 (*.f64 2 (log.f64 (cbrt.f64 (+.f64 N 1)))) (log.f64 (sqrt.f64 N)))
3.6b	(log.f64 (cbrt.f64 (+.f64 N 1)))
22.0b	(+.f64 (-.f64 (.f64 2 (log.f64 (cbrt.f64 (+.f64 N 1)))) (log.f64 (sqrt.f64 N))) (log.f64 (/.f64 (.f64 (cbrt.f64 (sqrt.f64 (+.f64 N 1))) (cbrt.f64 (sqrt.f64 (+.f64 N 1)))) (sqrt.f64 N))))

rewrite538.0ms (8.7%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

68×	`cbrt-prod_binary64_109`
60×	`*-un-lft-identity_binary64_78`
55×	`add-sqr-sqrt_binary64_100`
51×	`log-prod_binary64_164`
34×	`sqrt-prod_binary64_94`
33×	`add-cube-cbrt_binary64_113`
28×	`associate--l+_binary64_15`
21×	`associate-+l+_binary64_11`
17×	`pow1_binary64_139`
14×	`distribute-rgt-in_binary64_28` `distribute-lft-in_binary64_27` `cbrt-div_binary64_110` `swap-sqr_binary64_45`
13×	`distribute-lft-out_binary64_29`
12×	`cancel-sign-sub-inv_binary64_44` `sqrt-div_binary64_95`
10×	`associate-+r+_binary64_10` `associate-l_binary64_19` `associate-r_binary64_18`
9×	`log-pow_binary64_167` `unswap-sqr_binary64_46`
8×	`flip3-+_binary64_81` `flip-+_binary64_52`
7×	`add-log-exp_binary64_117` `add-exp-log_binary64_116` `pow1/3_binary64_160`
6×	`times-frac_binary64_84` `associate--r+_binary64_14`
4×	`add-cbrt-cube_binary64_114` `frac-times_binary64_88`
3×	`log-div_binary64_165`
2×	`diff-log_binary64_170` `sum-log_binary64_169` `sub-neg_binary64_71` `pow1/2_binary64_158` `sqrt-pow1_binary64_96` `pow-prod-down_binary64_149` `pow-prod-up_binary64_148` `pow-sqr_binary64_51` `associate-l/_binary64_21` `associate-r/_binary64_20`
1×	`associate-+l-_binary64_13` `associate-+r-_binary64_12` `div-inv_binary64_75` `+-commutative_binary64_8` `rem-log-exp_binary64_119` `flip3--_binary64_82` `flip--_binary64_53` `pow2_binary64_159` `pow-plus_binary64_141` `prod-exp_binary64_127` `cbrt-unprod_binary64_111` `*-commutative_binary64_9`

Counts

4 → 172

Calls

4 calls:

22.0ms	(+.f64 (-.f64 (.f64 2 (log.f64 (cbrt.f64 (+.f64 N 1)))) (log.f64 (sqrt.f64 N))) (log.f64 (/.f64 (.f64 (cbrt.f64 (sqrt.f64 (+.f64 N 1))) (cbrt.f64 (sqrt.f64 (+.f64 N 1)))) (sqrt.f64 N))))
19.0ms	(-.f64 (*.f64 2 (log.f64 (cbrt.f64 (+.f64 N 1)))) (log.f64 (sqrt.f64 N)))
16.0ms	(*.f64 (cbrt.f64 (sqrt.f64 (+.f64 N 1))) (cbrt.f64 (sqrt.f64 (+.f64 N 1))))
4.0ms	(log.f64 (cbrt.f64 (+.f64 N 1)))

Compiler

Compiled 6424 to 4709 computations (26.7% saved)

series301.0ms (4.8%)

Error

0.1b

Counts

4 → 20

Calls

4 calls:

104.0ms	(+.f64 (-.f64 (.f64 2 (log.f64 (cbrt.f64 (+.f64 N 1)))) (log.f64 (sqrt.f64 N))) (log.f64 (/.f64 (.f64 (cbrt.f64 (sqrt.f64 (+.f64 N 1))) (cbrt.f64 (sqrt.f64 (+.f64 N 1)))) (sqrt.f64 N))))
57.0ms	(-.f64 (*.f64 2 (log.f64 (cbrt.f64 (+.f64 N 1)))) (log.f64 (sqrt.f64 N)))
53.0ms	(*.f64 (cbrt.f64 (sqrt.f64 (+.f64 N 1))) (cbrt.f64 (sqrt.f64 (+.f64 N 1))))
53.0ms	(log.f64 (cbrt.f64 (+.f64 N 1)))

Compiler

Compiled 1441 to 1165 computations (19.2% saved)

simplify158.0ms (2.5%)

Algorithm

1×	egg-herbie

Counts

192 → 192

Iterations

Useful iterations: 0 (85.0ms)

Iter	Nodes	Cost
0	4962	3799
1	4962	3799

prune416.0ms (6.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	192	0	192
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	192	3	195

Error

0.1b

Counts

195 → 3

Compiler

Compiled 5708 to 4043 computations (29.2% saved)

regimes224.0ms (3.6%)

Accuracy

Total 0.0b remaining (48.6%)

Threshold costs 0.0b (48.6%)

Compiler

Compiled 1810 to 1426 computations (21.2% saved)

bsearch2.0ms (0%)

Compiler: Compiled 7 to 6 computations (14.3% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	164	94
1	164	94

end0.0ms (0%)

sample2.6s (41.9%)

Algorithm

1×

intervals

Results

553.0ms	1995×	body	1024	valid
280.0ms	4275×	body	128	valid
175.0ms	983×	body	512	valid
115.0ms	258×	body	2048	valid
54.0ms	489×	body	256	valid

Compiler

Compiled 950 to 751 computations (20.9% saved)

Details

analyze107.0ms (1.7%)

sample49.0ms (0.8%)

simplify16.0ms (0.2%)

prune2.0ms (0%)

localize6.0ms (0.1%)

rewrite77.0ms (1.2%)

series101.0ms (1.6%)

simplify106.0ms (1.7%)

prune51.0ms (0.8%)

localize9.0ms (0.2%)

rewrite69.0ms (1.1%)

series120.0ms (1.9%)

simplify75.0ms (1.2%)

prune65.0ms (1%)

localize14.0ms (0.2%)

rewrite405.0ms (6.5%)

series288.0ms (4.6%)

simplify106.0ms (1.7%)

prune271.0ms (4.4%)

localize30.0ms (0.5%)

rewrite538.0ms (8.7%)

series301.0ms (4.8%)

simplify158.0ms (2.5%)

prune416.0ms (6.7%)

regimes224.0ms (3.6%)

bsearch2.0ms (0%)

simplify5.0ms (0.1%)

end0.0ms (0%)

sample2.6s (41.9%)

Profiling