Details

Time bar (total: 14.7s)

sample135.0ms

Algorithm
intervals
Results
48.0ms299×body80valid
27.0ms389×body80nan

simplify1.8s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0912
11612
24512
315012
446112
5128212
done500012

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 40.5b

localize28.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (- v m) (- v m))
8.1b
(/ (* w (* (- v m) (- v m))) t)
8.1b
(* w (* (- v m) (- v m)))
25.6b
(sqrt (/ (* w (* (- v m) (- v m))) t))

rewrite328.0ms

Algorithm
rewrite-expression-head
Rules
27×*-un-lft-identity
25×add-sqr-sqrt
22×associate-*r/
20×add-cbrt-cube add-exp-log
18×flip3-- flip--
17×pow1
13×add-cube-cbrt
12×frac-times
10×distribute-rgt-in distribute-lft-in
associate-*l* associate-/l/
swap-sqr prod-exp sqrt-prod cbrt-unprod
sub-neg times-frac associate-*r* associate-*l/ distribute-lft-out--
pow-prod-down add-log-exp difference-of-squares
cbrt-undiv associate-/r* div-exp
*-commutative div-inv unswap-sqr
pow2 rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow-plus pow1/2 sqrt-div pow-sqr pow-prod-up associate-/l*
Counts
4 → 129
Calls
4 calls:
69.0ms
(* (- v m) (- v m))
102.0ms
(/ (* w (* (- v m) (- v m))) t)
94.0ms
(* w (* (- v m) (- v m)))
53.0ms
(sqrt (/ (* w (* (- v m) (- v m))) t))

series327.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(* (- v m) (- v m))
101.0ms
(/ (* w (* (- v m) (- v m))) t)
57.0ms
(* w (* (- v m) (- v m)))
136.0ms
(sqrt (/ (* w (* (- v m) (- v m))) t))

simplify2.7s

Counts
141 → 141
Iterations

Useful iterations: done (2.7s)

IterNodesCost
01921972
15571844
234521656
done50021637

prune781.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 26.0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b
(* w (- v m))
0.2b
(* (* w (- v m)) (- v m))
8.1b
(/ (* (* w (- v m)) (- v m)) t)
25.6b
(sqrt (/ (* (* w (- v m)) (- v m)) t))

rewrite288.0ms

Algorithm
rewrite-expression-head
Rules
20×add-cbrt-cube add-exp-log
18×add-sqr-sqrt associate-*r/
15×*-un-lft-identity
13×flip3-- flip--
12×pow1
11×add-cube-cbrt
10×associate-*r*
frac-times associate-/l/
prod-exp sqrt-prod cbrt-unprod
times-frac
distribute-rgt-in sub-neg distribute-lft-in associate-*l* pow-prod-down associate-*l/ add-log-exp
cbrt-undiv associate-/r* div-exp
*-commutative div-inv distribute-lft-out-- difference-of-squares
rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 sqrt-div associate-/l* unswap-sqr
Counts
4 → 107
Calls
4 calls:
39.0ms
(* w (- v m))
96.0ms
(* (* w (- v m)) (- v m))
79.0ms
(/ (* (* w (- v m)) (- v m)) t)
67.0ms
(sqrt (/ (* (* w (- v m)) (- v m)) t))

series375.0ms

Counts
4 → 12
Calls
4 calls:
69.0ms
(* w (- v m))
61.0ms
(* (* w (- v m)) (- v m))
103.0ms
(/ (* (* w (- v m)) (- v m)) t)
141.0ms
(sqrt (/ (* (* w (- v m)) (- v m)) t))

simplify2.9s

Counts
119 → 119
Iterations

Useful iterations: done (2.8s)

IterNodesCost
01711616
15061531
233511372
done50011350

prune542.0ms

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 15.9b

regimes837.0ms

Accuracy

13.1% (11.8b remaining)

Error of 25.9b against oracle of 14.2b and baseline of 27.7b

bsearch469.0ms

Steps
ItersRangePoint
7
3.697430669066245e+124
1.978858170997449e+126
2.7535299051995598e+125
7
6.9126117720463656e-34
1.2606249996506122e-31
5.564182326867625e-33
9
2.2331820859198825e-149
5.0642867870940466e-144
4.4840787786076413e-144
10
-9.342656612595551e-299
3.021295955678683e-309
-2.1439444680901e-310

simplify9.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04195
14895
done4895

end0.0ms

sample3.1s

Algorithm
intervals
Results
930.0ms9446×body80valid
858.0ms9654×body80nan