Details

Time bar (total: 19.7s)

sample350.0ms

Algorithm
intervals
Results
51.0ms453×pre80true
37.0ms453×body80valid

simplify3.2s

Counts
1 → 1
Iterations
IterNodes
done5000
51604
4395
3112
240
116
08

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize37.0ms

Local error

Found 4 expressions with local error:

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

rewrite198.0ms

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

series232.0ms

Counts
4 → 12
Calls
4 calls:
88.0ms
(* m (- 1.0 m))
42.0ms
(- (/ (* m (- 1.0 m)) v) 1.0)
53.0ms
(* (- (/ (* m (- 1.0 m)) v) 1.0) (- 1.0 m))
49.0ms
(/ (* m (- 1.0 m)) v)

simplify2.3s

Counts
181 → 181
Iterations
IterNodes
done5001
23831
1679
0265

prune785.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize49.0ms

Local error

Found 4 expressions with local error:

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

rewrite531.0ms

Algorithm
rewrite-expression-head
Rules
90×prod-diff
87×add-sqr-sqrt
83×*-un-lft-identity
80×sqrt-prod
71×add-cube-cbrt
50×distribute-rgt-in distribute-lft-in
22×add-cbrt-cube add-exp-log
20×associate-*r/
19×associate-*r*
13×pow1
12×frac-times flip3-- flip--
9×associate-*l*
8×prod-exp cbrt-unprod associate-/l/
7×flip3-+ flip-+
6×associate-*l/ difference-of-squares
5×pow-prod-down
4×expm1-log1p-u sub-neg log1p-expm1-u distribute-lft-out-- add-log-exp
3×cbrt-undiv associate-/r* times-frac div-exp *-commutative
2×distribute-lft-out unswap-sqr
1×clear-num frac-2neg div-inv associate-/l*
Counts
4 → 223
Calls
4 calls:
334.0ms
(* (- (/ (* (* m (+ (sqrt 1.0) (sqrt m))) (- (sqrt 1.0) (sqrt m))) v) 1.0) (- 1.0 m))
67.0ms
(/ (* (* m (+ (sqrt 1.0) (sqrt m))) (- (sqrt 1.0) (sqrt m))) v)
42.0ms
(* m (+ (sqrt 1.0) (sqrt m)))
77.0ms
(* (* m (+ (sqrt 1.0) (sqrt m))) (- (sqrt 1.0) (sqrt m)))

series1.1s

Counts
4 → 12
Calls
4 calls:
201.0ms
(* (- (/ (* (* m (+ (sqrt 1.0) (sqrt m))) (- (sqrt 1.0) (sqrt m))) v) 1.0) (- 1.0 m))
460.0ms
(/ (* (* m (+ (sqrt 1.0) (sqrt m))) (- (sqrt 1.0) (sqrt m))) v)
79.0ms
(* m (+ (sqrt 1.0) (sqrt m)))
372.0ms
(* (* m (+ (sqrt 1.0) (sqrt m))) (- (sqrt 1.0) (sqrt m)))

simplify1.8s

Counts
235 → 235
Iterations
IterNodes
done5000
11452
0460

prune1.5s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize34.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- 1.0 m) v)
0.0b
(* (fma (/ m 1) (/ (- 1.0 m) v) (- 1.0)) (- 1.0 m))
0.4b
(fma (/ m 1) (/ (- 1.0 m) v) (- 1.0))

rewrite70.0ms

Algorithm
rewrite-expression-head
Rules
39×add-sqr-sqrt
37×*-un-lft-identity
27×add-cube-cbrt
18×prod-diff
15×times-frac
11×distribute-rgt-in distribute-lft-in
7×add-cbrt-cube add-exp-log
5×pow1 associate-*r* associate-/l* distribute-lft-out-- difference-of-squares
3×expm1-log1p-u associate-/r* associate-*l* log1p-expm1-u add-log-exp
2×sub-neg flip3-- associate-*r/ flip-- associate-/l/
1×cbrt-undiv clear-num frac-2neg div-sub div-exp pow-prod-down prod-exp *-commutative cbrt-unprod fma-udef div-inv unswap-sqr
Counts
3 → 96
Calls
3 calls:
27.0ms
(/ (- 1.0 m) v)
35.0ms
(* (fma (/ m 1) (/ (- 1.0 m) v) (- 1.0)) (- 1.0 m))
1.0ms
(fma (/ m 1) (/ (- 1.0 m) v) (- 1.0))

series209.0ms

Counts
3 → 9
Calls
3 calls:
65.0ms
(/ (- 1.0 m) v)
75.0ms
(* (fma (/ m 1) (/ (- 1.0 m) v) (- 1.0)) (- 1.0 m))
69.0ms
(fma (/ m 1) (/ (- 1.0 m) v) (- 1.0))

simplify1.5s

Counts
105 → 105
Iterations
IterNodes
done5002
21749
1409
0181

prune501.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize45.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (/ (* m (- 1.0 m)) v)) (cbrt (/ (* m (- 1.0 m)) v)))
0.6b
(cbrt (/ (* m (- 1.0 m)) v))
0.6b
(cbrt (/ (* m (- 1.0 m)) v))
0.6b
(cbrt (/ (* m (- 1.0 m)) v))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
53×cbrt-prod
30×add-sqr-sqrt
22×*-un-lft-identity add-cube-cbrt
21×times-frac
11×pow1
10×swap-sqr associate-*r* associate-*l*
9×pow1/3
7×cbrt-div div-inv
6×add-exp-log
4×expm1-log1p-u add-cbrt-cube log1p-expm1-u add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 frac-times pow-plus associate-*l/ prod-exp associate-*r/ *-commutative cbrt-unprod
Counts
4 → 111
Calls
4 calls:
16.0ms
(* (cbrt (/ (* m (- 1.0 m)) v)) (cbrt (/ (* m (- 1.0 m)) v)))
5.0ms
(cbrt (/ (* m (- 1.0 m)) v))
8.0ms
(cbrt (/ (* m (- 1.0 m)) v))
10.0ms
(cbrt (/ (* m (- 1.0 m)) v))

series554.0ms

Counts
4 → 12
Calls
4 calls:
181.0ms
(* (cbrt (/ (* m (- 1.0 m)) v)) (cbrt (/ (* m (- 1.0 m)) v)))
152.0ms
(cbrt (/ (* m (- 1.0 m)) v))
110.0ms
(cbrt (/ (* m (- 1.0 m)) v))
111.0ms
(cbrt (/ (* m (- 1.0 m)) v))

simplify2.1s

Counts
123 → 123
Iterations
IterNodes
done5000
21248
1374
0171

prune850.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes94.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done17
117
013

end0.0ms

sample1.6s

Algorithm
intervals
Results
742.0ms13750×body80valid
385.0ms13750×pre80true