Details

Time bar (total: 3.1s)

analyze5.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
25%75%0%3
50%50%0%4
93.7%6.2%0%5
96.8%3.1%0%6
98.4%1.6%0%7
99.2%0.8%0%8
99.6%0.4%0%9
99.8%0.2%0%10
99.9%0.1%0%11
99.9%0%0%12
99.9%0%0%13
99.9%0%0%14

sample25.0ms

Algorithm
intervals
Results
19.0ms256×body80valid

simplify167.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (158.0ms)

IterNodesCost
0491940
1491940

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

Counts
2 → 1

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
86×add-exp-log_binary64 add-cbrt-cube_binary64
60×*-un-lft-identity_binary64
48×times-frac_binary64
32×cbrt-unprod_binary64 prod-exp_binary64
28×cbrt-undiv_binary64 add-sqr-sqrt_binary64 div-exp_binary64
24×swap-sqr_binary64 add-cube-cbrt_binary64
20×associate-*r*_binary64 associate-/r/_binary64 associate-*l*_binary64
18×pow1_binary64
16×distribute-lft-out_binary64
10×flip3-+_binary64 div-inv_binary64 flip-+_binary64
8×associate-/r*_binary64
4×add-log-exp_binary64
2×pow-prod-down_binary64 pow-prod-up_binary64 associate-*r/_binary64 pow-plus_binary64 unswap-sqr_binary64 clear-num_binary64 frac-2neg_binary64 associate-/l*_binary64 pow-sqr_binary64 frac-times_binary64 pow2_binary64 associate-*l/_binary64 *-commutative_binary64
Counts
4 → 184
Calls
4 calls:
7.0ms
(/.f64 (*.f64 2 t) (+.f64 1 t))
7.0ms
(/.f64 (*.f64 2 t) (+.f64 1 t))
16.0ms
(*.f64 (/.f64 (*.f64 2 t) (+.f64 1 t)) (/.f64 (*.f64 2 t) (+.f64 1 t)))
19.0ms
(*.f64 (/.f64 (*.f64 2 t) (+.f64 1 t)) (/.f64 (*.f64 2 t) (+.f64 1 t)))

series64.0ms

Counts
4 → 12
Calls
4 calls:
14.0ms
(/.f64 (*.f64 2 t) (+.f64 1 t))
14.0ms
(/.f64 (*.f64 2 t) (+.f64 1 t))
17.0ms
(*.f64 (/.f64 (*.f64 2 t) (+.f64 1 t)) (/.f64 (*.f64 2 t) (+.f64 1 t)))
17.0ms
(*.f64 (/.f64 (*.f64 2 t) (+.f64 1 t)) (/.f64 (*.f64 2 t) (+.f64 1 t)))

simplify108.0ms

Algorithm
egg-herbie
Counts
196 → 196
Iterations

Useful iterations: 0 (68.0ms)

IterNodesCost
049413016
149413016

prune248.0ms

Filtered
118 candidates to 196 candidates (-66.1%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1942196
Fresh000
Picked011
Done000
Total1943197

Merged error: 0.0b

Counts
197 → 3

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b
(exp.f64 (pow.f64 (sqrt.f64 (/.f64 (*.f64 2 t) (+.f64 t 1))) 4))
0.1b
(*.f64 (/.f64 (*.f64 2 t) (+.f64 1 t)) (/.f64 (*.f64 2 t) (+.f64 1 t)))
0.5b
(log.f64 (exp.f64 (pow.f64 (sqrt.f64 (/.f64 (*.f64 2 t) (+.f64 t 1))) 4)))
0.6b
(pow.f64 (sqrt.f64 (/.f64 (*.f64 2 t) (+.f64 t 1))) 4)

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
45×*-un-lft-identity_binary64
41×add-exp-log_binary64
40×add-cbrt-cube_binary64
39×unpow-prod-down_binary64
34×exp-prod_binary64
32×times-frac_binary64
30×sqrt-prod_binary64
27×add-sqr-sqrt_binary64
25×add-cube-cbrt_binary64
18×log-pow_binary64
15×cbrt-unprod_binary64 prod-exp_binary64
14×pow1_binary64 associate-/r/_binary64
12×swap-sqr_binary64 cbrt-undiv_binary64 div-exp_binary64
10×associate-*r*_binary64 associate-*l*_binary64
9×distribute-lft-out_binary64
7×flip3-+_binary64 div-inv_binary64 flip-+_binary64
5×add-log-exp_binary64
3×pow-unpow_binary64 log-prod_binary64 pow-pow_binary64 sqr-pow_binary64
1×pow-to-exp_binary64 pow-prod-down_binary64 pow1/2_binary64 sqrt-pow2_binary64 pow-prod-up_binary64 rem-log-exp_binary64 associate-*r/_binary64 pow-plus_binary64 rem-exp-log_binary64 sqrt-pow1_binary64 unswap-sqr_binary64 pow-sqr_binary64 frac-times_binary64 pow-exp_binary64 pow2_binary64 associate-*l/_binary64 *-commutative_binary64
Counts
4 → 151
Calls
4 calls:
8.0ms
(exp.f64 (pow.f64 (sqrt.f64 (/.f64 (*.f64 2 t) (+.f64 t 1))) 4))
16.0ms
(*.f64 (/.f64 (*.f64 2 t) (+.f64 1 t)) (/.f64 (*.f64 2 t) (+.f64 1 t)))
8.0ms
(log.f64 (exp.f64 (pow.f64 (sqrt.f64 (/.f64 (*.f64 2 t) (+.f64 t 1))) 4)))
8.0ms
(pow.f64 (sqrt.f64 (/.f64 (*.f64 2 t) (+.f64 t 1))) 4)

series244.0ms

Counts
4 → 12
Calls
4 calls:
68.0ms
(exp.f64 (pow.f64 (sqrt.f64 (/.f64 (*.f64 2 t) (+.f64 t 1))) 4))
17.0ms
(*.f64 (/.f64 (*.f64 2 t) (+.f64 1 t)) (/.f64 (*.f64 2 t) (+.f64 1 t)))
81.0ms
(log.f64 (exp.f64 (pow.f64 (sqrt.f64 (/.f64 (*.f64 2 t) (+.f64 t 1))) 4)))
78.0ms
(pow.f64 (sqrt.f64 (/.f64 (*.f64 2 t) (+.f64 t 1))) 4)

simplify69.0ms

Algorithm
egg-herbie
Counts
163 → 163
Iterations

Useful iterations: 0 (36.0ms)

IterNodesCost
053022811

prune249.0ms

Filtered
112 candidates to 163 candidates (-45.5%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1621163
Fresh011
Picked101
Done011
Total1633166

Merged error: 0b

Counts
166 → 3

localize21.0ms

Local error

Found 4 expressions with local error:

0.1b
(pow.f64 (sqrt.f64 (/.f64 t (+.f64 t 1))) 4)
0.5b
(pow.f64 (exp.f64 (*.f64 (pow.f64 (sqrt.f64 (/.f64 t (+.f64 t 1))) 4) 4)) 3)
0.5b
(cbrt.f64 (pow.f64 (exp.f64 (*.f64 (pow.f64 (sqrt.f64 (/.f64 t (+.f64 t 1))) 4) 4)) 3))
0.5b
(log.f64 (cbrt.f64 (pow.f64 (exp.f64 (*.f64 (pow.f64 (sqrt.f64 (/.f64 t (+.f64 t 1))) 4) 4)) 3)))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
30×*-un-lft-identity_binary64 unpow-prod-down_binary64
24×add-cube-cbrt_binary64 add-sqr-sqrt_binary64 cbrt-prod_binary64
18×sqrt-prod_binary64
15×log-prod_binary64
12×times-frac_binary64
9×cube-prod_binary64
8×pow1_binary64
6×pow-unpow_binary64 pow-pow_binary64 add-exp-log_binary64
5×add-log-exp_binary64 add-cbrt-cube_binary64
4×sqr-pow_binary64
3×distribute-lft-out_binary64 unpow3_binary64 cube-mult_binary64
2×pow-to-exp_binary64 pow1/3_binary64 log-pow_binary64 associate-/r/_binary64 pow-exp_binary64
1×flip3-+_binary64 pow1/2_binary64 rem-cbrt-cube_binary64 sqrt-pow2_binary64 rem-log-exp_binary64 sqrt-pow1_binary64 rem-cube-cbrt_binary64 div-inv_binary64 exp-to-pow_binary64 flip-+_binary64 exp-prod_binary64
Counts
4 → 109
Calls
4 calls:
8.0ms
(pow.f64 (sqrt.f64 (/.f64 t (+.f64 t 1))) 4)
4.0ms
(pow.f64 (exp.f64 (*.f64 (pow.f64 (sqrt.f64 (/.f64 t (+.f64 t 1))) 4) 4)) 3)
3.0ms
(cbrt.f64 (pow.f64 (exp.f64 (*.f64 (pow.f64 (sqrt.f64 (/.f64 t (+.f64 t 1))) 4) 4)) 3))
4.0ms
(log.f64 (cbrt.f64 (pow.f64 (exp.f64 (*.f64 (pow.f64 (sqrt.f64 (/.f64 t (+.f64 t 1))) 4) 4)) 3)))

series111.0ms

Counts
4 → 12
Calls
4 calls:
28.0ms
(pow.f64 (sqrt.f64 (/.f64 t (+.f64 t 1))) 4)
36.0ms
(pow.f64 (exp.f64 (*.f64 (pow.f64 (sqrt.f64 (/.f64 t (+.f64 t 1))) 4) 4)) 3)
24.0ms
(cbrt.f64 (pow.f64 (exp.f64 (*.f64 (pow.f64 (sqrt.f64 (/.f64 t (+.f64 t 1))) 4) 4)) 3))
24.0ms
(log.f64 (cbrt.f64 (pow.f64 (exp.f64 (*.f64 (pow.f64 (sqrt.f64 (/.f64 t (+.f64 t 1))) 4) 4)) 3)))

simplify103.0ms

Algorithm
egg-herbie
Counts
121 → 121
Iterations

Useful iterations: 0 (71.0ms)

IterNodesCost
050942634

prune158.0ms

Filtered
72 candidates to 121 candidates (-68.1%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1201121
Fresh101
Picked011
Done011
Total1213124

Merged error: 0b

Counts
124 → 3

localize20.0ms

Local error

Found 4 expressions with local error:

0.1b
(pow.f64 (sqrt.f64 (/.f64 t (+.f64 t 1))) 4)
0.5b
(cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (sqrt.f64 (/.f64 t (+.f64 t 1))) 4)) 12))
0.5b
(log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (sqrt.f64 (/.f64 t (+.f64 t 1))) 4)) 12)))
1.1b
(pow.f64 (exp.f64 (pow.f64 (sqrt.f64 (/.f64 t (+.f64 t 1))) 4)) 12)

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
51×unpow-prod-down_binary64
43×*-un-lft-identity_binary64
36×sqrt-prod_binary64
31×add-cube-cbrt_binary64 add-sqr-sqrt_binary64
29×pow-pow_binary64
25×exp-prod_binary64
24×times-frac_binary64
14×cbrt-prod_binary64
10×log-prod_binary64
8×pow1_binary64
6×pow-unpow_binary64 distribute-lft-out_binary64 add-exp-log_binary64
5×sqr-pow_binary64
4×add-log-exp_binary64 add-cbrt-cube_binary64 associate-/r/_binary64
2×pow-to-exp_binary64 flip3-+_binary64 pow1/3_binary64 log-pow_binary64 div-inv_binary64 flip-+_binary64 pow-exp_binary64
1×pow1/2_binary64 sqrt-pow2_binary64 rem-log-exp_binary64 sqrt-pow1_binary64
Counts
4 → 115
Calls
4 calls:
8.0ms
(pow.f64 (sqrt.f64 (/.f64 t (+.f64 t 1))) 4)
9.0ms
(cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (sqrt.f64 (/.f64 t (+.f64 t 1))) 4)) 12))
9.0ms
(log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (sqrt.f64 (/.f64 t (+.f64 t 1))) 4)) 12)))
15.0ms
(pow.f64 (exp.f64 (pow.f64 (sqrt.f64 (/.f64 t (+.f64 t 1))) 4)) 12)

series211.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(pow.f64 (sqrt.f64 (/.f64 t (+.f64 t 1))) 4)
45.0ms
(cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (sqrt.f64 (/.f64 t (+.f64 t 1))) 4)) 12))
79.0ms
(log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 (sqrt.f64 (/.f64 t (+.f64 t 1))) 4)) 12)))
58.0ms
(pow.f64 (exp.f64 (pow.f64 (sqrt.f64 (/.f64 t (+.f64 t 1))) 4)) 12)

simplify110.0ms

Algorithm
egg-herbie
Counts
127 → 127
Iterations

Useful iterations: 0 (76.0ms)

IterNodesCost
048962819
148962819

prune220.0ms

Filtered
91 candidates to 127 candidates (-39.6%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1270127
Fresh000
Picked011
Done022
Total1273130

Merged error: 0b

Counts
130 → 3

regimes54.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01752
11752

end0.0ms

sample707.0ms

Algorithm
intervals
Results
614.0ms8000×body80valid

Profiling

Loading profile data...