Details

analyze222.0ms (2.3%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	26
1	9	26
0	2	2
1	2	2

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
62.4%	37.5%	0.1%	4
68.7%	31.2%	0.1%	5
68.7%	18.7%	12.6%	6
68.7%	18.7%	12.6%	7
68.7%	12.5%	18.8%	8
68.7%	12.5%	18.8%	9
68.7%	9.4%	22%	10
68.7%	9.4%	22%	11
68.7%	7.8%	23.5%	12
68.7%	7.8%	23.5%	13
68.7%	7%	24.3%	14

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample23.0ms (0.2%)

Algorithm

1×

intervals

Results

11.0ms	256×	body	128	valid
1.0ms	26×	body	128	overflowed

Compiler

Compiled 17 to 15 computations (11.8% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	8	13
1	8	13

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

0.5b

Counts

2 → 1

Compiler

Compiled 16 to 12 computations (25% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.5b	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))

rewrite42.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

0.5b

Rules

18×	`*-un-lft-identity_binary64_5193`
12×	`times-frac_binary64_5199`
10×	`add-cube-cbrt_binary64_5228` `add-sqr-sqrt_binary64_5215`
4×	`distribute-lft-out_binary64_5144` `associate-/r*_binary64_5137`
3×	`add-cbrt-cube_binary64_5229` `associate-/l*_binary64_5138`
2×	`add-exp-log_binary64_5231` `associate-/r/_binary64_5139`
1×	`pow1_binary64_5254` `div-exp_binary64_5244` `add-log-exp_binary64_5232` `cbrt-undiv_binary64_5227` `frac-2neg_binary64_5204` `clear-num_binary64_5192` `div-inv_binary64_5190` `flip3-+_binary64_5196` `flip-+_binary64_5167`

Counts

1 → 33

Calls

1 calls:

7.0ms

(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))

Compiler

Compiled 571 to 117 computations (79.5% saved)

series177.0ms (1.9%)

Error

0.4b

Counts

1 → 9

Calls

1 calls:

164.0ms

(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))

Compiler

Compiled 509 to 356 computations (30.1% saved)

simplify114.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

42 → 42

Iterations

Useful iterations: 0 (98.0ms)

Iter	Nodes	Cost
0	4937	1014
1	4937	1014

prune45.0ms (0.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	40	2	42
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	40	3	43

Error

0.4b

Counts

43 → 3

Compiler

Compiled 768 to 236 computations (69.3% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.4b	(*.f64 (cbrt.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))) (cbrt.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))))
0.5b	(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
0.5b	(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
0.5b	(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))

rewrite352.0ms (3.7%)

Algorithm

1×	rewrite-expression-head

Error

0.4b

Rules

137×	`*-un-lft-identity_binary64_5193`
102×	`times-frac_binary64_5199`
96×	`cbrt-prod_binary64_5224`
95×	`add-sqr-sqrt_binary64_5215`
71×	`add-cube-cbrt_binary64_5228`
30×	`distribute-lft-out_binary64_5144`
27×	`swap-sqr_binary64_5160`
21×	`associate-l_binary64_5134` `associate-r_binary64_5133`
14×	`associate-/r/_binary64_5139`
12×	`associate-/r*_binary64_5137`
11×	`pow1_binary64_5254`
10×	`add-cbrt-cube_binary64_5229`
9×	`add-exp-log_binary64_5231` `associate-/l*_binary64_5138` `unswap-sqr_binary64_5161`
7×	`div-inv_binary64_5190` `flip3-+_binary64_5196` `flip-+_binary64_5167`
6×	`pow1/3_binary64_5275`
4×	`add-log-exp_binary64_5232` `cbrt-div_binary64_5225`
3×	`div-exp_binary64_5244` `cbrt-undiv_binary64_5227` `frac-2neg_binary64_5204` `clear-num_binary64_5192`
2×	`pow-prod-down_binary64_5264` `pow-prod-up_binary64_5263` `pow-sqr_binary64_5166`
1×	`pow2_binary64_5274` `pow-plus_binary64_5256` `prod-exp_binary64_5242` `cbrt-unprod_binary64_5226` `frac-times_binary64_5203` `associate-l/_binary64_5136` `associate-r/_binary64_5135` `*-commutative_binary64_5124`

Counts

4 → 198

Calls

4 calls:

44.0ms	(*.f64 (cbrt.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))) (cbrt.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))))
10.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
8.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
8.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))

Compiler

Compiled 8153 to 956 computations (88.3% saved)

series4.4s (46.1%)

Error

0.4b

Counts

4 → 30

Calls

4 calls:

3.8s	(*.f64 (cbrt.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))) (cbrt.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))))
142.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
133.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))
121.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 b) (exp.f64 a)))

Compiler

Compiled 6831 to 4301 computations (37% saved)

simplify149.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

228 → 228

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4952	9403
1	4952	9403

prune413.0ms (4.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	228	0	228
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	228	3	231

Error

0.4b

Counts

231 → 3

Compiler

Compiled 10321 to 2418 computations (76.6% saved)

localize4.0ms (0%)

Local error

Found 1 expressions with local error:

0.0b	(/.f64 1 (+.f64 1 (exp.f64 b)))

rewrite41.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

0.4b

Rules

18×	`*-un-lft-identity_binary64_5193`
12×	`times-frac_binary64_5199`
10×	`add-cube-cbrt_binary64_5228` `add-sqr-sqrt_binary64_5215`
5×	`add-exp-log_binary64_5231`
4×	`distribute-lft-out_binary64_5144` `associate-/r*_binary64_5137`
3×	`add-cbrt-cube_binary64_5229` `associate-/l*_binary64_5138`
2×	`pow1_binary64_5254` `div-exp_binary64_5244` `associate-/r/_binary64_5139`
1×	`inv-pow_binary64_5278` `pow-flip_binary64_5267` `1-exp_binary64_5237` `rec-exp_binary64_5243` `add-log-exp_binary64_5232` `cbrt-undiv_binary64_5227` `frac-2neg_binary64_5204` `clear-num_binary64_5192` `div-inv_binary64_5190` `flip3-+_binary64_5196` `flip-+_binary64_5167`

Counts

1 → 37

Calls

1 calls:

7.0ms

(/.f64 1 (+.f64 1 (exp.f64 b)))

Compiler

Compiled 489 to 369 computations (24.5% saved)

series35.0ms (0.4%)

Error

0.4b

Counts

1 → 3

Calls

1 calls:

33.0ms

(/.f64 1 (+.f64 1 (exp.f64 b)))

Compiler

Compiled 43 to 49 computations (-14% saved)

simplify89.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

40 → 40

Iterations

Useful iterations: 0 (79.0ms)

Iter	Nodes	Cost
0	4763	513
1	4763	513

prune43.0ms (0.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	39	1	40
Fresh	0	0	0
Picked	0	1	1
Done	1	1	2
Total	40	3	43

Error

0.4b

Counts

43 → 3

Compiler

Compiled 458 to 342 computations (25.3% saved)

localize7.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(cbrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b))))
0.0b	(cbrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b))))
0.0b	(cbrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b))))
0.6b	(*.f64 (cbrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b)))) (cbrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b)))))

rewrite627.0ms (6.6%)

Algorithm

1×	rewrite-expression-head

Error

0.4b

Rules

166×	`cbrt-prod_binary64_5224`
138×	`*-un-lft-identity_binary64_5193`
112×	`times-frac_binary64_5199`
108×	`add-sqr-sqrt_binary64_5215`
68×	`add-cube-cbrt_binary64_5228`
29×	`swap-sqr_binary64_5160`
27×	`distribute-lft-out_binary64_5144`
21×	`associate-l_binary64_5134` `associate-r_binary64_5133`
16×	`unswap-sqr_binary64_5161`
14×	`associate-/r/_binary64_5139`
11×	`pow1_binary64_5254`
9×	`pow1/3_binary64_5275` `div-inv_binary64_5190`
7×	`cbrt-div_binary64_5225` `flip3-+_binary64_5196` `flip-+_binary64_5167`
6×	`add-exp-log_binary64_5231`
4×	`add-log-exp_binary64_5232` `add-cbrt-cube_binary64_5229`
2×	`pow-prod-down_binary64_5264` `pow-prod-up_binary64_5263` `pow-sqr_binary64_5166`
1×	`pow2_binary64_5274` `pow-plus_binary64_5256` `prod-exp_binary64_5242` `cbrt-unprod_binary64_5226` `frac-times_binary64_5203` `associate-l/_binary64_5136` `associate-r/_binary64_5135` `*-commutative_binary64_5124`

Counts

4 → 189

Calls

4 calls:

26.0ms	(*.f64 (cbrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b)))) (cbrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b)))))
10.0ms	(cbrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b))))
9.0ms	(cbrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b))))
9.0ms	(cbrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b))))

Compiler

Compiled 6556 to 5048 computations (23% saved)

series535.0ms (5.6%)

Error

0.4b

Counts

4 → 15

Calls

4 calls:

161.0ms	(*.f64 (cbrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b)))) (cbrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b)))))
129.0ms	(cbrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b))))
108.0ms	(cbrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b))))
107.0ms	(cbrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b))))

Compiler

Compiled 968 to 841 computations (13.1% saved)

simplify140.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

204 → 204

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	5395	4857

prune470.0ms (4.9%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	203	1	204
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	203	4	207

Error

0.4b

Counts

207 → 4

Compiler

Compiled 6101 to 4694 computations (23.1% saved)

regimes251.0ms (2.6%)

Accuracy

Total 0.3b remaining (67.8%)

Threshold costs 0.3b (67.8%)

Compiler

Compiled 2768 to 1971 computations (28.8% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	20	15
1	20	15

end0.0ms (0%)

sample1.3s (13.8%)

Algorithm

1×

intervals

Results

484.0ms	8000×	body	128	valid
17.0ms	683×	body	128	overflowed

Compiler

Compiled 470 to 342 computations (27.2% saved)

Details

analyze222.0ms (2.3%)

sample23.0ms (0.2%)

simplify8.0ms (0.1%)

prune2.0ms (0%)

localize5.0ms (0.1%)

rewrite42.0ms (0.4%)

series177.0ms (1.9%)

simplify114.0ms (1.2%)

prune45.0ms (0.5%)

localize9.0ms (0.1%)

rewrite352.0ms (3.7%)

series4.4s (46.1%)

simplify149.0ms (1.6%)

prune413.0ms (4.3%)

localize4.0ms (0%)

rewrite41.0ms (0.4%)

series35.0ms (0.4%)

simplify89.0ms (0.9%)

prune43.0ms (0.5%)

localize7.0ms (0.1%)

rewrite627.0ms (6.6%)

series535.0ms (5.6%)

simplify140.0ms (1.5%)

prune470.0ms (4.9%)

regimes251.0ms (2.6%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample1.3s (13.8%)

Profiling