Details

Time bar (total: 20.8s)

sample240.0ms

Algorithm
intervals
Results
124.0ms541×body80valid

simplify2.4s

Counts
1 → 1
Iterations

Useful iterations: 3 (142.0ms)

IterNodesCost
02229
15129
215229
366228
4355528
done500028

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 10.9b

localize25.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (* (* w w) r) r) 4.5)
0.4b
(/ 2.0 (* r r))
6.0b
(* (* (* w w) r) r)
11.2b
(* (* w w) r)

rewrite164.0ms

Algorithm
rewrite-expression-head
Rules
23×add-exp-log add-cbrt-cube
18×pow1
10×prod-exp cbrt-unprod
9×add-sqr-sqrt pow-prod-down
8×add-cube-cbrt *-un-lft-identity
6×associate-*r*
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×times-frac associate-/l*
2×cbrt-undiv div-exp associate-*l* *-commutative
1×frac-2neg clear-num associate-/r* fma-udef div-inv unswap-sqr
Counts
4 → 77
Calls
4 calls:
0.0ms
(fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (* (* w w) r) r) 4.5)
13.0ms
(/ 2.0 (* r r))
97.0ms
(* (* (* w w) r) r)
50.0ms
(* (* w w) r)

series269.0ms

Counts
4 → 12
Calls
4 calls:
151.0ms
(fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (* (* w w) r) r) 4.5)
47.0ms
(/ 2.0 (* r r))
36.0ms
(* (* (* w w) r) r)
35.0ms
(* (* w w) r)

simplify1.9s

Counts
89 → 89
Iterations

Useful iterations: done (1.9s)

IterNodesCost
0128982
1344962
22424812
done5001798

prune403.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.1b

localize32.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ 3.0 (/ 2.0 (* r r))) (fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (fabs (* r w)) (fabs (* r w))) 4.5))
0.1b
(fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (fabs (* r w)) (fabs (* r w))) 4.5)
0.4b
(/ 2.0 (* r r))
0.4b
(* (fabs (* r w)) (fabs (* r w)))

rewrite177.0ms

Algorithm
rewrite-expression-head
Rules
31×*-un-lft-identity
22×add-sqr-sqrt
18×add-cube-cbrt
12×prod-diff
11×pow1 add-exp-log add-cbrt-cube
9×add-log-exp
5×distribute-lft-out
4×expm1-log1p-u fma-neg log1p-expm1-u
3×times-frac swap-sqr associate-*r* associate-*l* associate-/l*
2×cbrt-undiv diff-log div-exp prod-exp cbrt-unprod fma-udef distribute-lft-out--
1×pow2 sub-neg flip3-- frac-2neg pow-plus pow-prod-down associate--l+ clear-num associate-/r* sum-log pow-sqr *-commutative pow-prod-up flip-- div-inv associate--r+ difference-of-squares unswap-sqr
Counts
4 → 96
Calls
4 calls:
157.0ms
(- (+ 3.0 (/ 2.0 (* r r))) (fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (fabs (* r w)) (fabs (* r w))) 4.5))
0.0ms
(fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (fabs (* r w)) (fabs (* r w))) 4.5)
8.0ms
(/ 2.0 (* r r))
9.0ms
(* (fabs (* r w)) (fabs (* r w)))

series307.0ms

Counts
4 → 12
Calls
4 calls:
140.0ms
(- (+ 3.0 (/ 2.0 (* r r))) (fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (fabs (* r w)) (fabs (* r w))) 4.5))
112.0ms
(fma (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (* (fabs (* r w)) (fabs (* r w))) 4.5)
46.0ms
(/ 2.0 (* r r))
10.0ms
(* (fabs (* r w)) (fabs (* r w)))

simplify2.1s

Counts
108 → 108
Iterations

Useful iterations: done (2.1s)

IterNodesCost
01803903
14482891
225812175
done50022116

prune588.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.0b

localize47.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ 3.0 (- (/ 2.0 (* r r)) (* (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (pow (fabs (* r w)) 2)))) 4.5)
0.1b
(* (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (pow (fabs (* r w)) 2))
0.4b
(/ 2.0 (* r r))
0.4b
(pow (fabs (* r w)) 2)

rewrite789.0ms

Algorithm
rewrite-expression-head
Rules
35×*-un-lft-identity
34×add-exp-log
30×add-sqr-sqrt
20×add-cube-cbrt
18×add-cbrt-cube
13×prod-exp add-log-exp
12×prod-diff
11×associate-*l*
8×times-frac div-exp associate-*r*
7×unpow-prod-down
5×pow1 cbrt-unprod distribute-lft-out
4×cbrt-undiv expm1-log1p-u pow-to-exp fma-neg diff-log pow-exp log1p-expm1-u unswap-sqr
3×pow-unpow associate-/l* distribute-lft-out-- unpow2 sqr-pow
2×flip3-- sum-log associate-/r/ flip-- div-inv difference-of-squares
1×associate--l- associate-+r- sub-neg pow-pow frac-2neg associate-*l/ associate--l+ clear-num associate-/r* *-commutative
Counts
4 → 126
Calls
4 calls:
712.0ms
(- (+ 3.0 (- (/ 2.0 (* r r)) (* (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (pow (fabs (* r w)) 2)))) 4.5)
51.0ms
(* (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (pow (fabs (* r w)) 2))
16.0ms
(/ 2.0 (* r r))
3.0ms
(pow (fabs (* r w)) 2)

series351.0ms

Counts
4 → 12
Calls
4 calls:
185.0ms
(- (+ 3.0 (- (/ 2.0 (* r r)) (* (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (pow (fabs (* r w)) 2)))) 4.5)
101.0ms
(* (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (pow (fabs (* r w)) 2))
48.0ms
(/ 2.0 (* r r))
17.0ms
(pow (fabs (* r w)) 2)

simplify2.0s

Counts
138 → 138
Iterations

Useful iterations: done (2.0s)

IterNodesCost
02583275
17033058
234132663
done50022471

prune749.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.0b

localize45.0ms

Local error

Found 4 expressions with local error:

0.4b
(pow (fabs (* r w)) 2)
0.4b
(* (sqrt (* (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (pow (fabs (* r w)) 2))) (sqrt (* (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (pow (fabs (* r w)) 2))))
11.3b
(sqrt (* (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (pow (fabs (* r w)) 2)))
11.3b
(sqrt (* (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (pow (fabs (* r w)) 2)))

rewrite429.0ms

Algorithm
rewrite-expression-head
Rules
22×pow1
12×add-sqr-sqrt
10×add-cube-cbrt *-un-lft-identity sqrt-pow1 pow1/2
7×add-exp-log associate-*l/
6×sqrt-div sqrt-prod add-cbrt-cube
5×pow-prod-up
4×expm1-log1p-u swap-sqr associate-*r* associate-*l* log1p-expm1-u add-log-exp
3×unpow-prod-down pow-unpow pow-prod-down pow-sqr
1×pow2 frac-times pow-to-exp pow-pow pow-plus sqrt-unprod associate-*r/ pow-exp prod-exp rem-square-sqrt *-commutative cbrt-unprod unpow2 unswap-sqr sqr-pow
Counts
4 → 89
Calls
4 calls:
5.0ms
(pow (fabs (* r w)) 2)
315.0ms
(* (sqrt (* (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (pow (fabs (* r w)) 2))) (sqrt (* (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (pow (fabs (* r w)) 2))))
57.0ms
(sqrt (* (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (pow (fabs (* r w)) 2)))
47.0ms
(sqrt (* (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (pow (fabs (* r w)) 2)))

series1.0s

Counts
4 → 12
Calls
4 calls:
9.0ms
(pow (fabs (* r w)) 2)
294.0ms
(* (sqrt (* (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (pow (fabs (* r w)) 2))) (sqrt (* (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (pow (fabs (* r w)) 2))))
389.0ms
(sqrt (* (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (pow (fabs (* r w)) 2)))
316.0ms
(sqrt (* (/ (* 0.125 (- 3.0 (* 2.0 v))) (- 1.0 v)) (pow (fabs (* r w)) 2)))

simplify1.4s

Counts
101 → 101
Iterations

Useful iterations: done (1.4s)

IterNodesCost
01562877
14352207
222961959
done50011839

prune668.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 0.0b

regimes383.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02549
13049
done3049

end0.0ms

sample4.3s

Algorithm
intervals
Results
3.5s17008×body80valid