Details

Time bar (total: 25.0s)

sample392.0ms

Algorithm
intervals
Results
120.0ms183×body10240exit
74.0ms414×body80nan
47.0ms87×body1280nan
27.0ms256×body80valid
25.0ms64×body640nan
10.0ms34×body320nan
3.0ms19×body160nan

simplify4.7s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01011
11811
23611
310211
443611
5459711
done500011

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize22.0ms

Local error

Found 2 expressions with local error:

0.1b
(/ (pow p t) (pow b (/ (+ t 1.0) 2.0)))
0.3b
(pow b (/ (+ t 1.0) 2.0))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
61×times-frac
51×unpow-prod-down
49×*-un-lft-identity
43×add-sqr-sqrt add-cube-cbrt
17×sqr-pow
16×pow-unpow
15×add-exp-log
div-exp
pow-to-exp associate-/r* pow-exp associate-/l*
add-cbrt-cube
pow1 distribute-lft-out
div-inv add-log-exp
cbrt-undiv clear-num pow-pow frac-2neg
Counts
2 → 113
Calls
2 calls:
37.0ms
(/ (pow p t) (pow b (/ (+ t 1.0) 2.0)))
15.0ms
(pow b (/ (+ t 1.0) 2.0))

series373.0ms

Counts
2 → 6
Calls
2 calls:
253.0ms
(/ (pow p t) (pow b (/ (+ t 1.0) 2.0)))
120.0ms
(pow b (/ (+ t 1.0) 2.0))

simplify1.9s

Counts
119 → 119
Iterations

Useful iterations: done (1.8s)

IterNodesCost
02482329
15782188
225962130
done50022126

prune741.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize37.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt b) (cbrt b))
0.6b
(cbrt b)
0.6b
(cbrt b)
0.6b
(cbrt b)

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
11×pow1
pow1/3
swap-sqr associate-*r* associate-*l* add-exp-log
add-cbrt-cube add-log-exp unswap-sqr
pow-prod-down pow-sqr pow-prod-up
pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 73
Calls
4 calls:
22.0ms
(* (cbrt b) (cbrt b))
1.0ms
(cbrt b)
2.0ms
(cbrt b)
2.0ms
(cbrt b)

series1.6s

Counts
4 → 12
Calls
4 calls:
431.0ms
(* (cbrt b) (cbrt b))
377.0ms
(cbrt b)
397.0ms
(cbrt b)
401.0ms
(cbrt b)

simplify1.8s

Counts
85 → 85
Iterations

Useful iterations: done (1.8s)

IterNodesCost
061524
1138420
2728397
done5000383

prune545.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

regimes220.0ms

Accuracy

0% (0.6b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01424
11624
done1624

end0.0ms

sample12.7s

Algorithm
intervals
Results
4.8s5856×body10240exit
1.6s13257×body80nan
1.5s2362×body1280nan
1.1s8036×body80valid
1.1s1909×body640nan
285.0ms978×body320nan
138.0ms482×body160nan