Details

Time bar (total: 14.8s)

sample188.0ms

Algorithm
intervals
Results
52.0ms437×body80valid
23.0ms437×pre80true

simplify1.7s

Counts
1 → 1
Iterations
IterNodes
done2000
62000
51806
4455
3122
241
119
08

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize20.0ms

Local error

Found 4 expressions with local error:

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

rewrite120.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
22×*-un-lft-identity
13×add-cbrt-cube add-exp-log
12×associate-*r*
10×associate-*l* add-cube-cbrt
9×flip3-- flip--
8×pow1 difference-of-squares
6×associate-*r/ add-log-exp
5×sub-neg
4×distribute-rgt-in frac-times distribute-lft-in insert-posit16 distribute-lft-out--
3×associate-/r* times-frac prod-exp cbrt-unprod
2×cbrt-undiv 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 → 107
Calls
4 calls:
15.0ms
(* m (- 1 m))
14.0ms
(- (/ (* m (- 1 m)) v) 1)
14.0ms
(/ (* m (- 1 m)) v)
73.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))

series199.0ms

Counts
4 → 12
Calls
4 calls:
64.0ms
(* m (- 1 m))
30.0ms
(- (/ (* m (- 1 m)) v) 1)
58.0ms
(/ (* m (- 1 m)) v)
48.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))

simplify1.4s

Counts
119 → 119
Iterations
IterNodes
done2002
32002
21702
1444
0160

prune406.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite294.0ms

Algorithm
rewrite-expression-head
Rules
180×times-frac
177×add-sqr-sqrt
143×*-un-lft-identity
82×add-cube-cbrt
46×difference-of-squares
30×associate-/r*
19×distribute-lft-out--
13×add-cbrt-cube associate-*l* add-exp-log
12×flip3-- flip--
11×associate-/r/
6×pow1 difference-of-sqr-1 associate-*r* div-inv associate-/l* add-log-exp
4×frac-times cbrt-undiv div-exp insert-posit16
3×sub-neg
2×distribute-rgt-in clear-num frac-2neg distribute-lft-in associate-*l/ associate-*r/
1×diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 224
Calls
4 calls:
16.0ms
(/ v (- 1 m))
77.0ms
(- (/ m (/ v (- 1 m))) 1)
18.0ms
(/ m (/ v (- 1 m)))
176.0ms
(* (- (/ m (/ v (- 1 m))) 1) (- 1 m))

series165.0ms

Counts
4 → 12
Calls
4 calls:
44.0ms
(/ v (- 1 m))
29.0ms
(- (/ m (/ v (- 1 m))) 1)
54.0ms
(/ m (/ v (- 1 m)))
38.0ms
(* (- (/ m (/ v (- 1 m))) 1) (- 1 m))

simplify1.0s

Counts
236 → 236
Iterations
IterNodes
done2001
22001
1890
0338

prune931.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 4 expressions with local error:

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

rewrite465.0ms

Algorithm
rewrite-expression-head
Rules
297×times-frac
233×add-sqr-sqrt
218×*-un-lft-identity
138×add-cube-cbrt
54×difference-of-squares
48×associate-/r*
26×distribute-lft-out--
18×associate-/r/
16×add-cbrt-cube add-exp-log
13×flip3-- associate-*r* flip--
10×associate-*l* div-inv
9×add-log-exp
6×pow1 cbrt-undiv div-exp associate-*r/ associate-/l*
5×sub-neg
4×distribute-rgt-in associate-+r+ distribute-lft-in frac-add insert-posit16
3×distribute-lft-neg-out distribute-lft-neg-in distribute-rgt-neg-in difference-of-sqr-1
2×associate-+l+ clear-num sum-log frac-2neg distribute-rgt-out
1×+-commutative neg-mul-1 flip3-+ diff-log unsub-neg pow-prod-down distribute-rgt1-in prod-exp *-commutative associate-+l- cbrt-unprod flip-+ unswap-sqr
Counts
4 → 302
Calls
4 calls:
20.0ms
(/ m (/ v (- 1 m)))
20.0ms
(/ m (/ v (- 1 m)))
261.0ms
(+ (- (/ m (/ v (- 1 m))) 1) (* (- m) (- (/ m (/ v (- 1 m))) 1)))
151.0ms
(* (- m) (- (/ m (/ v (- 1 m))) 1))

series196.0ms

Counts
4 → 12
Calls
4 calls:
60.0ms
(/ m (/ v (- 1 m)))
46.0ms
(/ m (/ v (- 1 m)))
42.0ms
(+ (- (/ m (/ v (- 1 m))) 1) (* (- m) (- (/ m (/ v (- 1 m))) 1)))
49.0ms
(* (- m) (- (/ m (/ v (- 1 m))) 1))

simplify1.1s

Counts
314 → 314
Iterations
IterNodes
done2003
22003
11027
0351

prune1.4s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 4 expressions with local error:

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

rewrite216.0ms

Algorithm
rewrite-expression-head
Rules
48×add-sqr-sqrt
32×*-un-lft-identity
21×times-frac
16×add-cube-cbrt
15×difference-of-squares
10×associate-*l*
9×flip3-- flip--
8×add-cbrt-cube add-exp-log add-log-exp
6×pow1 associate-*r*
5×distribute-rgt-out-- associate-/l*
4×frac-times sub-neg difference-of-sqr-1 insert-posit16
3×associate-/r* distribute-lft-out--
2×distribute-rgt-in distribute-lft-in diff-log div-sub associate-*l/ associate-*r/ associate-/l/
1×associate--l- cbrt-undiv clear-num frac-2neg div-exp pow-prod-down prod-exp *-commutative cbrt-unprod div-inv unswap-sqr
Counts
4 → 116
Calls
4 calls:
50.0ms
(- (/ (- m (* m m)) v) 1)
9.0ms
(- m (* m m))
21.0ms
(/ (- m (* m m)) v)
134.0ms
(* (- (/ (- m (* m m)) v) 1) (- 1 m))

series206.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(- (/ (- m (* m m)) v) 1)
57.0ms
(- m (* m m))
61.0ms
(/ (- m (* m m)) v)
56.0ms
(* (- (/ (- m (* m m)) v) 1) (- 1 m))

simplify1.4s

Counts
128 → 128
Iterations
IterNodes
done2033
32033
21638
1490
0187

prune429.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

regimes69.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done21
321
220
116
010

end0.0ms

sample2.8s

Algorithm
intervals
Results
1.8s13589×body80valid
625.0ms13589×pre80true