Details

analyze551.0ms (8.7%)

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)

sample38.0ms (0.6%)

Algorithm

1×

intervals

Results

30.0ms

256×

body

128

valid

Compiler

Compiled 103 to 90 computations (12.6% saved)

simplify230.0ms (3.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	5298	40

prune9.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: 0.0b

Counts

2 → 2

Compiler

Compiled 183 to 160 computations (12.6% saved)

localize13.0ms (0.2%)

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

rewrite239.0ms (3.8%)

Algorithm

1×	rewrite-expression-head

Rules

452×	`times-frac_binary64_85`
364×	`*-un-lft-identity_binary64_79`
284×	`cancel-sign-sub-inv_binary64_45`
236×	`add-sqr-sqrt_binary64_101`
200×	`add-cube-cbrt_binary64_114`
104×	`distribute-lft-out_binary64_30`
76×	`div-inv_binary64_76`
12×	`difference-of-squares_binary64_48` `add-log-exp_binary64_118`
8×	`associate-/r/_binary64_25`
4×	`add-exp-log_binary64_117` `add-cbrt-cube_binary64_115` `flip-+_binary64_53` `distribute-lft-out--_binary64_31` `flip--_binary64_54` `diff-log_binary64_171` `flip3--_binary64_83` `flip3-+_binary64_82` `sub-neg_binary64_72` `pow1_binary64_140`

Counts

4 → 344

Calls

4 calls:

43.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
41.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))))
37.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))

series110.0ms (1.7%)

Counts

4 → 12

Calls

4 calls:

32.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
26.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
26.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
25.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))

simplify111.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

356 → 356

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5139	9088

prune2.0s (31.8%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Merged error: 0.0b

Counts

358 → 2

Compiler

Compiled 20875 to 17285 computations (17.2% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 4 (+.f64 1 t))
0.0b	(/.f64 (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 5) (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 6))
0.0b	(+.f64 (/.f64 4 (+.f64 1 t)) -8)
0.0b	(+.f64 (/.f64 4 (+.f64 1 t)) -8)

rewrite98.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Rules

55×	`*-un-lft-identity_binary64_79`
28×	`times-frac_binary64_85`
23×	`add-cube-cbrt_binary64_114` `add-sqr-sqrt_binary64_101`
16×	`distribute-lft-out_binary64_30`
8×	`associate-/r*_binary64_23` `add-exp-log_binary64_117` `add-cbrt-cube_binary64_115` `add-log-exp_binary64_118`
7×	`associate-/l*_binary64_24`
5×	`flip-+_binary64_53` `flip3-+_binary64_82`
4×	`associate-/r/_binary64_25` `pow1_binary64_140`
2×	`cbrt-undiv_binary64_113` `div-exp_binary64_130` `div-inv_binary64_76` `sum-log_binary64_170` `+-commutative_binary64_9` `clear-num_binary64_78` `associate-/l/_binary64_26` `frac-2neg_binary64_90`

Counts

4 → 97

Calls

4 calls:

56.0ms	(/.f64 (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 5) (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 6))
12.0ms	(+.f64 (/.f64 4 (+.f64 1 t)) -8)
12.0ms	(+.f64 (/.f64 4 (+.f64 1 t)) -8)
6.0ms	(/.f64 4 (+.f64 1 t))

series125.0ms (2%)

Counts

4 → 12

Calls

4 calls:

73.0ms	(/.f64 (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 5) (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 6))
18.0ms	(+.f64 (/.f64 4 (+.f64 1 t)) -8)
17.0ms	(+.f64 (/.f64 4 (+.f64 1 t)) -8)
17.0ms	(/.f64 4 (+.f64 1 t))

simplify83.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	4816	3210
1	4816	3210

prune259.0ms (4.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	107	2	109
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	108	3	111

Merged error: 0b

Counts

111 → 3

Compiler

Compiled 4696 to 4022 computations (14.4% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 6) (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 5))
0.0b	(+.f64 (/.f64 4 (+.f64 1 t)) -8)
0.0b	(+.f64 (/.f64 4 (+.f64 1 t)) -8)
0.0b	(/.f64 1 (/.f64 (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 6) (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 5)))

rewrite167.0ms (2.6%)

Algorithm

1×	rewrite-expression-head

Rules

161×	`*-un-lft-identity_binary64_79`
146×	`times-frac_binary64_85`
73×	`add-cube-cbrt_binary64_114` `add-sqr-sqrt_binary64_101`
44×	`distribute-lft-out_binary64_30`
26×	`associate-/r*_binary64_23`
17×	`add-exp-log_binary64_117`
11×	`add-cbrt-cube_binary64_115` `associate-/r/_binary64_25`
8×	`div-exp_binary64_130` `flip-+_binary64_53` `add-log-exp_binary64_118` `flip3-+_binary64_82`
7×	`associate-/l*_binary64_24`
6×	`div-inv_binary64_76`
5×	`pow1_binary64_140`
4×	`cbrt-undiv_binary64_113`
2×	`1-exp_binary64_123` `sum-log_binary64_170` `rec-exp_binary64_129` `+-commutative_binary64_9` `clear-num_binary64_78` `associate-/l/_binary64_26` `frac-2neg_binary64_90`
1×	`inv-pow_binary64_164` `pow-flip_binary64_153`

Counts

4 → 176

Calls

4 calls:

55.0ms	(/.f64 1 (/.f64 (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 6) (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 5)))
52.0ms	(/.f64 (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 6) (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 5))
16.0ms	(+.f64 (/.f64 4 (+.f64 1 t)) -8)
12.0ms	(+.f64 (/.f64 4 (+.f64 1 t)) -8)

series183.0ms (2.9%)

Counts

4 → 12

Calls

4 calls:

76.0ms	(/.f64 1 (/.f64 (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 6) (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 5)))
74.0ms	(/.f64 (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 6) (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 5))
16.0ms	(+.f64 (/.f64 4 (+.f64 1 t)) -8)
16.0ms	(+.f64 (/.f64 4 (+.f64 1 t)) -8)

simplify134.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

188 → 188

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	5037	9895

prune576.0ms (9.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	188	0	188
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	188	3	191

Merged error: 0b

Counts

191 → 3

Compiler

Compiled 8776 to 7589 computations (13.5% saved)

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

7.5b	(-.f64 (+.f64 (.f64 t t) 1/2) (.f64 2 (pow.f64 t 3)))

rewrite9.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-log-exp_binary64_118`
2×	`diff-log_binary64_171`
1×	`add-exp-log_binary64_117` `add-cbrt-cube_binary64_115` `associate--l+_binary64_16` `add-cube-cbrt_binary64_114` `sum-log_binary64_170` `add-sqr-sqrt_binary64_101` `flip--_binary64_54` `flip3--_binary64_83` `cancel-sign-sub-inv_binary64_45` `sub-neg_binary64_72` `pow1_binary64_140` `*-un-lft-identity_binary64_79`

Counts

1 → 14

Calls

1 calls:

8.0ms

(-.f64 (+.f64 (*.f64 t t) 1/2) (*.f64 2 (pow.f64 t 3)))

series38.0ms (0.6%)

Counts

1 → 3

Calls

1 calls:

38.0ms

(-.f64 (+.f64 (*.f64 t t) 1/2) (*.f64 2 (pow.f64 t 3)))

simplify36.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

17 → 17

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5005	352

prune15.0ms (0.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	17	0	17
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	17	3	20

Merged error: 0b

Counts

20 → 3

Compiler

Compiled 289 to 196 computations (32.2% saved)

regimes71.0ms (1.1%)

Compiler: Compiled 645 to 561 computations (13% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	20	43
1	20	43

end0.0ms (0%)

sample1.2s (18.9%)

Algorithm

1×

intervals

Results

939.0ms

8000×

body

128

valid

Compiler

Compiled 172 to 151 computations (12.2% saved)

Details

analyze551.0ms (8.7%)

sample38.0ms (0.6%)

simplify230.0ms (3.6%)

prune9.0ms (0.1%)

localize13.0ms (0.2%)

rewrite239.0ms (3.8%)

series110.0ms (1.7%)

simplify111.0ms (1.7%)

prune2.0s (31.8%)

localize10.0ms (0.2%)

rewrite98.0ms (1.5%)

series125.0ms (2%)

simplify83.0ms (1.3%)

prune259.0ms (4.1%)

localize11.0ms (0.2%)

rewrite167.0ms (2.6%)

series183.0ms (2.9%)

simplify134.0ms (2.1%)

prune576.0ms (9.1%)

localize7.0ms (0.1%)

rewrite9.0ms (0.1%)

series38.0ms (0.6%)

simplify36.0ms (0.6%)

prune15.0ms (0.2%)

regimes71.0ms (1.1%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample1.2s (18.9%)

Profiling