Details

Time bar (total: 1.7m)

sample398.0ms

Algorithm
intervals
Results
149.0ms452×body80valid
92.0ms452×pre80true

simplify273.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
272.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize16.0ms

Local error

Found 3 expressions with local error:

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

rewrite200.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt
18×*-un-lft-identity
12×add-cbrt-cube associate-*r* add-exp-log
10×associate-*l*
9×add-cube-cbrt
8×flip3-- flip--
7×pow1
6×associate-*r/ difference-of-squares
4×distribute-rgt-in frac-times sub-neg distribute-lft-in
3×associate-/r* times-frac prod-exp cbrt-unprod insert-posit16 distribute-lft-out-- add-log-exp
2×cbrt-undiv div-exp pow-prod-down associate-*l/ *-commutative unswap-sqr associate-/l/
1×clear-num frac-2neg difference-of-sqr-1 div-inv associate-/l*
Counts
3 → 90
Calls
3 calls:
Slowest
120.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))
60.0ms
(* m (- 1 m))
15.0ms
(/ (* m (- 1 m)) v)

series258.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
114.0ms
(/ (* m (- 1 m)) v)
93.0ms
(* m (- 1 m))
51.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))

simplify18.0s

Counts
115 → 99
Calls
115 calls:
Slowest
1.0s
(* (* (* (- (/ (* m (- 1 m)) v) 1) (- (/ (* m (- 1 m)) v) 1)) (- (/ (* m (- 1 m)) v) 1)) (* (* (- 1 m) (- 1 m)) (- 1 m)))
710.0ms
(* (+ (* (/ (* m (- 1 m)) v) (/ (* m (- 1 m)) v)) (+ (* 1 1) (* (/ (* m (- 1 m)) v) 1))) (+ 1 m))
590.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- 1 m))
571.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- (* 1 1) (* m m)))
531.0ms
(exp (* (- (/ (* m (- 1 m)) v) 1) (- 1 m)))

prune736.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize36.0ms

Local error

Found 4 expressions with local error:

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

rewrite292.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt
22×add-cbrt-cube add-exp-log
18×*-un-lft-identity
14×associate-*r*
13×associate-*l*
10×pow1 associate-*r/ add-cube-cbrt
8×flip3-- flip--
7×prod-exp cbrt-unprod
5×distribute-rgt-in distribute-lft-in difference-of-squares
4×frac-times cbrt-undiv sub-neg div-exp insert-posit16 add-log-exp
3×pow-prod-down *-commutative unswap-sqr
2×flip3-+ associate-*l/ associate-/r/ flip-+ distribute-lft-out-- associate-/l/
1×clear-num associate-/r* frac-2neg times-frac difference-of-sqr-1 div-inv distribute-lft-out associate-/l*
Counts
4 → 114
Calls
4 calls:
Slowest
204.0ms
(* (- (/ (* m (- (* 1 1) (* m m))) (* v (+ 1 m))) 1) (- 1 m))
46.0ms
(* m (- (* 1 1) (* m m)))
27.0ms
(/ (* m (- (* 1 1) (* m m))) (* v (+ 1 m)))
13.0ms
(* v (+ 1 m))

series313.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
108.0ms
(* m (- (* 1 1) (* m m)))
86.0ms
(* (- (/ (* m (- (* 1 1) (* m m))) (* v (+ 1 m))) 1) (- 1 m))
80.0ms
(/ (* m (- (* 1 1) (* m m))) (* v (+ 1 m)))
40.0ms
(* v (+ 1 m))

simplify27.3s

Counts
142 → 126
Calls
142 calls:
Slowest
1.2s
(/ (* (* (* m (- (* 1 1) (* m m))) (* m (- (* 1 1) (* m m)))) (* m (- (* 1 1) (* m m)))) (* (* (* v (+ 1 m)) (* v (+ 1 m))) (* v (+ 1 m))))
890.0ms
(/ (* (* (* m (- (* 1 1) (* m m))) (* m (- (* 1 1) (* m m)))) (* m (- (* 1 1) (* m m)))) (* (* (* v v) v) (* (* (+ 1 m) (+ 1 m)) (+ 1 m))))
869.0ms
(/ (* (* (* m m) m) (* (* (- (* 1 1) (* m m)) (- (* 1 1) (* m m))) (- (* 1 1) (* m m)))) (* (* (* v (+ 1 m)) (* v (+ 1 m))) (* v (+ 1 m))))
807.0ms
(/ (* (* (* m m) m) (* (* (- (* 1 1) (* m m)) (- (* 1 1) (* m m))) (- (* 1 1) (* m m)))) (* (* (* v v) v) (* (* (+ 1 m) (+ 1 m)) (+ 1 m))))
709.0ms
(* (- (pow (/ (* m (- (* 1 1) (* m m))) (* v (+ 1 m))) 3) (pow 1 3)) (- (pow 1 3) (pow m 3)))

prune1.1s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize16.0ms

Local error

Found 3 expressions with local error:

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

rewrite292.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
22×*-un-lft-identity
19×associate-*r*
13×add-cube-cbrt
11×times-frac
10×add-cbrt-cube associate-*l* add-exp-log
7×pow1 flip3-- flip--
5×associate-*r/ add-log-exp
4×frac-times difference-of-squares
3×sub-neg prod-exp cbrt-unprod insert-posit16 distribute-lft-out-- unswap-sqr
2×distribute-rgt-in distribute-lft-in distribute-rgt-out-- pow-prod-down associate-*l/ *-commutative div-inv
1×cbrt-undiv diff-log difference-of-sqr-1 div-exp frac-sub sub-div
Counts
3 → 89
Calls
3 calls:
Slowest
258.0ms
(* (- (- (/ m v) (* m (/ m v))) 1) (- 1 m))
22.0ms
(- (/ m v) (* m (/ m v)))
9.0ms
(* m (/ m v))

series117.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
52.0ms
(* (- (- (/ m v) (* m (/ m v))) 1) (- 1 m))
36.0ms
(* m (/ m v))
29.0ms
(- (/ m v) (* m (/ m v)))

simplify18.3s

Counts
110 → 98
Calls
110 calls:
Slowest
579.0ms
(log (* (- (- (/ m v) (* m (/ m v))) 1) (- 1 m)))
555.0ms
(* (- (- (/ m v) (* m (/ m v))) 1) (* (cbrt (- 1 m)) (cbrt (- 1 m))))
553.0ms
(* (+ (- (/ m v) (* m (/ m v))) 1) (+ (* 1 1) (+ (* m m) (* 1 m))))
538.0ms
(cbrt (* (- (- (/ m v) (* m (/ m v))) 1) (- 1 m)))
533.0ms
(* (* (* m (/ m v)) (* m (/ m v))) (* m (/ m v)))

prune779.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite249.0ms

Algorithm
rewrite-expression-head
Rules
143×add-sqr-sqrt
132×times-frac
98×*-un-lft-identity
92×add-cube-cbrt
72×sqrt-prod
29×associate-*l*
28×swap-sqr associate-*r*
22×add-cbrt-cube add-exp-log
13×pow1
12×associate-/r*
10×unswap-sqr
6×cbrt-undiv flip3-- div-exp div-inv flip-- associate-/l*
5×frac-times prod-exp cbrt-unprod
4×insert-posit16 add-log-exp difference-of-squares
3×associate-*l/ associate-*r/
2×distribute-rgt-in clear-num sub-neg frac-2neg distribute-lft-in pow-prod-down *-commutative distribute-lft-out--
1×pow2 pow-plus difference-of-sqr-1 pow-sqr pow-prod-up
Counts
4 → 224
Calls
4 calls:
Slowest
199.0ms
(* (- (- (/ m v) (* (/ m (sqrt v)) (/ m (sqrt v)))) 1) (- 1 m))
33.0ms
(* (/ m (sqrt v)) (/ m (sqrt v)))
5.0ms
(/ m (sqrt v))
5.0ms
(/ m (sqrt v))

series275.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
76.0ms
(* (- (- (/ m v) (* (/ m (sqrt v)) (/ m (sqrt v)))) 1) (- 1 m))
74.0ms
(/ m (sqrt v))
65.0ms
(/ m (sqrt v))
60.0ms
(* (/ m (sqrt v)) (/ m (sqrt v)))

simplify25.7s

Counts
318 → 236
Calls
318 calls:
Slowest
814.0ms
(* (- (sqrt (- (/ m v) (* (/ m (sqrt v)) (/ m (sqrt v))))) 1) (- 1 m))
675.0ms
(* (+ (- (/ m v) (* (/ m (sqrt v)) (/ m (sqrt v)))) 1) (+ (* 1 1) (+ (* m m) (* 1 m))))
594.0ms
(* (- (- (/ m v) (* (/ m (sqrt v)) (/ m (sqrt v)))) 1) (- 1 m))
527.0ms
(sqrt (* (- (- (/ m v) (* (/ m (sqrt v)) (/ m (sqrt v)))) 1) (- 1 m)))
526.0ms
(* (- (- (/ m v) (* (/ m (sqrt v)) (/ m (sqrt v)))) 1) (- 1 m))

prune2.4s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes73.0ms

Accuracy

0% (0.0b remaining)

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

bsearch2.0ms

end0.0ms

sample2.2s

Algorithm
intervals
Results
1.3s13869×body80valid
606.0ms13869×pre80true