Details

Time bar (total: 13.5s)

sample38.0ms

Algorithm
intervals
Results
20.0ms256×body80valid
5.0ms256×pre80true

simplify4.8s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
055
1115
2175
3355
4835
53675
633255
done50025

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 1 expressions with local error:

0.0b
(pow (- 1.0 t) 3.0)

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt unpow-prod-down *-un-lft-identity
pow-unpow add-cube-cbrt
pow1 add-exp-log
pow-to-exp pow-pow add-cbrt-cube pow-exp distribute-lft-out-- add-log-exp difference-of-squares sqr-pow
Counts
1 → 19
Calls
1 calls:
17.0ms
(pow (- 1.0 t) 3.0)

series191.0ms

Counts
1 → 3
Calls
1 calls:
191.0ms
(pow (- 1.0 t) 3.0)

simplify3.8s

Counts
22 → 22
Iterations

Useful iterations: done (3.8s)

IterNodesCost
074262
1204247
2603228
32242224
done5001215

prune99.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 3 expressions with local error:

0.0b
(pow (- 1.0 t) 3.0)
0.1b
(pow (pow (- 1.0 t) 3.0) 3)
0.1b
(cbrt (pow (pow (- 1.0 t) 3.0) 3))

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
43×unpow-prod-down
25×add-sqr-sqrt *-un-lft-identity
24×cbrt-prod
18×cube-prod
15×add-cube-cbrt
sqr-pow
pow-unpow add-exp-log
pow-exp distribute-lft-out-- difference-of-squares
pow1 add-cbrt-cube
pow-to-exp add-log-exp
cube-mult pow-pow unpow3
pow1/3 rem-cbrt-cube rem-cube-cbrt
Counts
3 → 89
Calls
3 calls:
17.0ms
(pow (- 1.0 t) 3.0)
34.0ms
(pow (pow (- 1.0 t) 3.0) 3)
32.0ms
(cbrt (pow (pow (- 1.0 t) 3.0) 3))

series803.0ms

Counts
3 → 9
Calls
3 calls:
184.0ms
(pow (- 1.0 t) 3.0)
278.0ms
(pow (pow (- 1.0 t) 3.0) 3)
341.0ms
(cbrt (pow (pow (- 1.0 t) 3.0) 3))

simplify2.4s

Counts
98 → 98
Iterations

Useful iterations: 2 (552.0ms)

IterNodesCost
01631472
14701205
221401120
done50021120

prune372.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

regimes76.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
088
done88

end0.0ms

sample742.0ms

Algorithm
intervals
Results
325.0ms8000×body80valid
189.0ms8000×pre80true