Details

analyze887.0ms (12.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	50%	0%	4
50%	50%	0%	5
50%	50%	0%	6
50%	50%	0%	7
50%	50%	0%	8
50%	50%	0%	9
50%	50%	0%	10
50%	50%	0%	11
50%	49.9%	0%	12
99.6%	0.3%	0%	13
99.9%	0%	0%	14

Compiler

Compiled 52 to 45 computations (13.5% saved)

sample45.0ms (0.6%)

Algorithm

1×

intervals

Results

34.0ms

256×

body

128

valid

Compiler

Compiled 103 to 90 computations (12.6% saved)

simplify202.0ms (2.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (87.0ms)

Iter	Nodes	Cost
0	5107	46

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

Counts

2 → 2

Compiler

Compiled 113 to 100 computations (11.5% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 2 (+.f64 1 t))
0.0b	(/.f64 2 (+.f64 1 t))
0.0b	(*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4))
0.0b	(*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4))

rewrite107.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Rules

72×	`*-un-lft-identity_binary64_78`
50×	`add-sqr-sqrt_binary64_100` `times-frac_binary64_84`
40×	`add-cube-cbrt_binary64_113`
36×	`associate-l_binary64_19`
18×	`add-cbrt-cube_binary64_114` `add-exp-log_binary64_116`
16×	`distribute-lft-out_binary64_29`
8×	`flip-+_binary64_52` `associate-r_binary64_18` `associate-/r*_binary64_22` `associate-/r/_binary64_24` `pow1_binary64_139` `flip3-+_binary64_81`
6×	`associate-/l*_binary64_23`
4×	`add-log-exp_binary64_117` `cbrt-unprod_binary64_111` `cbrt-undiv_binary64_112` `prod-exp_binary64_127` `div-exp_binary64_129` `div-inv_binary64_75` `frac-times_binary64_88` `unswap-sqr_binary64_46` `associate-*r/_binary64_20`
2×	`distribute-lft-in_binary64_27` `-commutative_binary64_9` `distribute-rgt-in_binary64_28` `frac-2neg_binary64_89` `associate-l/_binary64_21` `pow-prod-down_binary64_149` `clear-num_binary64_77`

Counts

4 → 154

Calls

4 calls:

29.0ms	(*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4))
21.0ms	(*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4))
15.0ms	(/.f64 2 (+.f64 1 t))
11.0ms	(/.f64 2 (+.f64 1 t))

series72.0ms (1%)

Counts

4 → 12

Calls

4 calls:

22.0ms	(*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4))
19.0ms	(*.f64 (/.f64 2 (+.f64 1 t)) (+.f64 (/.f64 2 (+.f64 1 t)) -4))
17.0ms	(/.f64 2 (+.f64 1 t))
14.0ms	(/.f64 2 (+.f64 1 t))

simplify131.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

166 → 166

Iterations

Useful iterations: 0 (77.0ms)

Iter	Nodes	Cost
0	5099	2892

prune488.0ms (6.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	166	0	166
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	166	2	168

Error

Counts

168 → 2

Compiler

Compiled 6271 to 5439 computations (13.3% saved)

localize20.0ms (0.3%)

Local error

Found 4 expressions with local error:

3.1b	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
3.1b	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
3.1b	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
3.1b	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))

rewrite340.0ms (4.7%)

Algorithm

1×	rewrite-expression-head

Rules

452×	`times-frac_binary64_84`
364×	`*-un-lft-identity_binary64_78`
284×	`cancel-sign-sub-inv_binary64_44`
236×	`add-sqr-sqrt_binary64_100`
200×	`add-cube-cbrt_binary64_113`
104×	`distribute-lft-out_binary64_29`
76×	`div-inv_binary64_75`
12×	`add-log-exp_binary64_117` `difference-of-squares_binary64_47`
8×	`associate-/r/_binary64_24`
4×	`add-cbrt-cube_binary64_114` `flip-+_binary64_52` `distribute-lft-out--_binary64_30` `flip3--_binary64_82` `diff-log_binary64_170` `flip--_binary64_53` `add-exp-log_binary64_116` `sub-neg_binary64_71` `pow1_binary64_139` `flip3-+_binary64_81`

Counts

4 → 344

Calls

4 calls:

64.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
56.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
43.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
38.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))

series78.0ms (1.1%)

Counts

4 → 12

Calls

4 calls:

28.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
24.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
13.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
13.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))

simplify152.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

356 → 356

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5172	9088

prune2.5s (33.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	356	0	356
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	356	2	358

Error

Counts

358 → 2

Compiler

Compiled 20848 to 17261 computations (17.2% saved)

regimes172.0ms (2.4%)

Accuracy

Total 0.0b remaining (65.8%)

Threshold costs 0.0b (65.8%)

Compiler

Compiled 1910 to 1706 computations (10.7% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	20	46
1	20	46

end0.0ms (0%)

sample2.1s (28.6%)

Algorithm

1×

intervals

Results

1.4s

8000×

body

128

valid

Compiler

Compiled 427 to 382 computations (10.5% saved)

Details

analyze887.0ms (12.2%)

sample45.0ms (0.6%)

simplify202.0ms (2.8%)

prune6.0ms (0.1%)

localize17.0ms (0.2%)

rewrite107.0ms (1.5%)

series72.0ms (1%)

simplify131.0ms (1.8%)

prune488.0ms (6.7%)

localize20.0ms (0.3%)

rewrite340.0ms (4.7%)

series78.0ms (1.1%)

simplify152.0ms (2.1%)

prune2.5s (33.9%)

regimes172.0ms (2.4%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample2.1s (28.6%)

Profiling