Details

Time bar (total: 18.6s)

sample130.0ms

Algorithm
intervals
Results
28.0ms438×body80valid
14.0ms438×pre80true

simplify1.4s

Counts
1 → 1

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize33.0ms

Local error

Found 4 expressions with local error:

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

rewrite152.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:
Slowest
98.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))
18.0ms
(- (/ (* m (- 1 m)) v) 1)
17.0ms
(* m (- 1 m))
15.0ms
(/ (* m (- 1 m)) v)

series216.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
75.0ms
(* m (- 1 m))
65.0ms
(/ (* m (- 1 m)) v)
39.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))
36.0ms
(- (/ (* m (- 1 m)) v) 1)

simplify2.5s

Counts
194 → 194

prune1.5s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite180.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
16×add-cbrt-cube add-exp-log
15×*-un-lft-identity
12×add-cube-cbrt
10×associate-*r* associate-*l/
7×flip3-- associate-*l* flip--
6×pow1 associate-/r* times-frac add-log-exp
4×expm1-log1p-u cbrt-undiv div-exp frac-add associate-*r/ insert-posit16 log1p-expm1-u associate-/l/
3×distribute-lft-neg-in distribute-rgt-neg-in prod-exp distribute-rgt-neg-out cbrt-unprod
2×clear-num frac-2neg div-inv associate-/l* difference-of-squares
1×+-commutative neg-mul-1 sum-log fma-def flip3-+ difference-of-sqr-1 unsub-neg pow-prod-down *-commutative flip-+ distribute-lft-out distribute-lft-out-- unswap-sqr
Counts
4 → 109
Calls
4 calls:
Slowest
84.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- m))
46.0ms
(+ (* (- (/ (* m (- 1 m)) v) 1) 1) (* (- (/ (* m (- 1 m)) v) 1) (- m)))
29.0ms
(/ (* m (- 1 m)) v)
18.0ms
(/ (* m (- 1 m)) v)

series178.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
57.0ms
(+ (* (- (/ (* m (- 1 m)) v) 1) 1) (* (- (/ (* m (- 1 m)) v) 1) (- m)))
42.0ms
(/ (* m (- 1 m)) v)
40.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- m))
39.0ms
(/ (* m (- 1 m)) v)

simplify747.0ms

Counts
121 → 121

prune1.1s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize74.0ms

Local error

Found 4 expressions with local error:

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

rewrite180.0ms

Algorithm
rewrite-expression-head
Rules
25×add-cbrt-cube add-exp-log
20×add-sqr-sqrt
15×*-un-lft-identity
14×associate-*r*
12×add-cube-cbrt
10×associate-*l*
8×pow1 associate-*r/
7×prod-exp cbrt-unprod
6×cbrt-undiv div-exp
4×expm1-log1p-u associate-/r* times-frac flip3-- insert-posit16 log1p-expm1-u flip-- add-log-exp associate-/l/
3×distribute-lft-neg-in distribute-rgt-in distribute-rgt-neg-in distribute-lft-in difference-of-squares
2×clear-num sub-neg frac-2neg prod-diff pow-prod-down associate-*l/ associate-/r/ *-commutative div-inv associate-/l* unswap-sqr
1×neg-mul-1 flip3-+ difference-of-sqr-1 distribute-rgt-neg-out flip-+ distribute-lft-out--
Counts
4 → 119
Calls
4 calls:
Slowest
74.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- m))
53.0ms
(* m (- (* 1 1) (* m m)))
35.0ms
(/ (* m (- (* 1 1) (* m m))) (* v (+ 1 m)))
15.0ms
(/ (* m (- 1 m)) v)

series335.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
119.0ms
(* m (- (* 1 1) (* m m)))
112.0ms
(/ (* m (- (* 1 1) (* m m))) (* v (+ 1 m)))
59.0ms
(/ (* m (- 1 m)) v)
44.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- m))

simplify940.0ms

Counts
131 → 131

prune2.0s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize37.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (* (- (/ (* m (- 1 m)) v) 1) (sqrt m)) (- (sqrt m)))
0.2b
(* (- (/ (* m (- 1 m)) v) 1) (sqrt m))
0.0b
(/ (* m (- 1 m)) v)
0.0b
(/ (* m (- 1 m)) v)

rewrite232.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
22×associate-*r*
21×add-cbrt-cube add-exp-log
19×*-un-lft-identity
16×add-cube-cbrt
11×pow1
10×sqrt-prod
8×associate-*l*
6×distribute-lft-neg-in associate-/r* distribute-rgt-neg-in times-frac associate-*l/ prod-exp cbrt-unprod
4×expm1-log1p-u cbrt-undiv flip3-- div-exp pow-prod-down associate-*r/ insert-posit16 log1p-expm1-u flip-- add-log-exp associate-/l/
2×clear-num frac-2neg *-commutative div-inv associate-/l* difference-of-squares unswap-sqr
1×neg-mul-1 difference-of-sqr-1 distribute-rgt-neg-out distribute-lft-out--
Counts
4 → 120
Calls
4 calls:
Slowest
93.0ms
(* (* (- (/ (* m (- 1 m)) v) 1) (sqrt m)) (- (sqrt m)))
77.0ms
(* (- (/ (* m (- 1 m)) v) 1) (sqrt m))
29.0ms
(/ (* m (- 1 m)) v)
29.0ms
(/ (* m (- 1 m)) v)

series232.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
87.0ms
(* (- (/ (* m (- 1 m)) v) 1) (sqrt m))
58.0ms
(* (* (- (/ (* m (- 1 m)) v) 1) (sqrt m)) (- (sqrt m)))
45.0ms
(/ (* m (- 1 m)) v)
42.0ms
(/ (* m (- 1 m)) v)

simplify2.4s

Counts
132 → 132

prune1.5s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

regimes120.0ms

Accuracy

0% (0.1b remaining)

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

bsearch6.0ms

end0.0ms

sample2.3s

Algorithm
intervals
Results
1.3s13674×body80valid
641.0ms13674×pre80true