Details

Time bar (total: 19.0s)

analyze1.9s (10.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.7%0.3%0
0%99.7%0.3%1
0%99.7%0.3%2
0%99.7%0.3%3
0%99.7%0.3%4
0%99.7%0.3%5
0%99.7%0.3%6
0%99.7%0.3%7
0%99.7%0.3%8
0%99.7%0.3%9
0%99.7%0.3%10
0%99.7%0.3%11
0%99.7%0.3%12
0%98.1%1.9%13
0%98.1%1.9%14
Compiler

Compiled 53 to 22 computations (58.5% saved)

sample176.0ms (0.9%)

Algorithm
1×intervals
Results
32.0ms66×body4096valid
29.0ms379×body128nan
26.0ms41×body8192valid
18.0ms47×body2048valid
10.0ms118×body128invalid
6.0ms72×body128valid
5.0ms16×body1024valid
2.0ms11×body512valid
2.0ms1×body8192exit
1.0ms3×body2048invalid
1.0ms4×body512invalid
0.0ms3×body256valid
0.0ms1×body256invalid
Compiler

Compiled 105 to 49 computations (53.3% saved)

simplify137.0ms (0.7%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
0501969

prune11.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
59.6b
Counts
2 → 2
Compiler

Compiled 144 to 75 computations (47.9% saved)

localize22.0ms (0.1%)

Local error

Found 8 expressions with local error:

7.1b
(*.f64 c0 (*.f64 d d))
7.1b
(*.f64 c0 (*.f64 d d))
7.1b
(*.f64 c0 (*.f64 d d))
0.2b
(*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))))
17.3b
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
17.3b
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
17.3b
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
29.4b
(+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))

rewrite126.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
211×add-cbrt-cube_binary64_1106 add-exp-log_binary64_1108
117×cbrt-unprod_binary64_1103 prod-exp_binary64_1119
45×cbrt-undiv_binary64_1104 div-exp_binary64_1121
6×add-log-exp_binary64_1109 *-un-lft-identity_binary64_1070
4×add-sqr-sqrt_binary64_1092 pow1_binary64_1131 add-cube-cbrt_binary64_1105
3×frac-2neg_binary64_1081 clear-num_binary64_1069 associate-/r*_binary64_1014 times-frac_binary64_1076 associate-/l*_binary64_1015 div-inv_binary64_1067
2×sqrt-div_binary64_1087 frac-add_binary64_1078
1×flip--_binary64_1045 flip-+_binary64_1044 distribute-lft-out_binary64_1021 flip3--_binary64_1074 +-commutative_binary64_1000 flip3-+_binary64_1073 sum-log_binary64_1161
Counts
4 → 143
Calls

8 calls:

50.0ms
(+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))
14.0ms
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
13.0ms
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
13.0ms
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
0.0ms
(*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))))

series1.9s (10.2%)

Counts
4 → 71
Calls

4 calls:

591.0ms
(+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))
464.0ms
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
444.0ms
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
432.0ms
(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))
Compiler

Compiled 5972 to 3782 computations (36.7% saved)

simplify101.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
214 → 214
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
050465195

prune313.0ms (1.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New2095214
Fresh101
Picked011
Done000
Total2106216
Error
33.9b
Counts
216 → 6
Compiler

Compiled 11088 to 2037 computations (81.6% saved)

localize22.0ms (0.1%)

Local error

Found 8 expressions with local error:

10.8b
(*.f64 (/.f64 c0 (*.f64 2 w)) (*.f64 1/2 (/.f64 (*.f64 w (*.f64 (*.f64 M M) (*.f64 h (*.f64 D D)))) (*.f64 c0 (*.f64 d d)))))
8.6b
(*.f64 h (*.f64 D D))
7.1b
(*.f64 c0 (*.f64 d d))
5.4b
(*.f64 w (*.f64 (*.f64 M M) (*.f64 h (*.f64 D D))))
8.6b
(*.f64 h (*.f64 D D))
10.8b
(*.f64 (/.f64 c0 (*.f64 2 w)) (*.f64 1/2 (/.f64 (*.f64 w (*.f64 (*.f64 M M) (*.f64 h (*.f64 D D)))) (*.f64 c0 (*.f64 d d)))))
14.2b
(*.f64 (*.f64 M M) (*.f64 h (*.f64 D D)))
15.2b
(/.f64 (*.f64 w (*.f64 (*.f64 M M) (*.f64 h (*.f64 D D)))) (*.f64 c0 (*.f64 d d)))

rewrite137.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
819×add-cbrt-cube_binary64_1106 add-exp-log_binary64_1108
557×cbrt-unprod_binary64_1103 prod-exp_binary64_1119
148×cbrt-undiv_binary64_1104 div-exp_binary64_1121
35×pow1_binary64_1131
21×pow-prod-down_binary64_1141
11×associate-*l*_binary64_1011
8×add-sqr-sqrt_binary64_1092
7×*-un-lft-identity_binary64_1070 add-cube-cbrt_binary64_1105
4×times-frac_binary64_1076 add-log-exp_binary64_1109
3×associate-*r*_binary64_1010 *-commutative_binary64_1001 associate-*r/_binary64_1012
2×div-inv_binary64_1067
1×frac-2neg_binary64_1081 associate-*l/_binary64_1013 frac-times_binary64_1080 clear-num_binary64_1069 unswap-sqr_binary64_1038 associate-/r*_binary64_1014 associate-/l*_binary64_1015
Counts
4 → 285
Calls

8 calls:

31.0ms
(*.f64 (/.f64 c0 (*.f64 2 w)) (*.f64 1/2 (/.f64 (*.f64 w (*.f64 (*.f64 M M) (*.f64 h (*.f64 D D)))) (*.f64 c0 (*.f64 d d)))))
21.0ms
(/.f64 (*.f64 w (*.f64 (*.f64 M M) (*.f64 h (*.f64 D D)))) (*.f64 c0 (*.f64 d d)))
11.0ms
(*.f64 (*.f64 M M) (*.f64 h (*.f64 D D)))
6.0ms
(*.f64 h (*.f64 D D))
0.0ms
(*.f64 w (*.f64 (*.f64 M M) (*.f64 h (*.f64 D D))))

series1.4s (7.6%)

Counts
4 → 51
Calls

4 calls:

691.0ms
(/.f64 (*.f64 w (*.f64 (*.f64 M M) (*.f64 h (*.f64 D D)))) (*.f64 c0 (*.f64 d d)))
554.0ms
(*.f64 (/.f64 c0 (*.f64 2 w)) (*.f64 1/2 (/.f64 (*.f64 w (*.f64 (*.f64 M M) (*.f64 h (*.f64 D D)))) (*.f64 c0 (*.f64 d d)))))
145.0ms
(*.f64 (*.f64 M M) (*.f64 h (*.f64 D D)))
57.0ms
(*.f64 h (*.f64 D D))
Compiler

Compiled 2190 to 2088 computations (4.7% saved)

simplify142.0ms (0.7%)

Algorithm
1×egg-herbie
Counts
336 → 336
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
054749642

prune389.0ms (2.1%)

Pruning

14 alts after pruning (13 fresh and 1 done)

PrunedKeptTotal
New32610336
Fresh134
Picked101
Done011
Total32814342
Error
26.4b
Counts
342 → 14
Compiler

Compiled 9168 to 2698 computations (70.6% saved)

localize11.0ms (0.1%)

Local error

Found 8 expressions with local error:

15.1b
(/.f64 (*.f64 (*.f64 h (*.f64 D D)) (*.f64 M M)) (*.f64 d d))
14.2b
(*.f64 (*.f64 h (*.f64 D D)) (*.f64 M M))
8.6b
(*.f64 h (*.f64 D D))
0.0b
(*.f64 (/.f64 (*.f64 (*.f64 h (*.f64 D D)) (*.f64 M M)) (*.f64 d d)) 1/4)
0.0b
(*.f64 (/.f64 (*.f64 (*.f64 h (*.f64 D D)) (*.f64 M M)) (*.f64 d d)) 1/4)
8.6b
(*.f64 h (*.f64 D D))
14.2b
(*.f64 (*.f64 h (*.f64 D D)) (*.f64 M M))
15.1b
(/.f64 (*.f64 (*.f64 h (*.f64 D D)) (*.f64 M M)) (*.f64 d d))

rewrite64.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
176×add-cbrt-cube_binary64_1106 add-exp-log_binary64_1108
107×cbrt-unprod_binary64_1103 prod-exp_binary64_1119
32×pow1_binary64_1131
28×cbrt-undiv_binary64_1104 div-exp_binary64_1121
19×pow-prod-down_binary64_1141
10×add-sqr-sqrt_binary64_1092
9×associate-*l*_binary64_1011
7×*-un-lft-identity_binary64_1070 add-cube-cbrt_binary64_1105
5×associate-*r*_binary64_1010
4×add-log-exp_binary64_1109
3×*-commutative_binary64_1001
2×unswap-sqr_binary64_1038 times-frac_binary64_1076 div-inv_binary64_1067
1×frac-2neg_binary64_1081 associate-*l/_binary64_1013 clear-num_binary64_1069 associate-/r*_binary64_1014 associate-/l*_binary64_1015
Counts
4 → 137
Calls

8 calls:

19.0ms
(*.f64 (/.f64 (*.f64 (*.f64 h (*.f64 D D)) (*.f64 M M)) (*.f64 d d)) 1/4)
14.0ms
(/.f64 (*.f64 (*.f64 h (*.f64 D D)) (*.f64 M M)) (*.f64 d d))
10.0ms
(*.f64 (*.f64 h (*.f64 D D)) (*.f64 M M))
5.0ms
(*.f64 h (*.f64 D D))
0.0ms
(*.f64 (/.f64 (*.f64 (*.f64 h (*.f64 D D)) (*.f64 M M)) (*.f64 d d)) 1/4)

series890.0ms (4.7%)

Counts
4 → 39
Calls

4 calls:

369.0ms
(*.f64 (/.f64 (*.f64 (*.f64 h (*.f64 D D)) (*.f64 M M)) (*.f64 d d)) 1/4)
309.0ms
(/.f64 (*.f64 (*.f64 h (*.f64 D D)) (*.f64 M M)) (*.f64 d d))
144.0ms
(*.f64 (*.f64 h (*.f64 D D)) (*.f64 M M))
67.0ms
(*.f64 h (*.f64 D D))
Compiler

Compiled 1170 to 1284 computations (-9.7% saved)

simplify97.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
176 → 176
Iterations

Useful iterations: 0 (60.0ms)

IterNodesCost
050133193

prune179.0ms (0.9%)

Pruning

17 alts after pruning (16 fresh and 1 done)

PrunedKeptTotal
New16511176
Fresh7512
Picked101
Done011
Total17317190
Error
21.6b
Counts
190 → 17
Compiler

Compiled 3435 to 1119 computations (67.4% saved)

localize11.0ms (0.1%)

Local error

Found 8 expressions with local error:

8.6b
(*.f64 h (*.f64 D D))
6.4b
(*.f64 M (*.f64 h (*.f64 D D)))
2.4b
(*.f64 (*.f64 M (*.f64 h (*.f64 D D))) M)
0.0b
(*.f64 (/.f64 (*.f64 (*.f64 M (*.f64 h (*.f64 D D))) M) (*.f64 d d)) 1/4)
2.4b
(*.f64 (*.f64 M (*.f64 h (*.f64 D D))) M)
6.4b
(*.f64 M (*.f64 h (*.f64 D D)))
8.6b
(*.f64 h (*.f64 D D))
15.1b
(/.f64 (*.f64 (*.f64 M (*.f64 h (*.f64 D D))) M) (*.f64 d d))

rewrite47.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
77×add-cbrt-cube_binary64_1106 add-exp-log_binary64_1108
44×cbrt-unprod_binary64_1103 prod-exp_binary64_1119
32×pow1_binary64_1131
19×pow-prod-down_binary64_1141
10×cbrt-undiv_binary64_1104 div-exp_binary64_1121
8×add-sqr-sqrt_binary64_1092
7×associate-*l*_binary64_1011 *-un-lft-identity_binary64_1070 add-cube-cbrt_binary64_1105
5×associate-*r*_binary64_1010
4×add-log-exp_binary64_1109
3×*-commutative_binary64_1001
1×frac-2neg_binary64_1081 clear-num_binary64_1069 unswap-sqr_binary64_1038 associate-/r*_binary64_1014 times-frac_binary64_1076 associate-/l*_binary64_1015 div-inv_binary64_1067
Counts
4 → 97
Calls

8 calls:

15.0ms
(/.f64 (*.f64 (*.f64 M (*.f64 h (*.f64 D D))) M) (*.f64 d d))
10.0ms
(*.f64 (*.f64 M (*.f64 h (*.f64 D D))) M)
7.0ms
(*.f64 M (*.f64 h (*.f64 D D)))
6.0ms
(*.f64 h (*.f64 D D))
0.0ms
(*.f64 (/.f64 (*.f64 (*.f64 M (*.f64 h (*.f64 D D))) M) (*.f64 d d)) 1/4)

series623.0ms (3.3%)

Counts
4 → 36
Calls

4 calls:

310.0ms
(/.f64 (*.f64 (*.f64 M (*.f64 h (*.f64 D D))) M) (*.f64 d d))
139.0ms
(*.f64 (*.f64 M (*.f64 h (*.f64 D D))) M)
118.0ms
(*.f64 M (*.f64 h (*.f64 D D)))
56.0ms
(*.f64 h (*.f64 D D))
Compiler

Compiled 1080 to 1146 computations (-6.1% saved)

simplify62.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
133 → 133
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
050211927

prune112.0ms (0.6%)

Pruning

17 alts after pruning (16 fresh and 1 done)

PrunedKeptTotal
New1267133
Fresh6915
Picked101
Done011
Total13317150
Error
19.2b
Counts
150 → 17
Compiler

Compiled 2332 to 572 computations (75.5% saved)

simplify28.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
04282170
14282170

regimes1.3s (6.9%)

Accuracy

Total 8.6b remaining (31.7%)

Threshold costs 0b (0%)

Compiler

Compiled 16541 to 11738 computations (29% saved)

bsearch3.0ms (0%)

Compiler

Compiled 3 to 7 computations (-133.3% saved)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03353
13353

end0.0ms (0%)

sample8.7s (45.7%)

Algorithm
1×intervals
Results
1.1s2143×body4096valid
946.0ms11990×body128nan
740.0ms1175×body8192valid
506.0ms1286×body2048valid
329.0ms4048×body128invalid
191.0ms623×body1024valid
183.0ms2328×body128valid
69.0ms302×body512valid
26.0ms66×body2048invalid
22.0ms143×body256valid
17.0ms58×body1024invalid
9.0ms39×body512invalid
7.0ms8×body8192exit
6.0ms12×body4096invalid
4.0ms24×body256invalid
Compiler

Compiled 4463 to 3147 computations (29.5% saved)

Pareto

-0.40681512277087256

Profiling

Loading profile data...