Details

Time bar (total: 45.9s)

sample174.0ms

Algorithm
intervals
Results
46.0ms421×body80valid
22.0ms421×pre80true

simplify1.7s

Counts
1 → 1
Iterations
IterNodes
92094
81567
71080
6774
5467
4202
367
233
117
08

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize33.0ms

Local error

Found 4 expressions with local error:

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

rewrite173.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt
19×*-un-lft-identity
13×add-cbrt-cube add-exp-log
10×associate-*l* add-cube-cbrt
9×associate-*r*
8×pow1
6×add-log-exp difference-of-squares
4×flip3-- associate-*r/ insert-posit16 flip--
3×associate-/r* sub-neg times-frac prod-exp cbrt-unprod distribute-lft-out--
2×distribute-rgt-in cbrt-undiv distribute-lft-in difference-of-sqr-1 div-exp pow-prod-down associate-*l/ *-commutative unswap-sqr associate-/l/
1×clear-num frac-2neg diff-log div-inv associate-/l*
Counts
4 → 94
Calls
4 calls:
34.0ms
(* m (- 1 m))
29.0ms
(- (/ (* m (- 1 m)) v) 1)
28.0ms
(/ (* m (- 1 m)) v)
77.0ms
(* (- (/ (* m (- 1 m)) v) 1) m)

series196.0ms

Counts
4 → 12
Calls
4 calls:
66.0ms
(* m (- 1 m))
24.0ms
(- (/ (* m (- 1 m)) v) 1)
55.0ms
(/ (* m (- 1 m)) v)
52.0ms
(* (- (/ (* m (- 1 m)) v) 1) m)

simplify2.1s

Counts
106 → 106
Iterations
IterNodes
33541
2928
1340
0143

prune892.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize51.0ms

Local error

Found 4 expressions with local error:

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

rewrite295.0ms

Algorithm
rewrite-expression-head
Rules
52×add-sqr-sqrt
40×associate-*r*
34×*-un-lft-identity
26×difference-of-squares
18×unpow-prod-down cube-prod
15×add-cbrt-cube add-exp-log
13×associate-*l*
12×add-cube-cbrt
10×pow1 sqr-pow
7×distribute-lft-out--
4×associate-*l/ prod-exp associate-*r/ cbrt-unprod insert-posit16 add-log-exp
3×associate-/r* times-frac flip3-- pow-prod-down *-commutative flip-- unswap-sqr
2×distribute-rgt-in cbrt-undiv sub-neg distribute-lft-in flip3-+ div-exp associate-/r/ flip-+ associate-/l/
1×cube-mult difference-cubes clear-num frac-2neg difference-of-sqr-1 div-inv associate-/l*
Counts
4 → 128
Calls
4 calls:
39.0ms
(* m (- (pow 1 3) (pow m 3)))
47.0ms
(/ (* m (- (pow 1 3) (pow m 3))) (+ v (* (+ v (* v m)) m)))
26.0ms
(* (+ v (* v m)) m)
180.0ms
(* (- (/ (* m (- (pow 1 3) (pow m 3))) (+ v (* (+ v (* v m)) m))) 1) m)

series435.0ms

Counts
4 → 12
Calls
4 calls:
136.0ms
(* m (- (pow 1 3) (pow m 3)))
126.0ms
(/ (* m (- (pow 1 3) (pow m 3))) (+ v (* (+ v (* v m)) m)))
62.0ms
(* (+ v (* v m)) m)
111.0ms
(* (- (/ (* m (- (pow 1 3) (pow m 3))) (+ v (* (+ v (* v m)) m))) 1) m)

simplify5.0s

Counts
140 → 140
Iterations
IterNodes
36579
21755
1592
0209

prune2.2s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite302.0ms

Algorithm
rewrite-expression-head
Rules
58×add-sqr-sqrt
54×times-frac
44×*-un-lft-identity
32×add-exp-log
26×add-cube-cbrt
20×add-cbrt-cube
14×div-exp associate-*l*
12×difference-of-squares
11×associate-/r/
10×associate-/r* associate-*r/
8×div-inv
7×pow1 cbrt-undiv flip3-- flip--
6×difference-of-sqr-1 associate-/l* add-log-exp
5×prod-exp
4×insert-posit16 distribute-lft-out--
3×rec-exp 1-exp associate-*r* cbrt-unprod
2×clear-num frac-2neg associate-*l/
1×sub-neg diff-log pow-prod-down *-commutative pow-flip inv-pow unswap-sqr
Counts
4 → 145
Calls
4 calls:
72.0ms
(- (/ 1 (/ v (* m (- 1 m)))) 1)
19.0ms
(/ v (* m (- 1 m)))
186.0ms
(* (- (/ 1 (/ v (* m (- 1 m)))) 1) m)
21.0ms
(/ 1 (/ v (* m (- 1 m))))

series199.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(- (/ 1 (/ v (* m (- 1 m)))) 1)
52.0ms
(/ v (* m (- 1 m)))
58.0ms
(* (- (/ 1 (/ v (* m (- 1 m)))) 1) m)
63.0ms
(/ 1 (/ v (* m (- 1 m))))

simplify19.1s

Counts
157 → 157
Iterations
IterNodes
36615
21501
1507
0224

prune1.4s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize43.0ms

Local error

Found 4 expressions with local error:

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

rewrite315.0ms

Algorithm
rewrite-expression-head
Rules
282×times-frac
164×add-sqr-sqrt
124×*-un-lft-identity
106×add-cube-cbrt
100×add-exp-log
62×div-exp
32×add-cbrt-cube
31×associate-/r/
30×associate-*r/
26×div-inv
17×rec-exp flip3-- 1-exp flip--
16×associate-*l* prod-exp associate-/l* difference-of-squares
15×cbrt-undiv
10×associate-/r*
9×pow1
8×difference-of-sqr-1
6×add-log-exp
4×cbrt-unprod insert-posit16
3×associate-*r*
2×clear-num frac-2neg pow-prod-down associate-*l/ pow-flip distribute-lft-out--
1×sub-neg diff-log *-commutative inv-pow unswap-sqr associate-/l/
Counts
4 → 277
Calls
4 calls:
60.0ms
(- (/ (/ 1 v) (/ 1 (* m (- 1 m)))) 1)
16.0ms
(/ 1 (* m (- 1 m)))
197.0ms
(* (- (/ (/ 1 v) (/ 1 (* m (- 1 m)))) 1) m)
29.0ms
(/ (/ 1 v) (/ 1 (* m (- 1 m))))

series196.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(- (/ (/ 1 v) (/ 1 (* m (- 1 m)))) 1)
25.0ms
(/ 1 (* m (- 1 m)))
60.0ms
(* (- (/ (/ 1 v) (/ 1 (* m (- 1 m)))) 1) m)
77.0ms
(/ (/ 1 v) (/ 1 (* m (- 1 m))))

simplify5.9s

Counts
289 → 289
Iterations
IterNodes
22327
11131
0424

prune2.7s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

regimes93.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
211
111
09

end0.0ms

sample2.2s

Algorithm
intervals
Results
1.3s13650×body80valid
675.0ms13650×pre80true