Details

analyze148.0ms (1.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
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)

sample31.0ms (0.3%)

Algorithm

1×

intervals

Results

13.0ms	256×	body	128	valid
1.0ms	27×	body	128	overflowed

Compiler

Compiled 17 to 15 computations (11.8% saved)

simplify183.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	8	13
1	8	13

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

localize11.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite109.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

0.5b

Rules

21×	`*-un-lft-identity_binary64_3147`
12×	`times-frac_binary64_3153`
11×	`add-cube-cbrt_binary64_3182` `add-sqr-sqrt_binary64_3169`
5×	`distribute-lft-out_binary64_3098`
4×	`add-log-exp_binary64_3186` `add-cbrt-cube_binary64_3183` `associate-/r*_binary64_3091`
3×	`add-exp-log_binary64_3185` `associate-/l*_binary64_3092`
2×	`pow1_binary64_3208` `flip3-+_binary64_3150` `associate-/r/_binary64_3093` `flip-+_binary64_3121`
1×	`div-exp_binary64_3198` `cbrt-undiv_binary64_3181` `frac-2neg_binary64_3158` `clear-num_binary64_3146` `div-inv_binary64_3144` `sum-log_binary64_3238` `+-commutative_binary64_3077`

Counts

2 → 45

Calls

2 calls:

15.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
8.0ms	(+.f64 (exp.f64 a) (exp.f64 b))

Compiler

Compiled 750 to 153 computations (79.6% saved)

series417.0ms (4.2%)

Error

0.2b

Counts

2 → 24

Calls

2 calls:

296.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
67.0ms	(+.f64 (exp.f64 a) (exp.f64 b))

Compiler

Compiled 1116 to 744 computations (33.3% saved)

simplify74.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5229	1560

prune121.0ms (1.2%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	65	4	69
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	66	4	70

Error

0.2b

Counts

70 → 4

Compiler

Compiled 1237 to 441 computations (64.3% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (exp.f64 b) (exp.f64 a))
0.0b	(exp.f64 (-.f64 a (log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))))
1.0b	(-.f64 a (log.f64 (+.f64 (exp.f64 b) (exp.f64 a))))
3.2b	(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))

rewrite153.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

21×	`*-un-lft-identity_binary64_3147`
13×	`add-sqr-sqrt_binary64_3169`
9×	`pow1_binary64_3208` `add-cube-cbrt_binary64_3182` `add-log-exp_binary64_3186`
8×	`log-prod_binary64_3233` `cancel-sign-sub-inv_binary64_3113`
7×	`exp-sum_binary64_3193`
6×	`log-div_binary64_3234` `exp-prod_binary64_3199`
5×	`log-pow_binary64_3236` `add-exp-log_binary64_3185`
4×	`flip3-+_binary64_3150` `flip-+_binary64_3121` `add-cbrt-cube_binary64_3183` `distribute-lft-out--_binary64_3099` `associate--r-_binary64_3086` `associate--r+_binary64_3083`
3×	`distribute-lft-out_binary64_3098`
2×	`diff-log_binary64_3239` `sub-neg_binary64_3140` `difference-of-squares_binary64_3116` `rem-exp-log_binary64_3187`
1×	`rem-log-exp_binary64_3188` `flip3--_binary64_3151` `flip--_binary64_3122` `exp-diff_binary64_3195` `sum-log_binary64_3238` `+-commutative_binary64_3077`

Counts

4 → 74

Calls

4 calls:

14.0ms	(-.f64 a (log.f64 (+.f64 (exp.f64 b) (exp.f64 a))))
11.0ms	(exp.f64 (-.f64 a (log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))))
8.0ms	(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
8.0ms	(+.f64 (exp.f64 b) (exp.f64 a))

Compiler

Compiled 1288 to 303 computations (76.5% saved)

series1.2s (12.1%)

Error

0.2b

Counts

4 → 48

Calls

4 calls:

361.0ms	(-.f64 a (log.f64 (+.f64 (exp.f64 b) (exp.f64 a))))
338.0ms	(exp.f64 (-.f64 a (log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))))
326.0ms	(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
70.0ms	(+.f64 (exp.f64 b) (exp.f64 a))

Compiler

Compiled 2616 to 1882 computations (28.1% saved)

simplify164.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 0 (112.0ms)

Iter	Nodes	Cost
0	4984	2498
1	4984	2498

prune170.0ms (1.7%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	121	1	122
Fresh	1	2	3
Picked	1	0	1
Done	0	0	0
Total	123	3	126

Error

0.2b

Counts

126 → 3

Compiler

Compiled 2089 to 849 computations (59.4% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (exp.f64 b) (exp.f64 a))
0.3b	(*.f64 (/.f64 (sqrt.f64 (exp.f64 a)) (sqrt.f64 (+.f64 (exp.f64 b) (exp.f64 a)))) (/.f64 (sqrt.f64 (exp.f64 a)) (sqrt.f64 (+.f64 (exp.f64 b) (exp.f64 a)))))
0.8b	(/.f64 (sqrt.f64 (exp.f64 a)) (sqrt.f64 (+.f64 (exp.f64 b) (exp.f64 a))))
0.8b	(/.f64 (sqrt.f64 (exp.f64 a)) (sqrt.f64 (+.f64 (exp.f64 b) (exp.f64 a))))

rewrite982.0ms (9.9%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

434×	`sqrt-prod_binary64_3163`
384×	`times-frac_binary64_3153`
362×	`add-sqr-sqrt_binary64_3169`
330×	`*-un-lft-identity_binary64_3147`
196×	`add-cube-cbrt_binary64_3182`
94×	`swap-sqr_binary64_3114`
59×	`distribute-lft-out_binary64_3098`
48×	`associate-l_binary64_3088` `associate-r_binary64_3087`
25×	`unswap-sqr_binary64_3115`
20×	`add-exp-log_binary64_3185` `add-cbrt-cube_binary64_3183`
14×	`associate-/r*_binary64_3091`
12×	`sqrt-div_binary64_3164` `associate-/r/_binary64_3093` `associate-/l*_binary64_3092`
11×	`pow1_binary64_3208`
7×	`flip3-+_binary64_3150` `flip-+_binary64_3121`
6×	`div-exp_binary64_3198` `add-log-exp_binary64_3186` `cbrt-undiv_binary64_3181` `sqrt-undiv_binary64_3168` `div-inv_binary64_3144`
4×	`prod-exp_binary64_3196` `cbrt-unprod_binary64_3180`
2×	`frac-2neg_binary64_3158` `clear-num_binary64_3146`
1×	`pow2_binary64_3228` `pow-prod-down_binary64_3218` `pow-prod-up_binary64_3217` `pow-plus_binary64_3210` `sqrt-unprod_binary64_3167` `rem-square-sqrt_binary64_3159` `frac-times_binary64_3157` `pow-sqr_binary64_3120` `associate-l/_binary64_3090` `associate-r/_binary64_3089` `*-commutative_binary64_3078` `sum-log_binary64_3238` `+-commutative_binary64_3077`

Counts

4 → 393

Calls

4 calls:

117.0ms	(*.f64 (/.f64 (sqrt.f64 (exp.f64 a)) (sqrt.f64 (+.f64 (exp.f64 b) (exp.f64 a)))) (/.f64 (sqrt.f64 (exp.f64 a)) (sqrt.f64 (+.f64 (exp.f64 b) (exp.f64 a)))))
21.0ms	(/.f64 (sqrt.f64 (exp.f64 a)) (sqrt.f64 (+.f64 (exp.f64 b) (exp.f64 a))))
18.0ms	(/.f64 (sqrt.f64 (exp.f64 a)) (sqrt.f64 (+.f64 (exp.f64 b) (exp.f64 a))))
8.0ms	(+.f64 (exp.f64 b) (exp.f64 a))

Compiler

Compiled 15028 to 1418 computations (90.6% saved)

series1.6s (16%)

Error

0.2b

Counts

4 → 48

Calls

4 calls:

519.0ms	(/.f64 (sqrt.f64 (exp.f64 a)) (sqrt.f64 (+.f64 (exp.f64 b) (exp.f64 a))))
503.0ms	(/.f64 (sqrt.f64 (exp.f64 a)) (sqrt.f64 (+.f64 (exp.f64 b) (exp.f64 a))))
323.0ms	(*.f64 (/.f64 (sqrt.f64 (exp.f64 a)) (sqrt.f64 (+.f64 (exp.f64 b) (exp.f64 a)))) (/.f64 (sqrt.f64 (exp.f64 a)) (sqrt.f64 (+.f64 (exp.f64 b) (exp.f64 a)))))
78.0ms	(+.f64 (exp.f64 b) (exp.f64 a))

Compiler

Compiled 4504 to 2791 computations (38% saved)

simplify386.0ms (3.9%)

Algorithm

1×	egg-herbie

Counts

441 → 441

Iterations

Useful iterations: 0 (108.0ms)

Iter	Nodes	Cost
0	4978	16400
1	4978	16400

prune798.0ms (8.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	441	0	441
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	441	3	444

Error

0.2b

Counts

444 → 3

Compiler

Compiled 13802 to 2064 computations (85% saved)

localize9.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite101.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

21×	`*-un-lft-identity_binary64_3147`
12×	`times-frac_binary64_3153`
11×	`add-cube-cbrt_binary64_3182` `add-sqr-sqrt_binary64_3169`
6×	`add-exp-log_binary64_3185`
5×	`distribute-lft-out_binary64_3098`
4×	`add-log-exp_binary64_3186` `add-cbrt-cube_binary64_3183` `associate-/r*_binary64_3091`
3×	`pow1_binary64_3208` `associate-/l*_binary64_3092`
2×	`div-exp_binary64_3198` `flip3-+_binary64_3150` `associate-/r/_binary64_3093` `flip-+_binary64_3121`
1×	`inv-pow_binary64_3232` `pow-flip_binary64_3221` `1-exp_binary64_3191` `rec-exp_binary64_3197` `cbrt-undiv_binary64_3181` `frac-2neg_binary64_3158` `clear-num_binary64_3146` `div-inv_binary64_3144` `sum-log_binary64_3238` `+-commutative_binary64_3077`

Counts

2 → 49

Calls

2 calls:

11.0ms	(/.f64 1 (+.f64 1 (exp.f64 b)))
7.0ms	(+.f64 1 (exp.f64 b))

Compiler

Compiled 634 to 468 computations (26.2% saved)

series109.0ms (1.1%)

Error

0.2b

Counts

2 → 12

Calls

2 calls:

67.0ms	(/.f64 1 (+.f64 1 (exp.f64 b)))
26.0ms	(+.f64 1 (exp.f64 b))

Compiler

Compiled 212 to 207 computations (2.4% saved)

simplify122.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

61 → 61

Iterations

Useful iterations: 0 (98.0ms)

Iter	Nodes	Cost
0	5289	729

prune84.0ms (0.9%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Error

0.2b

Counts

64 → 3

Compiler

Compiled 640 to 473 computations (26.1% saved)

regimes659.0ms (6.7%)

Accuracy

Total 0.3b remaining (51.7%)

Threshold costs 0.3b (51.7%)

Compiler

Compiled 4078 to 2857 computations (29.9% 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%)

sample2.2s (22.6%)

Algorithm

1×

intervals

Results

403.0ms	8000×	body	128	valid
43.0ms	697×	body	128	overflowed

Compiler

Compiled 747 to 532 computations (28.8% saved)

Details

analyze148.0ms (1.5%)

sample31.0ms (0.3%)

simplify183.0ms (1.9%)

prune5.0ms (0%)

localize11.0ms (0.1%)

rewrite109.0ms (1.1%)

series417.0ms (4.2%)

simplify74.0ms (0.8%)

prune121.0ms (1.2%)

localize15.0ms (0.2%)

rewrite153.0ms (1.6%)

series1.2s (12.1%)

simplify164.0ms (1.7%)

prune170.0ms (1.7%)

localize16.0ms (0.2%)

rewrite982.0ms (9.9%)

series1.6s (16%)

simplify386.0ms (3.9%)

prune798.0ms (8.1%)

localize9.0ms (0.1%)

rewrite101.0ms (1%)

series109.0ms (1.1%)

simplify122.0ms (1.2%)

prune84.0ms (0.9%)

regimes659.0ms (6.7%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample2.2s (22.6%)

Profiling