Details

Time bar (total: 1.6m)

sample432.0ms

Algorithm
intervals
Results
72.0ms461×body80valid
64.0ms461×pre80true

simplify525.0ms

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

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize25.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (- (/ (* 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)

rewrite300.0ms

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

series374.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
166.0ms
(* m (- 1 m))
103.0ms
(/ (* m (- 1 m)) v)
56.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))
48.0ms
(- (/ (* m (- 1 m)) v) 1)

simplify10.3s

Counts
84 → 119
Calls
84 calls:
Slowest
757.0ms
(* (* (* (- (/ (* m (- 1 m)) v) 1) (- (/ (* m (- 1 m)) v) 1)) (- (/ (* m (- 1 m)) v) 1)) (* (* (- 1 m) (- 1 m)) (- 1 m)))
600.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- 1 m))
542.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- (* 1 1) (* m m)))
518.0ms
(- (sqrt (/ (* m (- 1 m)) v)) (sqrt 1))
466.0ms
(* (+ (/ (* m (- 1 m)) v) 1) (+ 1 m))

prune936.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize28.0ms

Local error

Found 4 expressions with local error:

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

rewrite308.0ms

Algorithm
rewrite-expression-head
Rules
180×times-frac
177×add-sqr-sqrt
143×*-un-lft-identity
82×add-cube-cbrt
46×difference-of-squares
30×associate-/r*
19×distribute-lft-out--
13×add-cbrt-cube associate-*l* add-exp-log
12×flip3-- flip--
11×associate-/r/
6×pow1 difference-of-sqr-1 associate-*r* div-inv associate-/l* add-log-exp
4×frac-times cbrt-undiv div-exp insert-posit16
3×sub-neg
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
Counts
4 → 224
Calls
4 calls:
Slowest
197.0ms
(* (- (/ m (/ v (- 1 m))) 1) (- 1 m))
69.0ms
(- (/ m (/ v (- 1 m))) 1)
20.0ms
(/ m (/ v (- 1 m)))
16.0ms
(/ v (- 1 m))

series149.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
48.0ms
(/ m (/ v (- 1 m)))
45.0ms
(/ v (- 1 m))
38.0ms
(* (- (/ m (/ v (- 1 m))) 1) (- 1 m))
17.0ms
(- (/ m (/ v (- 1 m))) 1)

simplify24.4s

Counts
290 → 236
Calls
290 calls:
Slowest
710.0ms
(* (- (pow (/ m (/ v (- 1 m))) 3) (pow 1 3)) (- 1 m))
666.0ms
(* (- (pow (/ m (/ v (- 1 m))) 3) (pow 1 3)) (- (* 1 1) (* m m)))
598.0ms
(/ (* (cbrt m) (cbrt m)) (/ (* (cbrt v) (cbrt v)) (* (cbrt (- 1 m)) (cbrt (- 1 m)))))
551.0ms
(* (+ (/ m (/ v (- 1 m))) 1) (+ 1 m))
543.0ms
(/ (* (* m m) m) (* (* (/ v (- 1 m)) (/ v (- 1 m))) (/ v (- 1 m))))

prune2.2s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite204.0ms

Algorithm
rewrite-expression-head
Rules
48×add-sqr-sqrt
32×*-un-lft-identity
21×times-frac
16×add-cube-cbrt
15×difference-of-squares
10×associate-*l*
9×flip3-- flip--
8×add-cbrt-cube add-exp-log add-log-exp
6×pow1 associate-*r*
5×distribute-rgt-out-- associate-/l*
4×frac-times sub-neg difference-of-sqr-1 insert-posit16
3×associate-/r* distribute-lft-out--
2×distribute-rgt-in distribute-lft-in diff-log div-sub associate-*l/ associate-*r/ associate-/l/
1×associate--l- cbrt-undiv clear-num frac-2neg div-exp pow-prod-down prod-exp *-commutative cbrt-unprod div-inv unswap-sqr
Counts
4 → 116
Calls
4 calls:
Slowest
139.0ms
(* (- (/ (- m (* m m)) v) 1) (- 1 m))
38.0ms
(- (/ (- m (* m m)) v) 1)
19.0ms
(/ (- m (* m m)) v)
5.0ms
(- m (* m m))

series164.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
69.0ms
(- m (* m m))
40.0ms
(/ (- m (* m m)) v)
31.0ms
(* (- (/ (- m (* m m)) v) 1) (- 1 m))
23.0ms
(- (/ (- m (* m m)) v) 1)

simplify10.1s

Counts
104 → 128
Calls
104 calls:
Slowest
911.0ms
(* (* (* (- (/ (- m (* m m)) v) 1) (- (/ (- m (* m m)) v) 1)) (- (/ (- m (* m m)) v) 1)) (* (* (- 1 m) (- 1 m)) (- 1 m)))
522.0ms
(* (- (pow (/ (- m (* m m)) v) 3) (pow 1 3)) (- (pow 1 3) (pow m 3)))
473.0ms
(* (cbrt (- m (* m m))) (cbrt (- m (* m m))))
434.0ms
(* (- (pow (/ (- m (* m m)) v) 3) (pow 1 3)) (- (* 1 1) (* m m)))
374.0ms
(* (- (pow (/ (- m (* m m)) v) 3) (pow 1 3)) (- 1 m))

prune1.1s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize18.0ms

Local error

Found 3 expressions with local error:

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

rewrite182.0ms

Algorithm
rewrite-expression-head
Rules
64×flip3-- flip--
52×frac-times
44×associate-*r/
34×frac-sub
32×*-un-lft-identity
31×add-sqr-sqrt
19×associate-*l* associate-*l/
18×distribute-rgt-in distribute-lft-in
17×add-cbrt-cube add-exp-log
15×pow1
14×add-cube-cbrt
12×sub-neg
10×times-frac
8×swap-sqr associate--l+ add-log-exp difference-of-squares
7×associate-*r* prod-exp cbrt-unprod
6×distribute-lft-out--
4×pow-prod-down sub-div
3×diff-log insert-posit16 unswap-sqr
2×cbrt-undiv div-exp *-commutative associate--r+
1×pow2 pow-plus pow-sqr pow-prod-up div-inv associate--r-
Counts
3 → 172
Calls
3 calls:
Slowest
71.0ms
(- (* (/ m v) (* (- 1 m) (- 1 m))) (- 1 m))
58.0ms
(* (/ m v) (* (- 1 m) (- 1 m)))
46.0ms
(* (- 1 m) (- 1 m))

series142.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
66.0ms
(- (* (/ m v) (* (- 1 m) (- 1 m))) (- 1 m))
53.0ms
(* (/ m v) (* (- 1 m) (- 1 m)))
23.0ms
(* (- 1 m) (- 1 m))

simplify39.6s

Counts
208 → 181
Calls
208 calls:
Slowest
921.0ms
(* (* (+ (* 1 1) (+ (* m m) (* 1 m))) (+ 1 m)) (+ 1 m))
856.0ms
(* (* (* (- 1 m) (- 1 m)) (- 1 m)) (* (* (- 1 m) (- 1 m)) (- 1 m)))
680.0ms
(- (* (* m (* (- 1 m) (- (* 1 1) (* m m)))) (+ (* 1 1) (+ (* m m) (* 1 m)))) (* (* v (+ 1 m)) (- (pow 1 3) (pow m 3))))
567.0ms
(* v (* (+ (* 1 1) (+ (* m m) (* 1 m))) (+ 1 m)))
537.0ms
(* (* (+ 1 m) (+ (* 1 1) (+ (* m m) (* 1 m)))) (+ 1 m))

prune1.7s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes74.0ms

Accuracy

0% (0.1b remaining)

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

bsearch1.0ms

end0.0ms

sample2.6s

Algorithm
intervals
Results
1.7s13594×body80valid
641.0ms13594×pre80true