Details

Time bar (total: 7.4s)

sample49.0ms

Algorithm
intervals
Results
34.0ms256×body80valid

simplify5.2s

Counts
1 → 1
Iterations

Useful iterations: 4 (64.0ms)

IterNodesCost
01010
11810
23310
37410
41979
56679
632209
done50019

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize14.0ms

Local error

Found 1 expressions with local error:

0.3b
(* (/ x 14000.0) 150.0)

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
13×associate-*l*
10×times-frac
*-un-lft-identity add-cube-cbrt
add-cbrt-cube add-exp-log
pow1 associate-*r*
prod-exp cbrt-unprod unswap-sqr
cbrt-undiv div-exp pow-prod-down associate-*l/ *-commutative div-inv add-log-exp
Counts
1 → 32
Calls
1 calls:
39.0ms
(* (/ x 14000.0) 150.0)

series30.0ms

Counts
1 → 3
Calls
1 calls:
30.0ms
(* (/ x 14000.0) 150.0)

simplify815.0ms

Counts
35 → 35
Iterations

Useful iterations: done (813.0ms)

IterNodesCost
068255
1158250
2738222
done5001218

prune178.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize11.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
done00

prune1.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

regimes210.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify8.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
088
1128
2168
3178
done178

end0.0ms

sample836.0ms

Algorithm
intervals
Results
591.0ms8000×body80valid