Details

Time bar (total: 21.7s)

sample100.0ms

Algorithm
intervals
Results
38.0ms256×body80valid
14.0ms256×pre80true

simplify2.1s

Counts
1 → 1
Iterations

Useful iterations: 3 (178.0ms)

IterNodesCost
02437
16037
217037
351835
4202435
done500135

prune27.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize65.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (pow t 3.0) d)
0.1b
(* (* (* 3.0 (- 1.0 t)) (pow t 2.0)) c)
0.1b
(* (* (* 3.0 (pow (- 1.0 t) 2.0)) t) b)
0.2b
(* (* 3.0 (- 1.0 t)) (pow t 2.0))

rewrite638.0ms

Algorithm
rewrite-expression-head
Rules
59×add-exp-log
40×prod-exp
29×add-cbrt-cube
16×add-sqr-sqrt associate-*r* cbrt-unprod
11×pow1 *-un-lft-identity add-cube-cbrt
10×associate-*l*
unpow-prod-down
pow-to-exp associate-*l/ pow-exp
pow-prod-down associate-*r/ *-commutative add-log-exp
unswap-sqr sqr-pow
flip3-- flip--
Counts
4 → 98
Calls
4 calls:
23.0ms
(* (pow t 3.0) d)
212.0ms
(* (* (* 3.0 (- 1.0 t)) (pow t 2.0)) c)
325.0ms
(* (* (* 3.0 (pow (- 1.0 t) 2.0)) t) b)
71.0ms
(* (* 3.0 (- 1.0 t)) (pow t 2.0))

series3.4s

Counts
4 → 12
Calls
4 calls:
372.0ms
(* (pow t 3.0) d)
534.0ms
(* (* (* 3.0 (- 1.0 t)) (pow t 2.0)) c)
1.1s
(* (* (* 3.0 (pow (- 1.0 t) 2.0)) t) b)
1.4s
(* (* 3.0 (- 1.0 t)) (pow t 2.0))

simplify4.3s

Counts
110 → 110
Iterations

Useful iterations: done (4.3s)

IterNodesCost
02381534
16681431
238331206
done50011190

prune1.0s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize69.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (pow t 3.0) d)
0.1b
(* c (pow t 2.0))
0.1b
(* (* (* 3.0 (pow (- 1.0 t) 2.0)) t) b)
0.1b
(* (* 3.0 (- 1.0 t)) (* c (pow t 2.0)))

rewrite467.0ms

Algorithm
rewrite-expression-head
Rules
54×add-exp-log
36×prod-exp
29×add-cbrt-cube
21×add-sqr-sqrt
16×cbrt-unprod
14×pow1 associate-*r*
12×associate-*l*
11×*-un-lft-identity add-cube-cbrt
unpow-prod-down
pow-prod-down unswap-sqr
pow-to-exp pow-exp
*-commutative add-log-exp sqr-pow
associate-*l/ associate-*r/
flip3-- flip--
Counts
4 → 98
Calls
4 calls:
22.0ms
(* (pow t 3.0) d)
22.0ms
(* c (pow t 2.0))
315.0ms
(* (* (* 3.0 (pow (- 1.0 t) 2.0)) t) b)
97.0ms
(* (* 3.0 (- 1.0 t)) (* c (pow t 2.0)))

series2.3s

Counts
4 → 12
Calls
4 calls:
368.0ms
(* (pow t 3.0) d)
275.0ms
(* c (pow t 2.0))
1.1s
(* (* (* 3.0 (pow (- 1.0 t) 2.0)) t) b)
517.0ms
(* (* 3.0 (- 1.0 t)) (* c (pow t 2.0)))

simplify2.8s

Counts
110 → 110
Iterations

Useful iterations: done (2.8s)

IterNodesCost
02331412
16361319
230771114
done50021112

prune978.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

regimes433.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02437
13537
done3537

end0.0ms

sample3.0s

Algorithm
intervals
Results
1.7s8000×body80valid
643.0ms8000×pre80true