Details

analyze230.0ms (4.9%)

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
25%	74.9%	0.1%	4
25%	74.9%	0.1%	5
37.4%	62.4%	0.1%	6
46.8%	53%	0.1%	7
52.3%	47.6%	0.1%	8
65.5%	34.3%	0.1%	9
71%	28.9%	0.1%	10
75%	24.9%	0.1%	11
81.6%	18.2%	0.1%	12
84.5%	15.4%	0.1%	13
86.9%	13%	0.1%	14

Compiler

Compiled 13 to 11 computations (15.4% saved)

sample19.0ms (0.4%)

Algorithm

1×

intervals

Results

11.0ms

256×

body

128

valid

Compiler

Compiled 25 to 24 computations (4% saved)

simplify224.0ms (4.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (128.0ms)

Iter	Nodes	Cost
0	5305	18

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

Merged error: 2.7b

Counts

2 → 1

Compiler

Compiled 24 to 20 computations (16.7% saved)

localize13.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 5081767996463981/4503599627370496 (exp.f64 z))
0.0b	(+.f64 x (/.f64 y (-.f64 (.f64 5081767996463981/4503599627370496 (exp.f64 z)) (.f64 x y))))
1.0b	(-.f64 (.f64 5081767996463981/4503599627370496 (exp.f64 z)) (.f64 x y))
8.3b	(/.f64 y (-.f64 (.f64 5081767996463981/4503599627370496 (exp.f64 z)) (.f64 x y)))

rewrite33.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`*-un-lft-identity_binary64_10990` `add-sqr-sqrt_binary64_11012`
14×	`add-cube-cbrt_binary64_11025`
9×	`times-frac_binary64_10996`
8×	`add-log-exp_binary64_11029` `add-cbrt-cube_binary64_11026`
7×	`add-exp-log_binary64_11028`
6×	`pow1_binary64_11051`
3×	`associate-r_binary64_10930` `associate-/l_binary64_10935` `associate-/r_binary64_10934` `associate-l_binary64_10931`
2×	`flip3--_binary64_10994` `flip--_binary64_10965` `associate-/r/_binary64_10936`
1×	`sum-log_binary64_11081` `prod-exp_binary64_11039` `clear-num_binary64_10989` `distribute-lft-out_binary64_10941` `diff-log_binary64_11082` `unswap-sqr_binary64_10958` `div-exp_binary64_11041` `flip3-+_binary64_10993` `sub-neg_binary64_10983` `flip-+_binary64_10964` `+-commutative_binary64_10920` `cbrt-unprod_binary64_11023` `frac-2neg_binary64_11001` `div-inv_binary64_10987` `*-commutative_binary64_10921` `cbrt-undiv_binary64_11024` `pow-prod-down_binary64_11061` `cancel-sign-sub-inv_binary64_10956`

Counts

4 → 71

Calls

4 calls:

10.0ms	(+.f64 x (/.f64 y (-.f64 (.f64 5081767996463981/4503599627370496 (exp.f64 z)) (.f64 x y))))
8.0ms	(/.f64 y (-.f64 (.f64 5081767996463981/4503599627370496 (exp.f64 z)) (.f64 x y)))
5.0ms	(*.f64 5081767996463981/4503599627370496 (exp.f64 z))
5.0ms	(-.f64 (.f64 5081767996463981/4503599627370496 (exp.f64 z)) (.f64 x y))

series593.0ms (12.7%)

Counts

4 → 55

Calls

4 calls:

208.0ms	(+.f64 x (/.f64 y (-.f64 (.f64 5081767996463981/4503599627370496 (exp.f64 z)) (.f64 x y))))
199.0ms	(/.f64 y (-.f64 (.f64 5081767996463981/4503599627370496 (exp.f64 z)) (.f64 x y)))
163.0ms	(-.f64 (.f64 5081767996463981/4503599627370496 (exp.f64 z)) (.f64 x y))
23.0ms	(*.f64 5081767996463981/4503599627370496 (exp.f64 z))

Compiler

Compiled 1428 to 1177 computations (17.6% saved)

simplify73.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4980	2212
1	4980	2212

prune120.0ms (2.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	124	2	126
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	124	3	127

Merged error: 0b

Counts

127 → 3

Compiler

Compiled 2139 to 1063 computations (50.3% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (/.f64 5081767996463981/4503599627370496 (/.f64 y (exp.f64 z))) x)
0.0b	(/.f64 y (exp.f64 z))
0.0b	(/.f64 5081767996463981/4503599627370496 (/.f64 y (exp.f64 z)))
0.1b	(/.f64 1 (-.f64 (/.f64 5081767996463981/4503599627370496 (/.f64 y (exp.f64 z))) x))

rewrite66.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Rules

120×	`times-frac_binary64_10996`
112×	`add-sqr-sqrt_binary64_11012`
77×	`*-un-lft-identity_binary64_10990`
67×	`add-cube-cbrt_binary64_11025`
23×	`associate-/r*_binary64_10934`
15×	`difference-of-squares_binary64_10959`
13×	`add-exp-log_binary64_11028` `add-cbrt-cube_binary64_11026`
9×	`associate-/l*_binary64_10935`
7×	`div-inv_binary64_10987`
6×	`add-log-exp_binary64_11029` `div-exp_binary64_11041`
5×	`distribute-lft-out--_binary64_10942` `pow1_binary64_11051` `cbrt-undiv_binary64_11024`
3×	`clear-num_binary64_10989` `associate-/r/_binary64_10936` `frac-2neg_binary64_11001` `cancel-sign-sub-inv_binary64_10956`
2×	`flip3--_binary64_10994` `flip--_binary64_10965`
1×	`diff-log_binary64_11082` `1-exp_binary64_11034` `pow-flip_binary64_11064` `sub-neg_binary64_10983` `rec-exp_binary64_11040` `inv-pow_binary64_11075`

Counts

4 → 164

Calls

4 calls:

19.0ms	(-.f64 (/.f64 5081767996463981/4503599627370496 (/.f64 y (exp.f64 z))) x)
19.0ms	(/.f64 1 (-.f64 (/.f64 5081767996463981/4503599627370496 (/.f64 y (exp.f64 z))) x))
7.0ms	(/.f64 5081767996463981/4503599627370496 (/.f64 y (exp.f64 z)))
4.0ms	(/.f64 y (exp.f64 z))

series614.0ms (13.1%)

Counts

4 → 51

Calls

4 calls:

219.0ms	(/.f64 1 (-.f64 (/.f64 5081767996463981/4503599627370496 (/.f64 y (exp.f64 z))) x))
195.0ms	(-.f64 (/.f64 5081767996463981/4503599627370496 (/.f64 y (exp.f64 z))) x)
103.0ms	(/.f64 5081767996463981/4503599627370496 (/.f64 y (exp.f64 z)))
95.0ms	(/.f64 y (exp.f64 z))

Compiler

Compiled 1317 to 1165 computations (11.5% saved)

simplify90.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

215 → 215

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5081	4018

prune205.0ms (4.4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	215	0	215
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	215	3	218

Merged error: 0b

Counts

218 → 3

Compiler

Compiled 4084 to 2129 computations (47.9% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(pow.f64 (-.f64 (.f64 5081767996463981/4503599627370496 (exp.f64 z)) (.f64 y x)) 3)
1.0b	(-.f64 (.f64 5081767996463981/4503599627370496 (exp.f64 z)) (.f64 y x))
8.3b	(/.f64 y (cbrt.f64 (pow.f64 (-.f64 (.f64 5081767996463981/4503599627370496 (exp.f64 z)) (.f64 y x)) 3)))
14.9b	(cbrt.f64 (pow.f64 (-.f64 (.f64 5081767996463981/4503599627370496 (exp.f64 z)) (.f64 y x)) 3))

rewrite43.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

60×	`cbrt-prod_binary64_11021`
45×	`times-frac_binary64_10996`
42×	`add-cube-cbrt_binary64_11025` `*-un-lft-identity_binary64_10990` `add-sqr-sqrt_binary64_11012`
18×	`cube-prod_binary64_11018` `unpow-prod-down_binary64_11069`
15×	`associate-/r*_binary64_10934`
7×	`add-exp-log_binary64_11028`
6×	`sqr-pow_binary64_10962` `cube-div_binary64_11019` `add-log-exp_binary64_11029` `unpow3_binary64_11056` `add-cbrt-cube_binary64_11026` `cube-mult_binary64_11020`
5×	`pow1_binary64_11051`
4×	`flip3--_binary64_10994` `flip--_binary64_10965` `cbrt-div_binary64_11022`
3×	`associate-/l*_binary64_10935` `pow-unpow_binary64_11067`
2×	`associate-/r/_binary64_10936`
1×	`clear-num_binary64_10989` `rem-cbrt-cube_binary64_11014` `diff-log_binary64_11082` `div-exp_binary64_11041` `sub-neg_binary64_10983` `frac-2neg_binary64_11001` `pow-to-exp_binary64_11059` `div-inv_binary64_10987` `rem-cube-cbrt_binary64_11013` `cbrt-undiv_binary64_11024` `pow-exp_binary64_11058` `pow1/3_binary64_11072` `pow-pow_binary64_11062` `cancel-sign-sub-inv_binary64_10956`

Counts

4 → 137

Calls

4 calls:

10.0ms	(/.f64 y (cbrt.f64 (pow.f64 (-.f64 (.f64 5081767996463981/4503599627370496 (exp.f64 z)) (.f64 y x)) 3)))
7.0ms	(pow.f64 (-.f64 (.f64 5081767996463981/4503599627370496 (exp.f64 z)) (.f64 y x)) 3)
6.0ms	(cbrt.f64 (pow.f64 (-.f64 (.f64 5081767996463981/4503599627370496 (exp.f64 z)) (.f64 y x)) 3))
5.0ms	(-.f64 (.f64 5081767996463981/4503599627370496 (exp.f64 z)) (.f64 y x))

series788.0ms (16.8%)

Counts

4 → 80

Calls

4 calls:

254.0ms	(pow.f64 (-.f64 (.f64 5081767996463981/4503599627370496 (exp.f64 z)) (.f64 y x)) 3)
190.0ms	(/.f64 y (cbrt.f64 (pow.f64 (-.f64 (.f64 5081767996463981/4503599627370496 (exp.f64 z)) (.f64 y x)) 3)))
180.0ms	(cbrt.f64 (pow.f64 (-.f64 (.f64 5081767996463981/4503599627370496 (exp.f64 z)) (.f64 y x)) 3))
163.0ms	(-.f64 (.f64 5081767996463981/4503599627370496 (exp.f64 z)) (.f64 y x))

Compiler

Compiled 2245 to 1849 computations (17.6% saved)

simplify89.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

217 → 217

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5434	5124

prune233.0ms (5%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	217	0	217
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	217	3	220

Merged error: 0b

Counts

220 → 3

Compiler

Compiled 4713 to 2404 computations (49% saved)

regimes259.0ms (5.5%)

Compiler: Compiled 2418 to 1906 computations (21.2% saved)

bsearch27.0ms (0.6%)

Steps

Iters	Range		Point
0	1.1283808447701715	1.140383292452888	1.1343820686115298
14	0.0	1.1217103611846773	5.09474391797617e-299

Compiler

Compiled 4 to 6 computations (-50% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	50	48
1	50	48

end0.0ms (0%)

sample940.0ms (20.1%)

Algorithm

1×

intervals

Results

342.0ms	8000×	body	128	valid
0.0ms	1×	body	128	invalid

Compiler

Compiled 399 to 314 computations (21.3% saved)

Details

analyze230.0ms (4.9%)

sample19.0ms (0.4%)

simplify224.0ms (4.8%)

prune3.0ms (0.1%)

localize13.0ms (0.3%)

rewrite33.0ms (0.7%)

series593.0ms (12.7%)

simplify73.0ms (1.6%)

prune120.0ms (2.6%)

localize8.0ms (0.2%)

rewrite66.0ms (1.4%)

series614.0ms (13.1%)

simplify90.0ms (1.9%)

prune205.0ms (4.4%)

localize11.0ms (0.2%)

rewrite43.0ms (0.9%)

series788.0ms (16.8%)

simplify89.0ms (1.9%)

prune233.0ms (5%)

regimes259.0ms (5.5%)

bsearch27.0ms (0.6%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample940.0ms (20.1%)

Profiling