Details

Time bar (total: 15.2s)

sample180.0ms

Algorithm
intervals
Results
30.0ms465×body80valid
14.0ms465×pre80true

simplify1.6s

Counts
1 → 1

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize47.0ms

Local error

Found 3 expressions with local error:

0.0b
(* m (- 1.0 m))
0.1b
(/ (* m (- 1.0 m)) v)
0.1b
(* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))

rewrite245.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt
15×*-un-lft-identity
12×add-exp-log add-cbrt-cube
10×associate-*r*
9×add-cube-cbrt
8×flip3-- associate-*l* flip--
7×pow1
6×associate-*r/
4×distribute-rgt-in frac-times sub-neg distribute-lft-in
3×times-frac prod-exp associate-/r* cbrt-unprod distribute-lft-out-- add-log-exp difference-of-squares
2×cbrt-undiv div-exp pow-prod-down associate-*l/ *-commutative associate-/l/ unswap-sqr
1×frac-2neg clear-num div-inv associate-/l*
Counts
3 → 83
Calls
3 calls:
43.0ms
(* m (- 1.0 m))
33.0ms
(/ (* m (- 1.0 m)) v)
157.0ms
(* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))

series198.0ms

Counts
3 → 9
Calls
3 calls:
68.0ms
(* m (- 1.0 m))
49.0ms
(/ (* m (- 1.0 m)) v)
81.0ms
(* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))

simplify860.0ms

Counts
92 → 92

prune240.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize19.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* 1.0 m) (* (- m) m))
0.1b
(/ (+ (* 1.0 m) (* (- m) m)) v)
0.1b
(* (- (/ (+ (* 1.0 m) (* (- m) m)) v) 1.0) (- 1.0 m))

rewrite298.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt
18×*-un-lft-identity
14×add-cube-cbrt
13×times-frac
7×add-exp-log add-cbrt-cube
6×flip3-- associate-*l* flip--
5×pow1 distribute-rgt-out associate-*r* add-log-exp
4×distribute-lft-neg-out frac-times associate-/l*
3×associate-/r* difference-of-squares
2×distribute-rgt-in sub-neg distribute-lft-in flip3-+ div-sub associate-*r/ unsub-neg associate-*l/ flip-+ associate-/l/ distribute-lft-out--
1×cbrt-undiv +-commutative frac-2neg div-exp pow-prod-down prod-exp clear-num sum-log *-commutative cbrt-unprod div-inv unswap-sqr
Counts
3 → 84
Calls
3 calls:
8.0ms
(+ (* 1.0 m) (* (- m) m))
42.0ms
(/ (+ (* 1.0 m) (* (- m) m)) v)
243.0ms
(* (- (/ (+ (* 1.0 m) (* (- m) m)) v) 1.0) (- 1.0 m))

series186.0ms

Counts
3 → 9
Calls
3 calls:
83.0ms
(+ (* 1.0 m) (* (- m) m))
59.0ms
(/ (+ (* 1.0 m) (* (- m) m)) v)
44.0ms
(* (- (/ (+ (* 1.0 m) (* (- m) m)) v) 1.0) (- 1.0 m))

simplify975.0ms

Counts
93 → 93

prune338.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize42.0ms

Local error

Found 4 expressions with local error:

0.0b
(* m (- 1.0 m))
0.0b
(* (- (/ (* m (- 1.0 m)) v) 1.0) (- (pow 1.0 3) (pow m 3)))
0.1b
(/ (* m (- 1.0 m)) v)
2.8b
(/ (* (- (/ (* m (- 1.0 m)) v) 1.0) (- (pow 1.0 3) (pow m 3))) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))))

rewrite478.0ms

Algorithm
rewrite-expression-head
Rules
44×add-sqr-sqrt
30×associate-*r*
26×*-un-lft-identity
18×add-exp-log add-cbrt-cube difference-of-squares
14×flip3-- flip--
12×add-cube-cbrt unpow-prod-down cube-prod
10×associate-/l/
8×pow1 frac-times associate-*r/ associate-*l* sqr-pow
7×distribute-lft-out--
6×times-frac associate-/r*
4×cbrt-undiv distribute-rgt-in sub-neg distribute-lft-in div-exp associate-*l/ prod-exp cbrt-unprod add-log-exp
2×frac-2neg pow-prod-down clear-num associate-/r/ *-commutative div-inv associate-/l* unswap-sqr
1×difference-cubes flip3-+ flip-+
Counts
4 → 134
Calls
4 calls:
38.0ms
(* m (- 1.0 m))
234.0ms
(* (- (/ (* m (- 1.0 m)) v) 1.0) (- (pow 1.0 3) (pow m 3)))
33.0ms
(/ (* m (- 1.0 m)) v)
163.0ms
(/ (* (- (/ (* m (- 1.0 m)) v) 1.0) (- (pow 1.0 3) (pow m 3))) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))))

series308.0ms

Counts
4 → 12
Calls
4 calls:
72.0ms
(* m (- 1.0 m))
74.0ms
(* (- (/ (* m (- 1.0 m)) v) 1.0) (- (pow 1.0 3) (pow m 3)))
60.0ms
(/ (* m (- 1.0 m)) v)
102.0ms
(/ (* (- (/ (* m (- 1.0 m)) v) 1.0) (- (pow 1.0 3) (pow m 3))) (+ (* 1.0 1.0) (+ (* m m) (* 1.0 m))))

simplify2.0s

Counts
146 → 146

prune660.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize29.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))
0.1b
(sqrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))
0.1b
(sqrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))
0.3b
(* (sqrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))) (sqrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))))

rewrite553.0ms

Algorithm
rewrite-expression-head
Rules
160×sqrt-div
148×frac-times
126×flip3-- flip--
61×pow1
50×associate-*r/ associate-*l/
32×sqrt-pow1
23×pow-prod-down
18×add-sqr-sqrt
14×*-un-lft-identity
12×pow1/2
10×add-cube-cbrt pow-prod-up
9×associate-*r* associate-*l*
8×add-exp-log add-cbrt-cube
6×sqrt-prod pow-sqr
4×swap-sqr add-log-exp
2×distribute-rgt-in sub-neg distribute-lft-in prod-exp *-commutative cbrt-unprod distribute-lft-out-- difference-of-squares unswap-sqr
1×pow2 pow-plus sqrt-unprod rem-square-sqrt
Counts
4 → 201
Calls
4 calls:
149.0ms
(* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))
49.0ms
(sqrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))
47.0ms
(sqrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))
283.0ms
(* (sqrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))) (sqrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))))

series485.0ms

Counts
4 → 12
Calls
4 calls:
57.0ms
(* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))
183.0ms
(sqrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))
195.0ms
(sqrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m)))
50.0ms
(* (sqrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))) (sqrt (* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))))

simplify1.4s

Counts
213 → 213

prune923.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes96.0ms

Accuracy

-1.8% (0.1b remaining)

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

bsearch0.0ms

simplify916.0ms

end0.0ms

sample2.0s

Algorithm
intervals
Results
830.0ms13795×pre80true
711.0ms13795×body80valid