Details

Time bar (total: 1.5m)

sample286.0ms

Algorithm
intervals
Results
84.0ms437×pre80true
57.0ms437×body80valid

simplify1.3s

Counts
1 → 1
Iterations
IterNodes
done2001
52001
4469
3119
241
119
08

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize14.0ms

Local error

Found 2 expressions with local error:

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

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
19×*-un-lft-identity
18×prod-diff
16×add-cube-cbrt
11×distribute-rgt-in distribute-lft-in
6×associate-*r*
4×pow1 add-cbrt-cube add-exp-log
3×associate-*l*
2×expm1-log1p-u sub-neg associate-*r/ insert-posit16 log1p-expm1-u add-log-exp difference-of-squares
1×flip3-- pow-prod-down prod-exp *-commutative cbrt-unprod fma-udef flip-- distribute-lft-out-- unswap-sqr
Counts
2 → 59
Calls
2 calls:
0.0ms
(fma (/ m v) (- 1 m) -1)
17.0ms
(* (fma (/ m v) (- 1 m) -1) (- 1 m))

series104.0ms

Counts
2 → 6
Calls
2 calls:
30.0ms
(fma (/ m v) (- 1 m) -1)
74.0ms
(* (fma (/ m v) (- 1 m) -1) (- 1 m))

simplify1.2s

Counts
65 → 65
Iterations
IterNodes
done2019
42019
31661
2599
1245
0121

prune623.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 4 expressions with local error:

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

rewrite631.0ms

Algorithm
rewrite-expression-head
Rules
2667×times-frac
1739×add-sqr-sqrt
1676×*-un-lft-identity
1621×add-cube-cbrt
1204×prod-diff
574×associate--l+
208×div-inv
36×difference-of-squares
32×distribute-lft-out--
27×fma-neg associate-/r/
13×associate-/r*
12×add-exp-log
11×distribute-rgt-in distribute-lft-in add-cbrt-cube add-log-exp
8×flip3-- associate-*l* flip--
6×pow1 associate-*r*
5×sub-neg
4×expm1-log1p-u frac-times diff-log insert-posit16 log1p-expm1-u
3×cbrt-undiv div-exp associate-/l*
2×difference-of-sqr-1 associate-*l/ associate-*r/
1×associate--l- expm1-def clear-num frac-2neg pow-prod-down prod-exp *-commutative frac-sub cbrt-unprod unswap-sqr
Counts
4 → 1397
Calls
4 calls:
173.0ms
(- (- (/ m v) (/ m (/ v m))) 1)
16.0ms
(- (/ m v) (/ m (/ v m)))
340.0ms
(* (- (- (/ m v) (/ m (/ v m))) 1) (- 1 m))
6.0ms
(/ m (/ v m))

series149.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(- (- (/ m v) (/ m (/ v m))) 1)
40.0ms
(- (/ m v) (/ m (/ v m)))
40.0ms
(* (- (- (/ m v) (/ m (/ v m))) 1) (- 1 m))
43.0ms
(/ m (/ v m))

simplify2.1s

Counts
1409 → 1409
Iterations
IterNodes
done2001
12001
01180

prune18.6s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
6645×times-frac
4348×add-sqr-sqrt
4161×*-un-lft-identity
4023×add-cube-cbrt
3070×prod-diff
2870×associate--l+
1236×distribute-rgt-in associate-+r+ distribute-lft-in
618×associate-+l+
520×div-inv
94×difference-of-squares
84×distribute-lft-out--
67×associate-/r/
26×associate-/r*
16×add-cbrt-cube add-exp-log
13×add-log-exp
10×sub-neg associate-*l*
8×fma-def associate-*r*
6×pow1 cbrt-undiv div-exp associate-*r/ associate-/l*
5×flip3-- flip--
4×expm1-log1p-u frac-add insert-posit16 log1p-expm1-u
3×distribute-lft-neg-out distribute-lft-neg-in sum-log distribute-rgt-neg-in distribute-rgt-out diff-log
2×clear-num frac-2neg difference-of-sqr-1
1×+-commutative neg-mul-1 flip3-+ unsub-neg pow-prod-down distribute-rgt1-in prod-exp *-commutative associate-+l- cbrt-unprod flip-+ unswap-sqr
Counts
4 → 3307
Calls
4 calls:
548.0ms
(+ (- (- (/ m v) (/ m (/ v m))) 1) (* (- m) (- (- (/ m v) (/ m (/ v m))) 1)))
353.0ms
(* (- m) (- (- (/ m v) (/ m (/ v m))) 1))
6.0ms
(/ m (/ v m))
6.0ms
(/ m (/ v m))

series136.0ms

Counts
4 → 12
Calls
4 calls:
48.0ms
(+ (- (- (/ m v) (/ m (/ v m))) 1) (* (- m) (- (- (/ m v) (/ m (/ v m))) 1)))
29.0ms
(* (- m) (- (- (/ m v) (/ m (/ v m))) 1))
20.0ms
(/ m (/ v m))
39.0ms
(/ m (/ v m))

simplify4.7s

Counts
3319 → 3319
Iterations
IterNodes
done3732
03732

prune55.2s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 4 expressions with local error:

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

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
39×add-sqr-sqrt
36×prod-diff
35×*-un-lft-identity
30×add-cube-cbrt
21×sqrt-prod
20×distribute-rgt-in distribute-lft-in
9×associate-*r*
6×pow1 add-cbrt-cube add-exp-log
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp difference-of-squares
3×associate-*l* fma-udef
2×sub-neg associate-*r/ distribute-lft-out--
1×flip3-- pow-prod-down prod-exp *-commutative cbrt-unprod flip-- unswap-sqr
Counts
4 → 102
Calls
4 calls:
0.0ms
(fma (- 1 m) (/ m v) -1)
0.0ms
(fma (- 1 m) (/ m v) -1)
0.0ms
(fma (sqrt m) (fma (- 1 m) (/ m v) -1) (fma (- 1 m) (/ m v) -1))
26.0ms
(* (fma (sqrt m) (fma (- 1 m) (/ m v) -1) (fma (- 1 m) (/ m v) -1)) (- 1 (sqrt m)))

series299.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(fma (- 1 m) (/ m v) -1)
35.0ms
(fma (- 1 m) (/ m v) -1)
151.0ms
(fma (sqrt m) (fma (- 1 m) (/ m v) -1) (fma (- 1 m) (/ m v) -1))
92.0ms
(* (fma (sqrt m) (fma (- 1 m) (/ m v) -1) (fma (- 1 m) (/ m v) -1)) (- 1 (sqrt m)))

simplify1.1s

Counts
114 → 114
Iterations
IterNodes
done2000
32000
2876
1333
0174

prune1.5s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

regimes93.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done14
114
011

end0.0ms

sample2.2s

Algorithm
intervals
Results
1.3s13589×body80valid
574.0ms13589×pre80true