Details

Time bar (total: 1.8s)

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

sample231.0ms

Algorithm
intervals
Results
223.0ms256×body80valid

simplify57.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
0497835
1497835

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(+.f64 2.0 (*.f64 (/.f64 (*.f64 2.0 t) (+.f64 1.0 t)) (/.f64 (*.f64 2.0 t) (+.f64 1.0 t))))
0.0b
(+.f64 1.0 (*.f64 (/.f64 (*.f64 2.0 t) (+.f64 1.0 t)) (/.f64 (*.f64 2.0 t) (+.f64 1.0 t))))
0.0b
(*.f64 (/.f64 (*.f64 2.0 t) (+.f64 1.0 t)) (/.f64 (*.f64 2.0 t) (+.f64 1.0 t)))
0.0b
(*.f64 (/.f64 (*.f64 2.0 t) (+.f64 1.0 t)) (/.f64 (*.f64 2.0 t) (+.f64 1.0 t)))

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
76×add-exp-log_binary64 add-cbrt-cube_binary64
48×*-un-lft-identity_binary64
40×times-frac_binary64
30×cbrt-unprod_binary64 prod-exp_binary64
24×swap-sqr_binary64 cbrt-undiv_binary64 add-sqr-sqrt_binary64 div-exp_binary64
20×associate-*r*_binary64 add-cube-cbrt_binary64 associate-*l*_binary64
18×pow1_binary64
16×associate-/r/_binary64
12×distribute-lft-out_binary64
10×flip3-+_binary64 flip-+_binary64
8×add-log-exp_binary64 div-inv_binary64
2×pow-prod-down_binary64 pow-prod-up_binary64 associate-*r/_binary64 pow-plus_binary64 unswap-sqr_binary64 pow-sqr_binary64 +-commutative_binary64 frac-times_binary64 pow2_binary64 associate-*l/_binary64 sum-log_binary64 *-commutative_binary64
Counts
4 → 156
Calls
4 calls:
5.0ms
(+.f64 2.0 (*.f64 (/.f64 (*.f64 2.0 t) (+.f64 1.0 t)) (/.f64 (*.f64 2.0 t) (+.f64 1.0 t))))
5.0ms
(+.f64 1.0 (*.f64 (/.f64 (*.f64 2.0 t) (+.f64 1.0 t)) (/.f64 (*.f64 2.0 t) (+.f64 1.0 t))))
16.0ms
(*.f64 (/.f64 (*.f64 2.0 t) (+.f64 1.0 t)) (/.f64 (*.f64 2.0 t) (+.f64 1.0 t)))
16.0ms
(*.f64 (/.f64 (*.f64 2.0 t) (+.f64 1.0 t)) (/.f64 (*.f64 2.0 t) (+.f64 1.0 t)))

series17.0ms

Counts
4 → 12
Calls
4 calls:
4.0ms
(+.f64 2.0 (*.f64 (/.f64 (*.f64 2.0 t) (+.f64 1.0 t)) (/.f64 (*.f64 2.0 t) (+.f64 1.0 t))))
4.0ms
(+.f64 1.0 (*.f64 (/.f64 (*.f64 2.0 t) (+.f64 1.0 t)) (/.f64 (*.f64 2.0 t) (+.f64 1.0 t))))
4.0ms
(*.f64 (/.f64 (*.f64 2.0 t) (+.f64 1.0 t)) (/.f64 (*.f64 2.0 t) (+.f64 1.0 t)))
4.0ms
(*.f64 (/.f64 (*.f64 2.0 t) (+.f64 1.0 t)) (/.f64 (*.f64 2.0 t) (+.f64 1.0 t)))

simplify41.0ms

Algorithm
egg-herbie
Counts
168 → 168
Iterations

Useful iterations: 0 (23.0ms)

IterNodesCost
051292144

prune209.0ms

Filtered
102 candidates to 168 candidates (-64.7%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1671168
Fresh000
Picked011
Done000
Total1672169

Merged error: 0b

Counts
169 → 2

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(cbrt.f64 (pow.f64 (+.f64 1.0 (pow.f64 (sqrt.f64 (/.f64 (*.f64 2.0 t) (+.f64 t 1.0))) 4)) 3))
0.0b
(*.f64 (/.f64 (*.f64 2.0 t) (+.f64 1.0 t)) (/.f64 (*.f64 2.0 t) (+.f64 1.0 t)))
0.0b
(pow.f64 (+.f64 1.0 (pow.f64 (sqrt.f64 (/.f64 (*.f64 2.0 t) (+.f64 t 1.0))) 4)) 3)
0.6b
(pow.f64 (sqrt.f64 (/.f64 (*.f64 2.0 t) (+.f64 t 1.0))) 4)

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
46×*-un-lft-identity_binary64
42×add-exp-log_binary64
41×add-cbrt-cube_binary64
24×add-sqr-sqrt_binary64 times-frac_binary64
22×add-cube-cbrt_binary64
21×unpow-prod-down_binary64
15×cbrt-unprod_binary64 prod-exp_binary64
14×pow1_binary64 cbrt-prod_binary64
12×swap-sqr_binary64 cbrt-undiv_binary64 div-exp_binary64
11×distribute-lft-out_binary64
10×associate-*r*_binary64 associate-/r/_binary64 associate-*l*_binary64 sqrt-prod_binary64
8×cube-prod_binary64
7×flip3-+_binary64 flip-+_binary64
6×pow-unpow_binary64
5×div-inv_binary64
4×add-log-exp_binary64 pow-pow_binary64 cube-div_binary64
3×sqr-pow_binary64
2×cbrt-div_binary64 pow-to-exp_binary64 pow-exp_binary64 unpow3_binary64 cube-mult_binary64
1×pow-prod-down_binary64 pow1/2_binary64 rem-cbrt-cube_binary64 sqrt-pow2_binary64 pow-prod-up_binary64 associate-*r/_binary64 pow1/3_binary64 pow-plus_binary64 sqrt-pow1_binary64 unswap-sqr_binary64 rem-cube-cbrt_binary64 pow-sqr_binary64 frac-times_binary64 pow2_binary64 associate-*l/_binary64 *-commutative_binary64
Counts
4 → 149
Calls
4 calls:
11.0ms
(cbrt.f64 (pow.f64 (+.f64 1.0 (pow.f64 (sqrt.f64 (/.f64 (*.f64 2.0 t) (+.f64 t 1.0))) 4)) 3))
19.0ms
(*.f64 (/.f64 (*.f64 2.0 t) (+.f64 1.0 t)) (/.f64 (*.f64 2.0 t) (+.f64 1.0 t)))
11.0ms
(pow.f64 (+.f64 1.0 (pow.f64 (sqrt.f64 (/.f64 (*.f64 2.0 t) (+.f64 t 1.0))) 4)) 3)
8.0ms
(pow.f64 (sqrt.f64 (/.f64 (*.f64 2.0 t) (+.f64 t 1.0))) 4)

series59.0ms

Counts
4 → 12
Calls
4 calls:
13.0ms
(cbrt.f64 (pow.f64 (+.f64 1.0 (pow.f64 (sqrt.f64 (/.f64 (*.f64 2.0 t) (+.f64 t 1.0))) 4)) 3))
4.0ms
(*.f64 (/.f64 (*.f64 2.0 t) (+.f64 1.0 t)) (/.f64 (*.f64 2.0 t) (+.f64 1.0 t)))
23.0ms
(pow.f64 (+.f64 1.0 (pow.f64 (sqrt.f64 (/.f64 (*.f64 2.0 t) (+.f64 t 1.0))) 4)) 3)
19.0ms
(pow.f64 (sqrt.f64 (/.f64 (*.f64 2.0 t) (+.f64 t 1.0))) 4)

simplify49.0ms

Algorithm
egg-herbie
Counts
161 → 161
Iterations

Useful iterations: 0 (30.0ms)

IterNodesCost
050192513

prune215.0ms

Filtered
94 candidates to 161 candidates (-71.3%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1610161
Fresh000
Picked011
Done011
Total1612163

Merged error: 0b

Counts
163 → 2

regimes106.0ms

Accuracy

0% (0.0b remaining)

Error of 0.1b against oracle of 0.1b and baseline of 0.1b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01435
11435

end0.0ms

sample690.0ms

Algorithm
intervals
Results
599.0ms8000×body80valid

Profiling

Loading profile data...