Details

Time bar (total: 39.2s)

sample256.0ms

Algorithm
intervals
Results
148.0ms256×body80valid
39.0ms256×pre80true

simplify3.4s

Counts
1 → 1
Iterations
IterNodes
45321
31214
2377
1116
040

prune58.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.5b

localize107.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (* m0 w0) (/ 3 (* (/ w0 a0) (/ w0 a0))))
0.5b
(* (/ w0 a0) (/ w0 a0))
0.5b
(* (/ a1 w1) (/ a1 w1))
0.6b
(* (/ a2 w2) (/ a2 w2))

rewrite190.0ms

Algorithm
rewrite-expression-head
Rules
126×add-sqr-sqrt
123×times-frac
96×add-cbrt-cube add-exp-log
90×*-un-lft-identity add-cube-cbrt
49×associate-*r*
40×associate-*l*
39×swap-sqr
38×prod-exp cbrt-unprod
30×pow1 cbrt-undiv div-exp
13×div-inv
12×unswap-sqr
pow-prod-down
associate-*r/
frac-times associate-*l/ *-commutative insert-posit16 add-log-exp
pow2 pow-plus associate-/r/ pow-sqr pow-prod-up
Counts
4 → 251
Calls
4 calls:
86.0ms
(* (* m0 w0) (/ 3 (* (/ w0 a0) (/ w0 a0))))
32.0ms
(* (/ w0 a0) (/ w0 a0))
31.0ms
(* (/ a1 w1) (/ a1 w1))
32.0ms
(* (/ a2 w2) (/ a2 w2))

series262.0ms

Counts
4 → 12
Calls
4 calls:
103.0ms
(* (* m0 w0) (/ 3 (* (/ w0 a0) (/ w0 a0))))
50.0ms
(* (/ w0 a0) (/ w0 a0))
50.0ms
(* (/ a1 w1) (/ a1 w1))
58.0ms
(* (/ a2 w2) (/ a2 w2))

simplify2.3s

Counts
263 → 263
Iterations
IterNodes
24991
11372
0403

prune7.9s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 0.1b

localize103.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ (* (* a0 a0) 3) (/ w0 m0))
0.4b
(* (* (* m1 3) w1) (* (/ a1 w1) (/ a1 w1)))
0.5b
(* (/ a1 w1) (/ a1 w1))
0.6b
(* (/ a2 w2) (/ a2 w2))

rewrite271.0ms

Algorithm
rewrite-expression-head
Rules
118×add-cbrt-cube add-exp-log
111×times-frac
98×add-sqr-sqrt
74×*-un-lft-identity add-cube-cbrt
56×prod-exp cbrt-unprod
39×pow1
29×cbrt-undiv div-exp
27×associate-*r* associate-*l*
26×swap-sqr
17×pow-prod-down
13×associate-/r*
11×div-inv
unswap-sqr
associate-*r/
insert-posit16 add-log-exp
frac-times associate-*l/ *-commutative
pow2 pow-plus pow-sqr pow-prod-up
clear-num frac-2neg associate-/r/ associate-/l*
Counts
4 → 237
Calls
4 calls:
47.0ms
(/ (* (* a0 a0) 3) (/ w0 m0))
153.0ms
(* (* (* m1 3) w1) (* (/ a1 w1) (/ a1 w1)))
31.0ms
(* (/ a1 w1) (/ a1 w1))
32.0ms
(* (/ a2 w2) (/ a2 w2))

series289.0ms

Counts
4 → 12
Calls
4 calls:
69.0ms
(/ (* (* a0 a0) 3) (/ w0 m0))
106.0ms
(* (* (* m1 3) w1) (* (/ a1 w1) (/ a1 w1)))
61.0ms
(* (/ a1 w1) (/ a1 w1))
52.0ms
(* (/ a2 w2) (/ a2 w2))

simplify2.4s

Counts
249 → 249
Iterations
IterNodes
25032
11336
0406

prune7.1s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 0.0b

regimes6.8s

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify8.0ms

Iterations
IterNodes
232
132
025

end0.0ms

sample7.6s

Algorithm
intervals
Results
4.4s8000×body80valid
2.5s8000×pre80true