Details

Time bar (total: 4.6s)

analyze1.5s

Algorithm
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
1.1%98.6%0.3%12
1.9%97.8%0.3%13
7%92.7%0.3%14

sample28.0ms

Algorithm
intervals
Results
14.0ms256×body80valid

simplify74.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (71.0ms)

IterNodesCost
0528421

prune7.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 23.7b

Counts
2 → 1

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(*.f64 (+.f64 x y) z)
1.6b
(-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b))
1.8b
(+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a))
22.3b
(/.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
38×*-un-lft-identity_binary64
18×add-sqr-sqrt_binary64
16×add-cube-cbrt_binary64
15×times-frac_binary64
13×distribute-lft-out_binary64
11×add-log-exp_binary64
10×associate-*l/_binary64
8×add-exp-log_binary64 add-cbrt-cube_binary64
7×flip3-+_binary64 flip-+_binary64
6×pow1_binary64
5×associate-/r*_binary64
4×frac-add_binary64 associate-*l*_binary64
3×associate-*r*_binary64 associate-/l*_binary64
2×associate-/l/_binary64 flip3--_binary64 diff-log_binary64 associate-/r/_binary64 flip--_binary64 sum-log_binary64
1×pow-prod-down_binary64 sub-neg_binary64 cbrt-unprod_binary64 cbrt-undiv_binary64 unswap-sqr_binary64 div-sub_binary64 clear-num_binary64 prod-exp_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64 +-commutative_binary64 associate--l+_binary64 *-commutative_binary64
Counts
4 → 89
Calls
4 calls:
7.0ms
(*.f64 (+.f64 x y) z)
12.0ms
(-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b))
13.0ms
(+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a))
17.0ms
(/.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))

series219.0ms

Counts
4 → 12
Calls
4 calls:
6.0ms
(*.f64 (+.f64 x y) z)
32.0ms
(-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b))
18.0ms
(+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a))
163.0ms
(/.f64 (-.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))

simplify48.0ms

Algorithm
egg-herbie
Counts
101 → 101
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
052232056

prune117.0ms

Filtered
76 candidates to 101 candidates (-32.9%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New8813101
Fresh000
Picked101
Done000
Total8913102

Merged error: 8.2b

Counts
102 → 13

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(*.f64 (+.f64 x y) z)
1.8b
(+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a))
7.4b
(/.f64 (*.f64 y b) (+.f64 x (+.f64 y t)))
18.5b
(/.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (+.f64 x (+.f64 y t)))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
50×*-un-lft-identity_binary64
20×add-sqr-sqrt_binary64 times-frac_binary64
19×distribute-lft-out_binary64
18×add-cube-cbrt_binary64 associate-*l/_binary64
13×flip3-+_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 flip-+_binary64
10×associate-/r*_binary64
8×frac-add_binary64
6×associate-/l/_binary64 add-log-exp_binary64 pow1_binary64
4×associate-/r/_binary64 associate-*l*_binary64 associate-/l*_binary64
3×associate-*r*_binary64 cbrt-undiv_binary64 div-exp_binary64
2×cbrt-unprod_binary64 clear-num_binary64 prod-exp_binary64 frac-2neg_binary64 div-inv_binary64
1×pow-prod-down_binary64 unswap-sqr_binary64 +-commutative_binary64 sum-log_binary64 *-commutative_binary64
Counts
4 → 106
Calls
4 calls:
7.0ms
(*.f64 (+.f64 x y) z)
9.0ms
(+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a))
9.0ms
(/.f64 (*.f64 y b) (+.f64 x (+.f64 y t)))
15.0ms
(/.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (+.f64 x (+.f64 y t)))

series113.0ms

Counts
4 → 12
Calls
4 calls:
6.0ms
(*.f64 (+.f64 x y) z)
18.0ms
(+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a))
19.0ms
(/.f64 (*.f64 y b) (+.f64 x (+.f64 y t)))
70.0ms
(/.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (+.f64 x (+.f64 y t)))

simplify38.0ms

Algorithm
egg-herbie
Counts
118 → 118
Iterations

Useful iterations: 0 (22.0ms)

IterNodesCost
050311882

prune97.0ms

Filtered
83 candidates to 118 candidates (-42.2%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New1153118
Fresh21012
Picked101
Done000
Total11813131

Merged error: 4.3b

Counts
131 → 13

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b
(/.f64 (+.f64 x (+.f64 y t)) b)
1.8b
(+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a))
8.8b
(/.f64 y (/.f64 (+.f64 x (+.f64 y t)) b))
18.5b
(/.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (+.f64 x (+.f64 y t)))

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
180×*-un-lft-identity_binary64
147×times-frac_binary64
80×add-cube-cbrt_binary64 add-sqr-sqrt_binary64
60×distribute-lft-out_binary64
27×associate-/r*_binary64
16×associate-*l/_binary64
13×add-exp-log_binary64 add-cbrt-cube_binary64
12×flip3-+_binary64 flip-+_binary64
11×associate-/l*_binary64
8×associate-/l/_binary64 frac-add_binary64
7×div-inv_binary64
6×add-log-exp_binary64
5×cbrt-undiv_binary64 div-exp_binary64
4×pow1_binary64
3×associate-/r/_binary64 clear-num_binary64 frac-2neg_binary64
1×+-commutative_binary64 sum-log_binary64
Counts
4 → 189
Calls
4 calls:
9.0ms
(/.f64 (+.f64 x (+.f64 y t)) b)
9.0ms
(+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a))
10.0ms
(/.f64 y (/.f64 (+.f64 x (+.f64 y t)) b))
15.0ms
(/.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (+.f64 x (+.f64 y t)))

series129.0ms

Counts
4 → 12
Calls
4 calls:
9.0ms
(/.f64 (+.f64 x (+.f64 y t)) b)
18.0ms
(+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a))
31.0ms
(/.f64 y (/.f64 (+.f64 x (+.f64 y t)) b))
70.0ms
(/.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (+.f64 x (+.f64 y t)))

simplify63.0ms

Algorithm
egg-herbie
Counts
201 → 201
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
050173364

prune111.0ms

Filtered
133 candidates to 201 candidates (-51.1%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New1992201
Fresh3912
Picked101
Done000
Total20311214

Merged error: 2.4b

Counts
214 → 11

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(*.f64 (+.f64 x y) z)
1.8b
(+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a))
9.1b
(*.f64 y (/.f64 b (+.f64 x (+.f64 y t))))
18.5b
(/.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (+.f64 x (+.f64 y t)))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
63×*-un-lft-identity_binary64
33×add-sqr-sqrt_binary64
31×times-frac_binary64
26×add-cube-cbrt_binary64
24×associate-*r*_binary64
22×distribute-lft-out_binary64
18×associate-*l/_binary64
13×flip3-+_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 flip-+_binary64
8×pow1_binary64 frac-add_binary64
7×associate-*l*_binary64
6×associate-/l/_binary64 add-log-exp_binary64
5×associate-/r*_binary64
4×associate-/r/_binary64
3×cbrt-unprod_binary64 unswap-sqr_binary64 prod-exp_binary64 associate-/l*_binary64
2×pow-prod-down_binary64 cbrt-undiv_binary64 div-inv_binary64 div-exp_binary64 *-commutative_binary64
1×associate-*r/_binary64 clear-num_binary64 frac-2neg_binary64 +-commutative_binary64 sum-log_binary64
Counts
4 → 119
Calls
4 calls:
6.0ms
(*.f64 (+.f64 x y) z)
9.0ms
(+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a))
12.0ms
(*.f64 y (/.f64 b (+.f64 x (+.f64 y t))))
15.0ms
(/.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (+.f64 x (+.f64 y t)))

series113.0ms

Counts
4 → 12
Calls
4 calls:
6.0ms
(*.f64 (+.f64 x y) z)
19.0ms
(+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a))
19.0ms
(*.f64 y (/.f64 b (+.f64 x (+.f64 y t))))
69.0ms
(/.f64 (+.f64 (*.f64 (+.f64 x y) z) (*.f64 (+.f64 y t) a)) (+.f64 x (+.f64 y t)))

simplify53.0ms

Algorithm
egg-herbie
Counts
131 → 131
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
058691993

prune53.0ms

Filtered
91 candidates to 131 candidates (-44.0%)
Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New1301131
Fresh1910
Picked011
Done000
Total13111142

Merged error: 2.4b

Counts
142 → 11

regimes766.0ms

Accuracy

17.5% (17.9b remaining)

Error of 20.8b against oracle of 3.0b and baseline of 24.6b

bsearch178.0ms

Steps
ItersRangePoint
10
7.203854757251006e+79
2.0776528406973654e+90
2.7687480808701386e+84
5
-1.0989466598897429e-271
-4.982199158194502e-272
-5.7955189878830535e-272
5
-2.1975591117068567e-260
-5.594031109207313e-261
-1.7458862711017074e-260
9
-3.10394940982004e-195
-1.77545377003426e-200
-1.2409296858903545e-196
8
-3.5518254176223123e-162
-7.048389644462601e-166
-2.857698796196673e-162
2
-2.8030977302498635e-86
-2.4250132100285942e-86
-2.755837165222205e-86
9
-2.580406507109638e+115
-4.1849247476091e+108
-2.6301946553516078e+109
9
-7.168377068936187e+140
-3.8165755732454384e+132
-1.4846978434193347e+133
9
-1.5683749452412139e+174
-2.6551716742613233e+168
-1.253386679833485e+174
8
-6.988346516232396e+215
-5.60620784853739e+211
-5.718654454912934e+211

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0120237
1120237

end0.0ms

sample706.0ms

Algorithm
intervals
Results
440.0ms7995×body80valid
1.0ms3×body640valid
0.0ms1×body320valid
0.0ms1×body160valid

Profiling

Loading profile data...