Details

Time bar (total: 36.5s)

sample138.0ms

Algorithm
intervals
Results
25.0ms426×body80valid
13.0ms426×pre80true

simplify3.8s

Counts
1 → 1
Iterations
IterNodes
63591
51094
4330
397
239
117
08

prune25.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize34.0ms

Local error

Found 4 expressions with local error:

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

rewrite191.0ms

Algorithm
rewrite-expression-head
Rules
67×add-sqr-sqrt
61×*-un-lft-identity
57×prod-diff
49×add-cube-cbrt
22×distribute-rgt-in distribute-lft-in
19×add-exp-log
15×times-frac
13×add-cbrt-cube
12×associate-*r*
10×associate-*l*
9×flip3-- flip--
8×pow1 difference-of-squares
7×fma-neg
6×associate-*r/ add-log-exp
5×sub-neg div-inv
4×expm1-log1p-u frac-times div-exp prod-exp insert-posit16 log1p-expm1-u distribute-lft-out--
3×expm1-def associate-/r* cbrt-unprod
2×cbrt-undiv difference-of-sqr-1 pow-prod-down associate-*l/ *-commutative unswap-sqr associate-/l/
1×clear-num frac-2neg diff-log associate-/l*
Counts
4 → 182
Calls
4 calls:
19.0ms
(- (/ (* m (- 1 m)) v) 1)
32.0ms
(* m (- 1 m))
15.0ms
(/ (* m (- 1 m)) v)
121.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))

series216.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(- (/ (* m (- 1 m)) v) 1)
78.0ms
(* m (- 1 m))
54.0ms
(/ (* m (- 1 m)) v)
53.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))

simplify17.6s

Counts
194 → 194
Iterations
IterNodes
37090
21799
1626
0269

prune734.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize34.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* 1 (- (/ (* m (- 1 m)) v) 1)) (* (- m) (- (/ (* m (- 1 m)) v) 1)))
0.0b
(/ (* m (- 1 m)) v)
0.0b
(/ (* m (- 1 m)) v)
0.2b
(* (- m) (- (/ (* m (- 1 m)) v) 1))

rewrite173.0ms

Algorithm
rewrite-expression-head
Rules
126×prod-diff
96×add-sqr-sqrt
93×*-un-lft-identity
90×add-cube-cbrt
69×distribute-rgt-in distribute-lft-in
60×times-frac
46×associate-+l+ associate-+r+
20×div-inv
16×add-cbrt-cube add-exp-log
14×associate-*r/
10×associate-*l*
7×flip3-- associate-*r* flip--
6×pow1 associate-/r* sub-neg add-log-exp
4×expm1-log1p-u cbrt-undiv div-exp frac-add insert-posit16 log1p-expm1-u associate-/l/
3×distribute-lft-neg-out distribute-lft-neg-in distribute-rgt-neg-in prod-exp cbrt-unprod
2×clear-num frac-2neg associate-/l* difference-of-squares
1×+-commutative neg-mul-1 sum-log fma-def flip3-+ distribute-rgt-out difference-of-sqr-1 unsub-neg pow-prod-down *-commutative flip-+ distribute-lft-out-- unswap-sqr
Counts
4 → 247
Calls
4 calls:
52.0ms
(+ (* 1 (- (/ (* m (- 1 m)) v) 1)) (* (- m) (- (/ (* m (- 1 m)) v) 1)))
31.0ms
(/ (* m (- 1 m)) v)
27.0ms
(/ (* m (- 1 m)) v)
55.0ms
(* (- m) (- (/ (* m (- 1 m)) v) 1))

series171.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(+ (* 1 (- (/ (* m (- 1 m)) v) 1)) (* (- m) (- (/ (* m (- 1 m)) v) 1)))
38.0ms
(/ (* m (- 1 m)) v)
44.0ms
(/ (* m (- 1 m)) v)
40.0ms
(* (- m) (- (/ (* m (- 1 m)) v) 1))

simplify2.0s

Counts
259 → 259
Iterations
IterNodes
22637
1927
0316

prune1.3s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize66.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (* m (- 1 m)) v)
0.1b
(* (* m m) m)
7.2b
(/ (* (* m m) m) v)
13.2b
(/ (* m m) v)

rewrite120.0ms

Algorithm
rewrite-expression-head
Rules
28×add-cbrt-cube add-exp-log
23×pow1
12×add-sqr-sqrt
11×*-un-lft-identity add-cube-cbrt
9×associate-/r* times-frac
8×prod-exp cbrt-unprod
7×cbrt-undiv div-exp
6×pow-plus pow-prod-up
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg associate-*r* pow-prod-down div-inv associate-/l*
2×pow2 associate-*r/ pow-sqr associate-/l/
1×flip3-- associate-*l* pow3 *-commutative flip-- unswap-sqr
Counts
4 → 107
Calls
4 calls:
29.0ms
(/ (* m (- 1 m)) v)
29.0ms
(* (* m m) m)
35.0ms
(/ (* (* m m) m) v)
24.0ms
(/ (* m m) v)

series176.0ms

Counts
4 → 12
Calls
4 calls:
59.0ms
(/ (* m (- 1 m)) v)
62.0ms
(* (* m m) m)
27.0ms
(/ (* (* m m) m) v)
28.0ms
(/ (* m m) v)

simplify3.1s

Counts
119 → 119
Iterations
IterNodes
35486
21247
1346
0138

prune492.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize39.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* 1 (- (/ (* m (- 1 m)) v) 1)) (+ (/ (pow m 3) v) (- m (/ (* m m) v))))
0.0b
(/ (* m (- 1 m)) v)
7.2b
(/ (pow m 3) v)
13.2b
(/ (* m m) v)

rewrite166.0ms

Algorithm
rewrite-expression-head
Rules
65×*-un-lft-identity
60×times-frac
59×add-sqr-sqrt add-cube-cbrt
46×associate-+l+
42×prod-diff
23×distribute-rgt-in distribute-lft-in
19×add-exp-log
16×add-cbrt-cube
14×associate-/l*
13×add-log-exp
12×unpow-prod-down cube-prod frac-add
10×associate-*r/
9×associate-/r* div-inv
7×flip3-- div-exp flip--
5×cbrt-undiv sum-log distribute-lft-out
4×expm1-log1p-u cube-mult pow1 unpow3 insert-posit16 log1p-expm1-u sqr-pow
3×clear-num frac-2neg flip3-+ flip-+
2×associate-+r- sub-neg prod-exp cbrt-unprod associate-/l/
1×pow-to-exp +-commutative associate-+r+ fma-def diff-log pow-exp distribute-lft-out--
Counts
4 → 194
Calls
4 calls:
111.0ms
(+ (* 1 (- (/ (* m (- 1 m)) v) 1)) (+ (/ (pow m 3) v) (- m (/ (* m m) v))))
19.0ms
(/ (* m (- 1 m)) v)
10.0ms
(/ (pow m 3) v)
20.0ms
(/ (* m m) v)

series167.0ms

Counts
4 → 12
Calls
4 calls:
51.0ms
(+ (* 1 (- (/ (* m (- 1 m)) v) 1)) (+ (/ (pow m 3) v) (- m (/ (* m m) v))))
44.0ms
(/ (* m (- 1 m)) v)
37.0ms
(/ (pow m 3) v)
35.0ms
(/ (* m m) v)

simplify1.9s

Counts
206 → 206
Iterations
IterNodes
23749
1887
0303

prune1.2s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

regimes112.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations
IterNodes
220
120
016

end0.0ms

sample2.6s

Algorithm
intervals
Results
1.7s13618×body80valid
576.0ms13618×pre80true