Details

Time bar (total: 4.5m)

sample118.0ms

Algorithm
intervals
Results
58.0ms446×body80valid
16.0ms446×pre80true

simplify213.0ms

Calls
1 calls:
Slowest
212.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))

prune16.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize31.0ms

Local error

Found 4 expressions with local error:

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

rewrite733.0ms

Algorithm
rewrite-expression-head
Rules
108×add-sqr-sqrt
64×*-un-lft-identity
57×times-frac
36×associate-*r* add-cube-cbrt
28×associate-*l*
24×difference-of-squares
15×associate-/l*
13×add-cbrt-cube add-exp-log
12×unswap-sqr
9×flip3-- flip--
8×pow1 distribute-lft-out--
6×difference-of-sqr-1 associate-*r/ *-commutative add-log-exp
5×sub-neg
4×distribute-rgt-in frac-times distribute-lft-in insert-posit16
3×associate-/r* prod-exp cbrt-unprod
2×cbrt-undiv div-exp pow-prod-down associate-*l/ associate-/l/
1×clear-num frac-2neg diff-log div-inv
Calls
4 calls:
Slowest
444.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))
181.0ms
(- (/ (* m (- 1 m)) v) 1)
71.0ms
(/ (* m (- 1 m)) v)
29.0ms
(* m (- 1 m))

series210.0ms

Calls
4 calls:
Slowest
81.0ms
(* m (- 1 m))
51.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))
48.0ms
(/ (* m (- 1 m)) v)
30.0ms
(- (/ (* m (- 1 m)) v) 1)

simplify15.9s

Calls
196 calls:
Slowest
681.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- 1 m))
664.0ms
(* (* (* (- (/ (* m (- 1 m)) v) 1) (- (/ (* m (- 1 m)) v) 1)) (- (/ (* m (- 1 m)) v) 1)) (* (* (- 1 m) (- 1 m)) (- 1 m)))
651.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- (* 1 1) (* m m)))
577.0ms
(/ (* (* (* m m) m) (* (* (- 1 m) (- 1 m)) (- 1 m))) (* (* v v) v))
445.0ms
(* (+ (/ (* m (- 1 m)) v) 1) (+ 1 m))

prune1.4s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize23.0ms

Local error

Found 3 expressions with local error:

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

rewrite493.0ms

Algorithm
rewrite-expression-head
Rules
162×times-frac
158×add-sqr-sqrt
124×*-un-lft-identity
72×add-cube-cbrt
40×difference-of-squares
30×associate-/r*
20×associate-/r/
16×distribute-lft-out--
13×associate-*l*
11×flip3-- flip--
10×add-cbrt-cube add-exp-log
6×difference-of-sqr-1 associate-*r* associate-/l*
5×pow1 div-inv add-log-exp
4×frac-times
3×cbrt-undiv sub-neg div-exp insert-posit16
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
Calls
3 calls:
Slowest
324.0ms
(* (- (/ m (/ v (- 1 m))) 1) (- 1 m))
138.0ms
(- (/ m (/ v (- 1 m))) 1)
24.0ms
(/ m (/ v (- 1 m)))

series115.0ms

Calls
3 calls:
Slowest
56.0ms
(/ m (/ v (- 1 m)))
33.0ms
(* (- (/ m (/ v (- 1 m))) 1) (- 1 m))
26.0ms
(- (/ m (/ v (- 1 m))) 1)

simplify24.3s

Calls
250 calls:
Slowest
602.0ms
(* (- (pow (/ m (/ v (- 1 m))) 3) (pow 1 3)) (- (* 1 1) (* m m)))
577.0ms
(* (- (pow (/ m (/ v (- 1 m))) 3) (pow 1 3)) (- 1 m))
522.0ms
(/ (* (cbrt m) (cbrt m)) (/ (* (cbrt v) (cbrt v)) (* (cbrt (- 1 m)) (cbrt (- 1 m)))))
520.0ms
(/ (* (* m m) m) (* (* (/ v (- 1 m)) (/ v (- 1 m))) (/ v (- 1 m))))
503.0ms
(* (+ (/ m (/ v (- 1 m))) 1) (+ 1 m))

prune1.7s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite877.0ms

Algorithm
rewrite-expression-head
Rules
126×*-un-lft-identity
113×add-sqr-sqrt
105×associate-*r/
99×frac-sub
85×associate-/l*
74×add-cube-cbrt
71×associate-/r*
39×clear-num
36×times-frac
34×associate-*r*
24×un-div-inv
23×frac-2neg
17×distribute-rgt-out-- sub-div
15×associate-*l*
14×distribute-lft-out--
12×difference-of-squares
11×add-cbrt-cube add-exp-log add-log-exp
8×pow1 flip3-- flip--
7×unswap-sqr
5×sub-neg
4×frac-times diff-log insert-posit16 div-inv
3×prod-exp cbrt-unprod
2×distribute-rgt-in distribute-lft-in difference-of-sqr-1 pow-prod-down associate-*l/ associate--l+ *-commutative
1×associate--l- cbrt-undiv div-exp
Calls
4 calls:
Slowest
673.0ms
(* (- (- (/ m v) (* m (/ m v))) 1) (- 1 m))
159.0ms
(- (- (/ m v) (* m (/ m v))) 1)
29.0ms
(- (/ m v) (* m (/ m v)))
10.0ms
(* m (/ m v))

series134.0ms

Calls
4 calls:
Slowest
49.0ms
(* (- (- (/ m v) (* m (/ m v))) 1) (- 1 m))
33.0ms
(* m (/ m v))
30.0ms
(- (/ m v) (* m (/ m v)))
21.0ms
(- (- (/ m v) (* m (/ m v))) 1)

simplify34.7s

Calls
368 calls:
Slowest
625.0ms
(- (* 1 (sqrt v)) (* (/ v m) (* m (/ m (sqrt v)))))
608.0ms
(- (* 1 (sqrt v)) (* (/ v m) (* m (/ m (sqrt v)))))
554.0ms
(- (* 1 (/ v m)) (* (/ v m) (* m 1)))
547.0ms
(* (* (* m m) m) (/ (* (* m m) m) (* (* v v) v)))
522.0ms
(* (- (pow (- (/ m v) (* m (/ m v))) 3) (pow 1 3)) (- (pow 1 3) (pow m 3)))

prune2.3s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize28.0ms

Local error

Found 3 expressions with local error:

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

rewrite975.0ms

Algorithm
rewrite-expression-head
Rules
340×frac-times
282×flip3-- flip--
182×frac-sub
171×add-sqr-sqrt
136×*-un-lft-identity
92×associate-*l/
91×associate-*r/
84×associate-/l*
81×associate-/r*
75×add-cube-cbrt
56×associate-*l*
31×difference-of-squares
30×clear-num distribute-lft-out--
27×frac-2neg
26×unswap-sqr
25×associate-*r*
20×swap-sqr
19×times-frac
17×add-cbrt-cube add-exp-log
15×pow1
8×add-log-exp
7×prod-exp *-commutative cbrt-unprod
6×un-div-inv
4×sub-neg pow-prod-down sub-div
3×diff-log insert-posit16
2×distribute-rgt-in cbrt-undiv distribute-lft-in div-exp associate--r+
1×pow2 pow-plus pow-sqr pow-prod-up div-inv associate--r-
Calls
3 calls:
Slowest
751.0ms
(- (* (* (- 1 m) (- 1 m)) (/ m v)) (- 1 m))
159.0ms
(* (* (- 1 m) (- 1 m)) (/ m v))
51.0ms
(* (- 1 m) (- 1 m))

series116.0ms

Calls
3 calls:
Slowest
53.0ms
(- (* (* (- 1 m) (- 1 m)) (/ m v)) (- 1 m))
40.0ms
(* (* (- 1 m) (- 1 m)) (/ m v))
22.0ms
(* (- 1 m) (- 1 m))

simplify2.9m

Calls
702 calls:
Slowest
917.0ms
(- (* (* (* (- (pow 1 3) (pow m 3)) (- (* 1 1) (* m m))) (* (cbrt m) (cbrt m))) (+ (* 1 1) (+ (* m m) (* 1 m)))) (* (* (* (+ (* 1 1) (+ (* m m) (* 1 m))) (+ 1 m)) (/ v (cbrt m))) (- (pow 1 3) (pow m 3))))
907.0ms
(* (* (+ 1 m) (+ (* 1 1) (+ (* m m) (* 1 m)))) (/ v (sqrt m)))
903.0ms
(* (* (* (+ 1 m) (+ 1 m)) (cbrt v)) (+ (* 1 1) (+ (* m m) (* 1 m))))
897.0ms
(* (* (* (+ 1 m) (+ 1 m)) (sqrt v)) (+ (* 1 1) (+ (* m m) (* 1 m))))
881.0ms
(* (* (* (+ 1 m) (+ 1 m)) v) (+ (* 1 1) (+ (* m m) (* 1 m))))

prune4.9s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

regimes54.0ms

Accuracy

0% (0.1b remaining)

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

bsearch2.0ms

end0.0ms

sample2.1s

Algorithm
intervals
Results
1.3s13671×body80valid
499.0ms13671×pre80true