Details

analyze555.0ms (9.6%)

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

Algorithm

1×

intervals

Results

30.0ms

256×

body

128

valid

Compiler

Compiled 103 to 90 computations (12.6% saved)

simplify223.0ms (3.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	5298	40

prune9.0ms (0.2%)

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

rewrite221.0ms (3.8%)

Algorithm

1×	rewrite-expression-head

Rules

452×	`times-frac_binary64_773`
364×	`*-un-lft-identity_binary64_767`
284×	`cancel-sign-sub-inv_binary64_733`
236×	`add-sqr-sqrt_binary64_789`
200×	`add-cube-cbrt_binary64_802`
104×	`distribute-lft-out_binary64_718`
76×	`div-inv_binary64_764`
12×	`add-log-exp_binary64_806` `difference-of-squares_binary64_736`
8×	`associate-/r/_binary64_713`
4×	`sub-neg_binary64_760` `add-exp-log_binary64_805` `pow1_binary64_828` `flip-+_binary64_741` `diff-log_binary64_859` `distribute-lft-out--_binary64_719` `flip3-+_binary64_770` `flip--_binary64_742` `add-cbrt-cube_binary64_803` `flip3--_binary64_771`

Counts

4 → 344

Calls

4 calls:

37.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))))
33.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
33.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))

series112.0ms (1.9%)

Counts

4 → 12

Calls

4 calls:

34.0ms	(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
27.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))))

simplify112.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

356 → 356

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5139	9088

prune2.3s (40%)

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)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite69.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Rules

68×	`*-un-lft-identity_binary64_767`
32×	`times-frac_binary64_773`
24×	`add-sqr-sqrt_binary64_789` `add-cube-cbrt_binary64_802`
22×	`distribute-lft-out_binary64_718`
8×	`associate-/r_binary64_711` `add-exp-log_binary64_805` `add-log-exp_binary64_806` `associate-/l_binary64_712` `add-cbrt-cube_binary64_803`
6×	`flip-+_binary64_741` `flip3-+_binary64_770`
4×	`associate-/l/_binary64_714` `associate-/r/_binary64_713` `pow1_binary64_828`
2×	`frac-2neg_binary64_778` `cbrt-undiv_binary64_801` `+-commutative_binary64_697` `sum-log_binary64_858` `div-exp_binary64_818` `clear-num_binary64_766` `div-inv_binary64_764`

Counts

4 → 104

Calls

4 calls:

17.0ms	(/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t))
17.0ms	(/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t))
12.0ms	(+.f64 (/.f64 4 (+.f64 1 t)) -8)
11.0ms	(+.f64 (/.f64 4 (+.f64 1 t)) -8)

series112.0ms (1.9%)

Counts

4 → 12

Calls

4 calls:

40.0ms	(/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t))
35.0ms	(/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t))
19.0ms	(+.f64 (/.f64 4 (+.f64 1 t)) -8)
18.0ms	(+.f64 (/.f64 4 (+.f64 1 t)) -8)

simplify83.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5259	2484

prune230.0ms (4%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	115	1	116
Fresh	0	0	0
Picked	1	0	1
Done	1	0	1
Total	117	1	118

Merged error: 0.0b

Counts

118 → 1

Compiler

Compiled 4154 to 3539 computations (14.8% saved)

localize15.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite71.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Rules

68×	`*-un-lft-identity_binary64_767`
32×	`times-frac_binary64_773`
24×	`add-sqr-sqrt_binary64_789` `add-cube-cbrt_binary64_802`
22×	`distribute-lft-out_binary64_718`
8×	`associate-/r_binary64_711` `add-exp-log_binary64_805` `add-log-exp_binary64_806` `associate-/l_binary64_712` `add-cbrt-cube_binary64_803`
6×	`flip-+_binary64_741` `flip3-+_binary64_770`
4×	`associate-/l/_binary64_714` `associate-/r/_binary64_713` `pow1_binary64_828`
2×	`frac-2neg_binary64_778` `cbrt-undiv_binary64_801` `+-commutative_binary64_697` `sum-log_binary64_858` `div-exp_binary64_818` `clear-num_binary64_766` `div-inv_binary64_764`

Counts

4 → 104

Calls

4 calls:

17.0ms	(/.f64 (+.f64 1 t) (+.f64 (/.f64 4 (+.f64 1 t)) -8))
17.0ms	(/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t))
12.0ms	(+.f64 (/.f64 4 (+.f64 1 t)) -8)
12.0ms	(+.f64 (/.f64 4 (+.f64 1 t)) -8)

series105.0ms (1.8%)

Counts

4 → 12

Calls

4 calls:

36.0ms	(/.f64 (+.f64 1 t) (+.f64 (/.f64 4 (+.f64 1 t)) -8))
33.0ms	(/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t))
18.0ms	(+.f64 (/.f64 4 (+.f64 1 t)) -8)
17.0ms	(+.f64 (/.f64 4 (+.f64 1 t)) -8)

simplify73.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5020	2508

prune245.0ms (4.2%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	116	0	116
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	116	1	117

Merged error: 0.0b

Counts

117 → 1

Compiler

Compiled 4299 to 3697 computations (14% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	21	43
1	21	43

end0.0ms (0%)

sample1.2s (20.1%)

Algorithm

1×

intervals

Results

954.0ms

8000×

body

128

valid

Compiler

Compiled 110 to 98 computations (10.9% saved)

Details

analyze555.0ms (9.6%)

sample38.0ms (0.7%)

simplify223.0ms (3.9%)

prune9.0ms (0.2%)

localize13.0ms (0.2%)

rewrite221.0ms (3.8%)

series112.0ms (1.9%)

simplify112.0ms (1.9%)

prune2.3s (40%)

localize12.0ms (0.2%)

rewrite69.0ms (1.2%)

series112.0ms (1.9%)

simplify83.0ms (1.4%)

prune230.0ms (4%)

localize15.0ms (0.3%)

rewrite71.0ms (1.2%)

series105.0ms (1.8%)

simplify73.0ms (1.3%)

prune245.0ms (4.2%)

simplify2.0ms (0%)

end0.0ms (0%)

sample1.2s (20.1%)

Profiling