Details

analyze167.0ms (4.1%)

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)

sample21.0ms (0.5%)

Algorithm

1×

intervals

Results

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

Compiler

Compiled 17 to 15 computations (11.8% saved)

simplify7.0ms (0.2%)

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.1%)

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

1.3b

Counts

2 → 1

Compiler

Compiled 16 to 12 computations (25% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite46.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

1.2b

Rules

21×	`*-un-lft-identity_binary64_4170`
12×	`times-frac_binary64_4176`
11×	`add-cube-cbrt_binary64_4205` `add-sqr-sqrt_binary64_4192`
5×	`distribute-lft-out_binary64_4121`
4×	`add-log-exp_binary64_4209` `add-cbrt-cube_binary64_4206` `associate-/r*_binary64_4114`
3×	`add-exp-log_binary64_4208` `associate-/l*_binary64_4115`
2×	`pow1_binary64_4231` `flip3-+_binary64_4173` `associate-/r/_binary64_4116` `flip-+_binary64_4144`
1×	`div-exp_binary64_4221` `cbrt-undiv_binary64_4204` `frac-2neg_binary64_4181` `clear-num_binary64_4169` `div-inv_binary64_4167` `sum-log_binary64_4261` `+-commutative_binary64_4100`

Counts

2 → 45

Calls

2 calls:

7.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
4.0ms	(+.f64 (exp.f64 a) (exp.f64 b))

Compiler

Compiled 750 to 153 computations (79.6% saved)

series224.0ms (5.5%)

Error

0.8b

Counts

2 → 24

Calls

2 calls:

163.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
37.0ms	(+.f64 (exp.f64 a) (exp.f64 b))

Compiler

Compiled 1116 to 744 computations (33.3% saved)

simplify42.0ms (1%)

Algorithm

1×	egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 0 (21.0ms)

Iter	Nodes	Cost
0	5229	1560

prune62.0ms (1.5%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	66	3	69
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	67	3	70

Error

0.8b

Counts

70 → 3

Compiler

Compiled 1216 to 432 computations (64.5% saved)

localize8.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)))))
0.7b	(-.f64 a (log.f64 (+.f64 (exp.f64 b) (exp.f64 a))))
4.2b	(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))

rewrite81.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

0.8b

Rules

21×	`*-un-lft-identity_binary64_4170`
13×	`add-sqr-sqrt_binary64_4192`
9×	`pow1_binary64_4231` `add-cube-cbrt_binary64_4205` `add-log-exp_binary64_4209`
8×	`log-prod_binary64_4256` `cancel-sign-sub-inv_binary64_4136`
7×	`exp-sum_binary64_4216`
6×	`log-div_binary64_4257` `exp-prod_binary64_4222`
5×	`log-pow_binary64_4259` `add-exp-log_binary64_4208`
4×	`flip3-+_binary64_4173` `flip-+_binary64_4144` `add-cbrt-cube_binary64_4206` `distribute-lft-out--_binary64_4122` `associate--r-_binary64_4109` `associate--r+_binary64_4106`
3×	`distribute-lft-out_binary64_4121`
2×	`diff-log_binary64_4262` `sub-neg_binary64_4163` `difference-of-squares_binary64_4139` `rem-exp-log_binary64_4210`
1×	`rem-log-exp_binary64_4211` `flip3--_binary64_4174` `flip--_binary64_4145` `exp-diff_binary64_4218` `sum-log_binary64_4261` `+-commutative_binary64_4100`

Counts

4 → 74

Calls

4 calls:

8.0ms	(-.f64 a (log.f64 (+.f64 (exp.f64 b) (exp.f64 a))))
6.0ms	(exp.f64 (-.f64 a (log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))))
5.0ms	(+.f64 (exp.f64 b) (exp.f64 a))
5.0ms	(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))

Compiler

Compiled 1288 to 303 computations (76.5% saved)

series642.0ms (15.7%)

Error

0.8b

Counts

4 → 48

Calls

4 calls:

195.0ms	(-.f64 a (log.f64 (+.f64 (exp.f64 b) (exp.f64 a))))
181.0ms	(exp.f64 (-.f64 a (log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))))
170.0ms	(log.f64 (+.f64 (exp.f64 b) (exp.f64 a)))
39.0ms	(+.f64 (exp.f64 b) (exp.f64 a))

Compiler

Compiled 2616 to 1882 computations (28.1% saved)

simplify90.0ms (2.2%)

Algorithm

1×	egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4984	2498
1	4984	2498

prune99.0ms (2.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	122	0	122
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	122	3	125

Error

0.8b

Counts

125 → 3

Compiler

Compiled 2072 to 841 computations (59.4% saved)

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

rewrite47.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

0.8b

Rules

21×	`*-un-lft-identity_binary64_4170`
12×	`times-frac_binary64_4176`
11×	`add-cube-cbrt_binary64_4205` `add-sqr-sqrt_binary64_4192`
6×	`add-exp-log_binary64_4208`
5×	`distribute-lft-out_binary64_4121`
4×	`add-log-exp_binary64_4209` `add-cbrt-cube_binary64_4206` `associate-/r*_binary64_4114`
3×	`pow1_binary64_4231` `associate-/l*_binary64_4115`
2×	`div-exp_binary64_4221` `flip3-+_binary64_4173` `associate-/r/_binary64_4116` `flip-+_binary64_4144`
1×	`inv-pow_binary64_4255` `pow-flip_binary64_4244` `1-exp_binary64_4214` `rec-exp_binary64_4220` `cbrt-undiv_binary64_4204` `frac-2neg_binary64_4181` `clear-num_binary64_4169` `div-inv_binary64_4167` `sum-log_binary64_4261` `+-commutative_binary64_4100`

Counts

2 → 49

Calls

2 calls:

5.0ms	(/.f64 1 (+.f64 1 (exp.f64 b)))
3.0ms	(+.f64 1 (exp.f64 b))

Compiler

Compiled 634 to 468 computations (26.2% saved)

series54.0ms (1.3%)

Error

0.8b

Counts

2 → 11

Calls

2 calls:

35.0ms	(/.f64 1 (+.f64 1 (exp.f64 b)))
12.0ms	(+.f64 1 (exp.f64 b))

Compiler

Compiled 195 to 193 computations (1% saved)

simplify108.0ms (2.6%)

Algorithm

1×	egg-herbie

Counts

60 → 60

Iterations

Useful iterations: 0 (96.0ms)

Iter	Nodes	Cost
0	4866	704
1	4866	704

prune46.0ms (1.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	59	1	60
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	60	3	63

Error

0.8b

Counts

63 → 3

Compiler

Compiled 657 to 486 computations (26% saved)

localize6.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite412.0ms (10.1%)

Algorithm

1×	rewrite-expression-head

Error

0.8b

Rules

134×	`*-un-lft-identity_binary64_4170`
114×	`add-sqr-sqrt_binary64_4192` `sqrt-prod_binary64_4186`
104×	`times-frac_binary64_4176`
62×	`add-cube-cbrt_binary64_4205`
31×	`swap-sqr_binary64_4137`
29×	`pow1_binary64_4231`
27×	`distribute-lft-out_binary64_4121`
24×	`sqrt-pow1_binary64_4188`
21×	`associate-l_binary64_4111` `associate-r_binary64_4110`
16×	`unswap-sqr_binary64_4138`
14×	`add-exp-log_binary64_4208`
12×	`associate-/r/_binary64_4116`
10×	`inv-pow_binary64_4255` `pow-flip_binary64_4244` `add-cbrt-cube_binary64_4206`
9×	`pow-prod-up_binary64_4240`
8×	`pow1/2_binary64_4250` `div-inv_binary64_4167` `associate-/r*_binary64_4114`
7×	`flip3-+_binary64_4173` `flip-+_binary64_4144`
6×	`add-log-exp_binary64_4209` `rem-sqrt-square_binary64_4183` `associate-/l*_binary64_4115`
5×	`pow-prod-down_binary64_4241` `pow-sqr_binary64_4143`
4×	`sqrt-div_binary64_4187` `div-exp_binary64_4221`
3×	`sqr-abs_binary64_4185`
2×	`1-exp_binary64_4214` `rec-exp_binary64_4220` `cbrt-undiv_binary64_4204` `frac-2neg_binary64_4181` `clear-num_binary64_4169`
1×	`pow2_binary64_4251` `pow-plus_binary64_4233` `prod-exp_binary64_4219` `cbrt-unprod_binary64_4203` `sqrt-unprod_binary64_4190` `rem-square-sqrt_binary64_4182` `frac-times_binary64_4180` `associate-l/_binary64_4113` `associate-r/_binary64_4112` `*-commutative_binary64_4101` `sum-log_binary64_4261` `+-commutative_binary64_4100`

Counts

4 → 214

Calls

4 calls:

27.0ms	(*.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b)))) (sqrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b)))))
6.0ms	(/.f64 1 (+.f64 1 (exp.f64 b)))
6.0ms	(/.f64 1 (+.f64 1 (exp.f64 b)))
4.0ms	(+.f64 1 (exp.f64 b))

Compiler

Compiled 5293 to 4085 computations (22.8% saved)

series144.0ms (3.5%)

Error

0.8b

Counts

4 → 21

Calls

4 calls:

39.0ms	(/.f64 1 (+.f64 1 (exp.f64 b)))
37.0ms	(/.f64 1 (+.f64 1 (exp.f64 b)))
36.0ms	(*.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b)))) (sqrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b)))))
15.0ms	(+.f64 1 (exp.f64 b))

Compiler

Compiled 729 to 657 computations (9.9% saved)

simplify105.0ms (2.6%)

Algorithm

1×	egg-herbie

Counts

235 → 235

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	5241	3478

prune296.0ms (7.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	234	1	235
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	235	3	238

Error

0.8b

Counts

238 → 3

Compiler

Compiled 4099 to 3108 computations (24.2% saved)

regimes271.0ms (6.6%)

Accuracy

Total 0.4b remaining (65.6%)

Threshold costs 0.4b (65.6%)

Compiler

Compiled 3482 to 2670 computations (23.3% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	20	15
1	20	15

end0.0ms (0%)

sample1.1s (26.7%)

Algorithm

1×

intervals

Results

227.0ms	8000×	body	128	valid
20.0ms	697×	body	128	overflowed

Compiler

Compiled 631 to 488 computations (22.7% saved)

Details

analyze167.0ms (4.1%)

sample21.0ms (0.5%)

simplify7.0ms (0.2%)

prune2.0ms (0.1%)

localize6.0ms (0.1%)

rewrite46.0ms (1.1%)

series224.0ms (5.5%)

simplify42.0ms (1%)

prune62.0ms (1.5%)

localize8.0ms (0.2%)

rewrite81.0ms (2%)

series642.0ms (15.7%)

simplify90.0ms (2.2%)

prune99.0ms (2.4%)

localize4.0ms (0.1%)

rewrite47.0ms (1.2%)

series54.0ms (1.3%)

simplify108.0ms (2.6%)

prune46.0ms (1.1%)

localize6.0ms (0.2%)

rewrite412.0ms (10.1%)

series144.0ms (3.5%)

simplify105.0ms (2.6%)

prune296.0ms (7.2%)

regimes271.0ms (6.6%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample1.1s (26.7%)

Profiling