Details

analyze522.0ms (6.6%)

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
0%	99.9%	0.1%	4
6.2%	93.7%	0.1%	5
6.2%	90.5%	3.2%	6
21.9%	67.1%	11%	7
23.4%	64.8%	11.8%	8
32%	52.7%	15.3%	9
33.2%	51.3%	15.5%	10
37.7%	45.2%	17.2%	11
38.3%	44.4%	17.2%	12
40.6%	41.3%	18%	13
41%	41%	18%	14

Compiler

Compiled 13 to 12 computations (7.7% saved)

sample38.0ms (0.5%)

Algorithm

1×

intervals

Results

10.0ms	197×	body	128	valid
6.0ms	32×	body	1024	valid
4.0ms	30×	body	1024	nan
2.0ms	23×	body	512	nan
2.0ms	16×	body	512	valid
2.0ms	25×	body	256	nan
1.0ms	10×	body	256	valid
1.0ms	16×	body	128	nan
0.0ms	1×	body	2048	valid

Compiler

Compiled 25 to 25 computations (0% saved)

simplify499.0ms (6.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (329.0ms)

Iter	Nodes	Cost
0	5118	18

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

Merged error: 15.8b

Counts

2 → 1

Compiler

Compiled 24 to 22 computations (8.3% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
0.0b	(/.f64 (-.f64 x y) (-.f64 1 y))
2.4b	(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))
5.0b	(log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))

rewrite97.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Rules

118×	`add-sqr-sqrt_binary64_11453`
107×	`*-un-lft-identity_binary64_11431`
66×	`times-frac_binary64_11437`
49×	`difference-of-squares_binary64_11400`
40×	`cancel-sign-sub-inv_binary64_11397`
32×	`add-cube-cbrt_binary64_11466`
29×	`distribute-lft-out--_binary64_11383`
16×	`log-prod_binary64_11517`
8×	`associate--r+_binary64_11367`
7×	`flip--_binary64_11406` `add-log-exp_binary64_11470` `add-exp-log_binary64_11469` `pow1_binary64_11492` `flip3--_binary64_11435`
6×	`associate-/r*_binary64_11375` `add-cbrt-cube_binary64_11467`
5×	`associate-/l*_binary64_11376`
4×	`log-div_binary64_11518` `associate-/r/_binary64_11377`
3×	`associate--r-_binary64_11370` `log-pow_binary64_11520`
2×	`div-sub_binary64_11436` `associate-/l/_binary64_11378` `sub-neg_binary64_11424` `diff-log_binary64_11523` `div-inv_binary64_11428`
1×	`rem-log-exp_binary64_11472` `frac-2neg_binary64_11442` `cbrt-undiv_binary64_11465` `div-exp_binary64_11482` `clear-num_binary64_11430`

Counts

4 → 159

Calls

4 calls:

27.0ms	(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))
23.0ms	(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
19.0ms	(log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))
10.0ms	(/.f64 (-.f64 x y) (-.f64 1 y))

series395.0ms (5%)

Counts

4 → 12

Calls

4 calls:

128.0ms	(log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))
121.0ms	(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
92.0ms	(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))
55.0ms	(/.f64 (-.f64 x y) (-.f64 1 y))

simplify80.0ms (1%)

Algorithm

1×	egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5405	3439

prune902.0ms (11.3%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	167	4	171
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	168	4	172

Merged error: 0.0b

Counts

172 → 4

Compiler

Compiled 14667 to 10951 computations (25.3% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(cbrt.f64 (-.f64 1 y))
0.2b	(*.f64 (cbrt.f64 (-.f64 1 y)) (cbrt.f64 (-.f64 1 y)))
5.0b	(log.f64 (-.f64 1 (/.f64 (/.f64 (-.f64 x y) (*.f64 (cbrt.f64 (-.f64 1 y)) (cbrt.f64 (-.f64 1 y)))) (cbrt.f64 (-.f64 1 y)))))
11.2b	(-.f64 1 (/.f64 (/.f64 (-.f64 x y) (*.f64 (cbrt.f64 (-.f64 1 y)) (cbrt.f64 (-.f64 1 y)))) (cbrt.f64 (-.f64 1 y))))

rewrite208.0ms (2.6%)

Algorithm

1×	rewrite-expression-head

Rules

222×	`times-frac_binary64_11437`
205×	`add-sqr-sqrt_binary64_11453`
171×	`*-un-lft-identity_binary64_11431`
159×	`cancel-sign-sub-inv_binary64_11397`
148×	`cbrt-prod_binary64_11462`
124×	`cbrt-div_binary64_11463`
74×	`associate-/r/_binary64_11377`
73×	`difference-of-squares_binary64_11400`
67×	`add-cube-cbrt_binary64_11466`
64×	`flip--_binary64_11406` `flip3--_binary64_11435`
40×	`frac-times_binary64_11441`
35×	`distribute-lft-out--_binary64_11383`
20×	`associate-r/_binary64_11373` `associate-l/_binary64_11374`
14×	`log-prod_binary64_11517`
12×	`pow1_binary64_11492`
11×	`swap-sqr_binary64_11398`
10×	`div-inv_binary64_11428`
9×	`associate-r_binary64_11371` `associate-l_binary64_11372`
7×	`pow1/3_binary64_11513` `add-exp-log_binary64_11469`
6×	`add-log-exp_binary64_11470`
4×	`unswap-sqr_binary64_11399` `add-cbrt-cube_binary64_11467`
2×	`log-div_binary64_11518` `div-sub_binary64_11436` `pow-sqr_binary64_11404` `pow-prod-up_binary64_11501` `pow-prod-down_binary64_11502`
1×	`cbrt-unprod_binary64_11464` `pow2_binary64_11512` `sub-neg_binary64_11424` `*-commutative_binary64_11362` `rem-log-exp_binary64_11472` `prod-exp_binary64_11480` `diff-log_binary64_11523` `pow-plus_binary64_11494` `associate--r-_binary64_11370` `log-pow_binary64_11520`

Counts

4 → 282

Calls

4 calls:

74.0ms	(-.f64 1 (/.f64 (/.f64 (-.f64 x y) (*.f64 (cbrt.f64 (-.f64 1 y)) (cbrt.f64 (-.f64 1 y)))) (cbrt.f64 (-.f64 1 y))))
59.0ms	(log.f64 (-.f64 1 (/.f64 (/.f64 (-.f64 x y) (*.f64 (cbrt.f64 (-.f64 1 y)) (cbrt.f64 (-.f64 1 y)))) (cbrt.f64 (-.f64 1 y)))))
14.0ms	(*.f64 (cbrt.f64 (-.f64 1 y)) (cbrt.f64 (-.f64 1 y)))
4.0ms	(cbrt.f64 (-.f64 1 y))

series320.0ms (4%)

Counts

4 → 12

Calls

4 calls:

140.0ms	(log.f64 (-.f64 1 (/.f64 (/.f64 (-.f64 x y) (*.f64 (cbrt.f64 (-.f64 1 y)) (cbrt.f64 (-.f64 1 y)))) (cbrt.f64 (-.f64 1 y)))))
89.0ms	(-.f64 1 (/.f64 (/.f64 (-.f64 x y) (*.f64 (cbrt.f64 (-.f64 1 y)) (cbrt.f64 (-.f64 1 y)))) (cbrt.f64 (-.f64 1 y))))
47.0ms	(*.f64 (cbrt.f64 (-.f64 1 y)) (cbrt.f64 (-.f64 1 y)))
44.0ms	(cbrt.f64 (-.f64 1 y))

simplify139.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

294 → 294

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5538	10988

prune693.0ms (8.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	294	0	294
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	294	4	298

Merged error: 0.0b

Counts

298 → 4

Compiler

Compiled 9603 to 6785 computations (29.3% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (-.f64 x y) (-.f64 1 y))
0.0b	(log.f64 (/.f64 E.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
0.1b	(/.f64 E.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))
2.4b	(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))

rewrite101.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Rules

177×	`add-sqr-sqrt_binary64_11453`
145×	`*-un-lft-identity_binary64_11431`
124×	`times-frac_binary64_11437`
67×	`difference-of-squares_binary64_11400`
54×	`add-cube-cbrt_binary64_11466`
36×	`cancel-sign-sub-inv_binary64_11397`
32×	`distribute-lft-out--_binary64_11383`
30×	`log-prod_binary64_11517`
14×	`associate-/r*_binary64_11375`
13×	`add-exp-log_binary64_11469`
8×	`associate-/l*_binary64_11376` `associate-/r/_binary64_11377` `add-cbrt-cube_binary64_11467`
6×	`flip--_binary64_11406` `add-log-exp_binary64_11470` `flip3--_binary64_11435`
5×	`div-exp_binary64_11482` `pow1_binary64_11492`
4×	`div-inv_binary64_11428`
3×	`rem-log-exp_binary64_11472`
2×	`div-sub_binary64_11436` `associate-/l/_binary64_11378` `frac-2neg_binary64_11442` `cbrt-undiv_binary64_11465` `clear-num_binary64_11430` `e-exp-1_binary64_11476`
1×	`log-div_binary64_11518` `sub-neg_binary64_11424` `diff-log_binary64_11523` `associate--r-_binary64_11370` `log-pow_binary64_11520`

Counts

4 → 203

Calls

4 calls:

25.0ms	(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))
22.0ms	(log.f64 (/.f64 E.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
21.0ms	(/.f64 E.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))
10.0ms	(/.f64 (-.f64 x y) (-.f64 1 y))

series386.0ms (4.8%)

Counts

4 → 12

Calls

4 calls:

140.0ms	(log.f64 (/.f64 E.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
111.0ms	(/.f64 E.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))
83.0ms	(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))
51.0ms	(/.f64 (-.f64 x y) (-.f64 1 y))

simplify101.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

215 → 215

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5036	5321

prune255.0ms (3.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	215	0	215
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	215	4	219

Merged error: 0.0b

Counts

219 → 4

Compiler

Compiled 4732 to 2798 computations (40.9% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(*.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) (/.f64 (-.f64 x y) (-.f64 1 y)))
2.4b	(-.f64 1 (*.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) (/.f64 (-.f64 x y) (-.f64 1 y))))
3.2b	(log.f64 (-.f64 1 (*.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) (/.f64 (-.f64 x y) (-.f64 1 y)))))
4.9b	(log.f64 (+.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))

rewrite112.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Rules

284×	`*-un-lft-identity_binary64_11431`
204×	`add-sqr-sqrt_binary64_11453`
176×	`times-frac_binary64_11437`
82×	`distribute-lft-out--_binary64_11383`
80×	`difference-of-squares_binary64_11400`
62×	`swap-sqr_binary64_11398` `add-cube-cbrt_binary64_11466`
36×	`associate-r_binary64_11371` `associate-l_binary64_11372`
18×	`add-exp-log_binary64_11469`
16×	`add-cbrt-cube_binary64_11467`
13×	`pow1_binary64_11492`
9×	`log-prod_binary64_11517`
8×	`associate-/r/_binary64_11377`
6×	`flip--_binary64_11406` `add-log-exp_binary64_11470` `flip3--_binary64_11435`
4×	`log-div_binary64_11518` `cbrt-unprod_binary64_11464` `unswap-sqr_binary64_11399` `prod-exp_binary64_11480` `cbrt-undiv_binary64_11465` `div-exp_binary64_11482` `div-inv_binary64_11428`
2×	`rem-log-exp_binary64_11472` `log-pow_binary64_11520`
1×	`distribute-lft-out_binary64_11382` `pow2_binary64_11512` `pow-sqr_binary64_11404` `associate-r/_binary64_11373` `associate-l/_binary64_11374` `sub-neg_binary64_11424` `*-commutative_binary64_11362` `cancel-sign-sub-inv_binary64_11397` `pow-prod-up_binary64_11501` `frac-times_binary64_11441` `flip3-+_binary64_11434` `diff-log_binary64_11523` `flip-+_binary64_11405` `pow-plus_binary64_11494` `pow-prod-down_binary64_11502`

Counts

4 → 207

Calls

4 calls:

44.0ms	(*.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) (/.f64 (-.f64 x y) (-.f64 1 y)))
17.0ms	(log.f64 (+.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))
5.0ms	(-.f64 1 (*.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) (/.f64 (-.f64 x y) (-.f64 1 y))))
4.0ms	(log.f64 (-.f64 1 (*.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) (/.f64 (-.f64 x y) (-.f64 1 y)))))

series899.0ms (11.3%)

Counts

4 → 12

Calls

4 calls:

431.0ms	(log.f64 (-.f64 1 (*.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) (/.f64 (-.f64 x y) (-.f64 1 y)))))
261.0ms	(-.f64 1 (*.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) (/.f64 (-.f64 x y) (-.f64 1 y))))
114.0ms	(log.f64 (+.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))
93.0ms	(*.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) (/.f64 (-.f64 x y) (-.f64 1 y)))

simplify87.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

219 → 219

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5206	5806

prune453.0ms (5.7%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	219	0	219
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	219	4	223

Merged error: 0.0b

Counts

223 → 4

Compiler

Compiled 8559 to 5363 computations (37.3% saved)

regimes87.0ms (1.1%)

Compiler: Compiled 421 to 341 computations (19% saved)

bsearch221.0ms (2.8%)

Steps

Iters	Range		Point
11	5.5463203254197597e+107	2.3143811125164386e+128	5.595377012809513e+107
9	-1.731186056509597e+20	-20017523896668.473	-20413266182911.223

Compiler

Compiled 1 to 2 computations (-100% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	104	57
1	104	57

end0.0ms (0%)

sample1.3s (16.6%)

Algorithm

1×

intervals

Results

310.0ms	5927×	body	128	valid
187.0ms	944×	body	1024	valid
146.0ms	988×	body	1024	nan
89.0ms	667×	body	512	valid
64.0ms	608×	body	512	nan
39.0ms	406×	body	256	valid
27.0ms	356×	body	256	nan
18.0ms	506×	body	128	nan
16.0ms	56×	body	2048	valid
0.0ms	1×	body	2048	nan

Compiler

Compiled 185 to 142 computations (23.2% saved)

Details

analyze522.0ms (6.6%)

sample38.0ms (0.5%)

simplify499.0ms (6.3%)

prune3.0ms (0%)

localize8.0ms (0.1%)

rewrite97.0ms (1.2%)

series395.0ms (5%)

simplify80.0ms (1%)

prune902.0ms (11.3%)

localize14.0ms (0.2%)

rewrite208.0ms (2.6%)

series320.0ms (4%)

simplify139.0ms (1.7%)

prune693.0ms (8.7%)

localize9.0ms (0.1%)

rewrite101.0ms (1.3%)

series386.0ms (4.8%)

simplify101.0ms (1.3%)

prune255.0ms (3.2%)

localize16.0ms (0.2%)

rewrite112.0ms (1.4%)

series899.0ms (11.3%)

simplify87.0ms (1.1%)

prune453.0ms (5.7%)

regimes87.0ms (1.1%)

bsearch221.0ms (2.8%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample1.3s (16.6%)

Profiling