Details

Time bar (total: 2.1m)

sample203.0ms

Algorithm
intervals
Results
50.0ms428×body80valid
25.0ms428×pre80true

simplify336.0ms

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

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize15.0ms

Local error

Found 3 expressions with local error:

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

rewrite102.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
70.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))
15.0ms
(* m (- 1 m))
14.0ms
(/ (* m (- 1 m)) v)

series126.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
45.0ms
(* m (- 1 m))
42.0ms
(/ (* m (- 1 m)) v)
39.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))

simplify9.0s

Counts
74 → 99
Calls
74 calls:
Slowest
693.0ms
(* (* (* (- (/ (* m (- 1 m)) v) 1) (- (/ (* m (- 1 m)) v) 1)) (- (/ (* m (- 1 m)) v) 1)) (* (* (- 1 m) (- 1 m)) (- 1 m)))
666.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- (* 1 1) (* m m)))
641.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- 1 m))
533.0ms
(* (+ (/ (* m (- 1 m)) v) 1) (+ 1 m))
394.0ms
(* (- (* (/ (* m (- 1 m)) v) (/ (* m (- 1 m)) v)) (* 1 1)) (- (pow 1 3) (pow m 3)))

prune1.3s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize30.0ms

Local error

Found 2 expressions with local error:

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

rewrite219.0ms

Algorithm
rewrite-expression-head
Rules
153×times-frac
131×add-sqr-sqrt
113×*-un-lft-identity
69×add-cube-cbrt
32×difference-of-squares
24×associate-/r*
14×distribute-lft-out--
13×associate-*l*
10×flip3-- flip--
9×add-cbrt-cube add-exp-log associate-/r/
6×associate-*r*
5×div-inv
4×frac-times pow1
3×cbrt-undiv difference-of-sqr-1 div-exp associate-/l*
2×distribute-rgt-in sub-neg distribute-lft-in associate-*l/ associate-*r/ insert-posit16 add-log-exp
1×clear-num frac-2neg pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
2 → 159
Calls
2 calls:
Slowest
192.0ms
(* (- (/ m (/ v (- 1 m))) 1) (- 1 m))
20.0ms
(/ m (/ v (- 1 m)))

series86.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
46.0ms
(* (- (/ m (/ v (- 1 m))) 1) (- 1 m))
40.0ms
(/ m (/ v (- 1 m)))

simplify23.0s

Counts
219 → 165
Calls
219 calls:
Slowest
619.0ms
(* (- (pow (/ m (/ v (- 1 m))) 3) (pow 1 3)) (- 1 m))
609.0ms
(* (- (pow (/ m (/ v (- 1 m))) 3) (pow 1 3)) (- (* 1 1) (* m m)))
583.0ms
(* (+ (/ m (/ v (- 1 m))) 1) (+ 1 m))
571.0ms
(/ (* (* m m) m) (* (* (/ v (- 1 m)) (/ v (- 1 m))) (/ v (- 1 m))))
507.0ms
(/ (* (cbrt m) (cbrt m)) (/ (* (cbrt v) (cbrt v)) (* (cbrt (- 1 m)) (cbrt (- 1 m)))))

prune1.4s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize32.0ms

Local error

Found 4 expressions with local error:

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

rewrite276.0ms

Algorithm
rewrite-expression-head
Rules
32×frac-times
30×add-sqr-sqrt
25×*-un-lft-identity
23×flip3-- flip--
20×associate-*r*
18×add-cbrt-cube add-exp-log
16×associate-*l/
14×associate-*r/
13×pow1
12×flip3-+ flip-+
11×associate-*l* add-cube-cbrt
8×difference-of-squares
6×prod-exp cbrt-unprod
5×distribute-rgt-in distribute-lft-in pow-prod-down
4×sub-neg sqrt-prod insert-posit16 distribute-lft-out-- add-log-exp
3×associate-/r* times-frac *-commutative
2×cbrt-undiv div-exp distribute-lft-out unswap-sqr associate-/l/
1×clear-num frac-2neg difference-of-sqr-1 div-inv associate-/l*
Counts
4 → 142
Calls
4 calls:
Slowest
119.0ms
(* (* (- (/ (* m (- 1 m)) v) 1) (+ 1 (sqrt m))) (- 1 (sqrt m)))
98.0ms
(* (- (/ (* m (- 1 m)) v) 1) (+ 1 (sqrt m)))
29.0ms
(* m (- 1 m))
26.0ms
(/ (* m (- 1 m)) v)

series287.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
101.0ms
(* (- (/ (* m (- 1 m)) v) 1) (+ 1 (sqrt m)))
81.0ms
(* (* (- (/ (* m (- 1 m)) v) 1) (+ 1 (sqrt m))) (- 1 (sqrt m)))
54.0ms
(* m (- 1 m))
50.0ms
(/ (* m (- 1 m)) v)

simplify24.4s

Counts
136 → 154
Calls
136 calls:
Slowest
977.0ms
(* (* (+ (* (/ (* m (- 1 m)) v) (/ (* m (- 1 m)) v)) (+ (* 1 1) (* (/ (* m (- 1 m)) v) 1))) (+ (* 1 1) (- (* (sqrt m) (sqrt m)) (* 1 (sqrt m))))) (+ (* 1 1) (+ (* (sqrt m) (sqrt m)) (* 1 (sqrt m)))))
806.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- (* 1 1) (* (sqrt m) (sqrt m))))
780.0ms
(* (* (- (* (/ (* m (- 1 m)) v) (/ (* m (- 1 m)) v)) (* 1 1)) (+ 1 (sqrt m))) (- (pow 1 3) (pow (sqrt m) 3)))
683.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (+ 1 (sqrt m)))
594.0ms
(* (- (sqrt m)) (* (- (/ (* m (- 1 m)) v) 1) (+ 1 (sqrt m))))

prune1.5s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize28.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (* (- (/ m (/ v (- 1 m))) 1) (- 1 m)))
0.3b
(cbrt (* (- (/ m (/ v (- 1 m))) 1) (- 1 m)))
0.3b
(cbrt (* (- (/ m (/ v (- 1 m))) 1) (- 1 m)))
0.3b
(* (cbrt (* (- (/ m (/ v (- 1 m))) 1) (- 1 m))) (cbrt (* (- (/ m (/ v (- 1 m))) 1) (- 1 m))))

rewrite323.0ms

Algorithm
rewrite-expression-head
Rules
168×cbrt-div
148×frac-times
126×flip3-- flip--
50×associate-*l/ associate-*r/
11×pow1
10×add-sqr-sqrt
9×pow1/3
8×*-un-lft-identity add-cube-cbrt
7×cbrt-prod
6×add-exp-log
4×add-cbrt-cube swap-sqr associate-*r* associate-*l* insert-posit16 add-log-exp
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 166
Calls
4 calls:
Slowest
122.0ms
(* (cbrt (* (- (/ m (/ v (- 1 m))) 1) (- 1 m))) (cbrt (* (- (/ m (/ v (- 1 m))) 1) (- 1 m))))
71.0ms
(cbrt (* (- (/ m (/ v (- 1 m))) 1) (- 1 m)))
69.0ms
(cbrt (* (- (/ m (/ v (- 1 m))) 1) (- 1 m)))
56.0ms
(cbrt (* (- (/ m (/ v (- 1 m))) 1) (- 1 m)))

series571.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
170.0ms
(cbrt (* (- (/ m (/ v (- 1 m))) 1) (- 1 m)))
145.0ms
(cbrt (* (- (/ m (/ v (- 1 m))) 1) (- 1 m)))
128.0ms
(* (cbrt (* (- (/ m (/ v (- 1 m))) 1) (- 1 m))) (cbrt (* (- (/ m (/ v (- 1 m))) 1) (- 1 m))))
128.0ms
(cbrt (* (- (/ m (/ v (- 1 m))) 1) (- 1 m)))

simplify1.0m

Counts
213 → 178
Calls
213 calls:
Slowest
858.0ms
(* (cbrt (* (- (* (/ m (/ v (- 1 m))) (/ m (/ v (- 1 m)))) (* 1 1)) (- (* 1 1) (* m m)))) (cbrt (* (- (/ m (/ v (- 1 m))) 1) (- (pow 1 3) (pow m 3)))))
702.0ms
(cbrt (* (+ (/ m (/ v (- 1 m))) 1) (+ (* 1 1) (+ (* m m) (* 1 m)))))
682.0ms
(* (* (- (/ m (/ v (- 1 m))) 1) (- 1 m)) (* (- (/ m (/ v (- 1 m))) 1) (- 1 m)))
668.0ms
(* (cbrt (* (- (* (/ m (/ v (- 1 m))) (/ m (/ v (- 1 m)))) (* 1 1)) (- (pow 1 3) (pow m 3)))) (cbrt (* (- (/ m (/ v (- 1 m))) 1) (- (* 1 1) (* m m)))))
665.0ms
(cbrt (* (- (pow (/ m (/ v (- 1 m))) 3) (pow 1 3)) (- 1 m)))

prune2.5s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes105.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.3s13624×body80valid
554.0ms13624×pre80true