Details

Time bar (total: 32.1s)

sample202.0ms

Algorithm
intervals
Results
48.0ms427×body80valid
23.0ms427×pre80true

simplify872.0ms

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

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize39.0ms

Local error

Found 3 expressions with local error:

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

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
8×flip3-- flip--
7×add-sqr-sqrt
6×*-un-lft-identity associate-*r* associate-*r/ add-cube-cbrt
5×pow1 add-cbrt-cube add-exp-log
4×distribute-rgt-in frac-times sub-neg distribute-lft-in associate-*l*
3×insert-posit16 add-log-exp
2×associate-*l/ *-commutative associate-/l/
1×clear-num frac-2neg difference-of-sqr-1 pow-prod-down prod-exp cbrt-unprod div-inv associate-/l*
Calls
3 calls:
Slowest
24.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))
11.0ms
(/ (* m (- 1 m)) v)
3.0ms
(* m (- 1 m))

series63.0ms

Calls
3 calls:
Slowest
26.0ms
(/ (* m (- 1 m)) v)
19.0ms
(* m (- 1 m))
18.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))

simplify6.8s

Calls
45 calls:
Slowest
631.0ms
(* (* (* (- (/ (* m (- 1 m)) v) 1) (- (/ (* m (- 1 m)) v) 1)) (- (/ (* m (- 1 m)) v) 1)) (* (* (- 1 m) (- 1 m)) (- 1 m)))
591.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- (pow 1 3) (pow m 3)))
525.0ms
(* (+ (/ (* m (- 1 m)) v) 1) (+ 1 m))
465.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- (* 1 1) (* m m)))
360.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- 1 m))

prune597.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize12.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
(/ v (- 1 m))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
9×associate-/r*
8×add-sqr-sqrt flip3-- flip--
7×*-un-lft-identity add-cube-cbrt
5×pow1 add-cbrt-cube add-exp-log associate-/r/
4×frac-times associate-*l*
3×associate-*r* insert-posit16 div-inv add-log-exp
2×distribute-rgt-in clear-num sub-neg frac-2neg distribute-lft-in associate-*l/ associate-*r/
1×difference-of-sqr-1 pow-prod-down prod-exp *-commutative cbrt-unprod
Calls
3 calls:
Slowest
10.0ms
(* (- (/ m (/ v (- 1 m))) 1) (- 1 m))
1.0ms
(/ m (/ v (- 1 m)))
1.0ms
(/ v (- 1 m))

series60.0ms

Calls
3 calls:
Slowest
22.0ms
(* (- (/ m (/ v (- 1 m))) 1) (- 1 m))
20.0ms
(/ v (- 1 m))
17.0ms
(/ m (/ v (- 1 m)))

simplify6.4s

Calls
46 calls:
Slowest
625.0ms
(* (- (pow (/ m (/ v (- 1 m))) 3) (pow 1 3)) (- (pow 1 3) (pow m 3)))
500.0ms
(* (+ (/ m (/ v (- 1 m))) 1) (+ 1 m))
465.0ms
(* (- (pow (/ m (/ v (- 1 m))) 3) (pow 1 3)) (- (* 1 1) (* m m)))
401.0ms
(* (- (pow (/ m (/ v (- 1 m))) 3) (pow 1 3)) (- 1 m))
285.0ms
(* (+ (/ m (/ v (- 1 m))) 1) (+ (* 1 1) (+ (* m m) (* 1 m))))

prune530.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize15.0ms

Local error

Found 3 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)))

rewrite54.0ms

Algorithm
rewrite-expression-head
Rules
7×add-sqr-sqrt *-un-lft-identity flip3-- associate-*r* flip--
6×add-cube-cbrt
5×pow1 add-cbrt-cube associate-*r/ add-exp-log add-log-exp
4×frac-times associate-*l*
3×sub-neg insert-posit16
2×distribute-rgt-in distribute-lft-in associate-*l/ *-commutative div-inv
1×distribute-rgt-out-- diff-log difference-of-sqr-1 pow-prod-down prod-exp frac-sub cbrt-unprod distribute-lft-out-- sub-div
Calls
3 calls:
Slowest
48.0ms
(* (- (- (/ m v) (* m (/ m v))) 1) (- 1 m))
4.0ms
(- (/ m v) (* m (/ m v)))
1.0ms
(* m (/ m v))

series71.0ms

Calls
3 calls:
Slowest
33.0ms
(* (- (- (/ m v) (* m (/ m v))) 1) (- 1 m))
25.0ms
(- (/ m v) (* m (/ m v)))
13.0ms
(* m (/ m v))

simplify5.9s

Calls
45 calls:
Slowest
522.0ms
(* (+ (- (/ m v) (* m (/ m v))) 1) (+ (* 1 1) (+ (* m m) (* 1 m))))
443.0ms
(* (- (pow (- (/ m v) (* m (/ m v))) 3) (pow 1 3)) (- (pow 1 3) (pow m 3)))
437.0ms
(* (- (- (/ m v) (* m (/ m v))) 1) (- 1 m))
405.0ms
(* (- (pow (- (/ m v) (* m (/ m v))) 3) (pow 1 3)) (- 1 m))
361.0ms
(* (- (pow (- (/ m v) (* m (/ m v))) 3) (pow 1 3)) (- (* 1 1) (* m m)))

prune700.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize20.0ms

Local error

Found 4 expressions with local error:

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

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
12×associate-/r*
10×associate-*l/
9×add-sqr-sqrt
8×*-un-lft-identity add-cube-cbrt
7×flip3-- flip--
6×pow1 add-cbrt-cube add-exp-log associate-/r/ add-log-exp
4×associate-*r* associate-*l* frac-add insert-posit16 div-inv
3×distribute-rgt-neg-out
2×clear-num frac-2neg
1×+-commutative neg-mul-1 sum-log flip3-+ difference-of-sqr-1 unsub-neg pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ distribute-lft-out
Calls
4 calls:
Slowest
18.0ms
(* (- (/ m (/ v (- 1 m))) 1) (- m))
12.0ms
(+ (* (- (/ m (/ v (- 1 m))) 1) 1) (* (- (/ m (/ v (- 1 m))) 1) (- m)))
1.0ms
(/ m (/ v (- 1 m)))
1.0ms
(/ m (/ v (- 1 m)))

series80.0ms

Calls
4 calls:
Slowest
25.0ms
(+ (* (- (/ m (/ v (- 1 m))) 1) 1) (* (- (/ m (/ v (- 1 m))) 1) (- m)))
20.0ms
(/ m (/ v (- 1 m)))
18.0ms
(/ m (/ v (- 1 m)))
16.0ms
(* (- (/ m (/ v (- 1 m))) 1) (- m))

simplify6.7s

Calls
50 calls:
Slowest
647.0ms
(* (+ (/ m (/ v (- 1 m))) 1) (+ (* (/ m (/ v (- 1 m))) (/ m (/ v (- 1 m)))) (+ (* 1 1) (* (/ m (/ v (- 1 m))) 1))))
611.0ms
(* (* (* (- (/ m (/ v (- 1 m))) 1) (- (/ m (/ v (- 1 m))) 1)) (- (/ m (/ v (- 1 m))) 1)) (* (* (- m) (- m)) (- m)))
491.0ms
(- (+ m (/ (pow m 3) v)) (/ (pow m 2) v))
480.0ms
(* (- (pow (/ m (/ v (- 1 m))) 3) (pow 1 3)) (- m))
331.0ms
(+ (* (* (- (pow (/ m (/ v (- 1 m))) 3) (pow 1 3)) 1) (+ (* (/ m (/ v (- 1 m))) (/ m (/ v (- 1 m)))) (+ (* 1 1) (* (/ m (/ v (- 1 m))) 1)))) (* (+ (* (/ m (/ v (- 1 m))) (/ m (/ v (- 1 m)))) (+ (* 1 1) (* (/ m (/ v (- 1 m))) 1))) (* (- (pow (/ m (/ v (- 1 m))) 3) (pow 1 3)) (- m))))

prune757.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

regimes72.0ms

Accuracy

0% (0.1b remaining)

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

bsearch3.0ms

end0.0ms

sample2.1s

Algorithm
intervals
Results
1.2s13510×body80valid
558.0ms13510×pre80true