Details

Time bar (total: 18.7s)

sample297.0ms

Algorithm
intervals
Results
97.0ms427×body80valid
50.0ms427×pre80true

simplify206.0ms

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

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize32.0ms

Local error

Found 3 expressions with local error:

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

rewrite26.0ms

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

series71.0ms

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

simplify2.8s

Calls
32 calls:
Slowest
345.0ms
(* v (+ (* m m) (+ (* (* m m) (* m m)) (* m (* m m)))))
285.0ms
(* (/ m v) (- m (* m m)))
220.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
211.0ms
(* m (- (* m m) (* (* m m) (* m m))))
195.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))

prune563.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
8×*-un-lft-identity
6×add-sqr-sqrt add-cube-cbrt add-log-exp
5×associate-*l* associate-*r/
4×pow1 add-cbrt-cube associate-*r* associate-*l/ add-exp-log insert-posit16
3×flip3-- div-inv flip--
2×sub-neg distribute-rgt-out-- *-commutative frac-sub distribute-lft-out-- sub-div
1×diff-log
Calls
4 calls:
Slowest
17.0ms
(* (- (/ m v) (* m (/ m v))) m)
10.0ms
(- (* (- (/ m v) (* m (/ m v))) m) m)
7.0ms
(- (/ m v) (* m (/ m v)))
2.0ms
(* m (/ m v))

series66.0ms

Calls
4 calls:
Slowest
20.0ms
(* (- (/ m v) (* m (/ m v))) m)
18.0ms
(- (/ m v) (* m (/ m v)))
15.0ms
(- (* (- (/ m v) (* m (/ m v))) m) m)
12.0ms
(* m (/ m v))

simplify1.9s

Calls
30 calls:
Slowest
385.0ms
(* (- (pow (/ m v) 3) (pow (* m (/ m v)) 3)) m)
193.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
190.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
175.0ms
(* (- (* (/ m v) (/ m v)) (* (* m (/ m v)) (* m (/ m v)))) m)
165.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))

prune582.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 3 expressions with local error:

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

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
7×associate-*l* associate-*l/
5×add-sqr-sqrt pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
4×flip3-- flip--
3×insert-posit16 add-log-exp
2×frac-times associate-*r/ *-commutative
1×sub-neg associate-*r* pow-prod-down prod-exp cbrt-unprod div-inv
Calls
3 calls:
Slowest
17.0ms
(- (* (/ m v) (* (- 1 m) m)) m)
9.0ms
(* (/ m v) (* (- 1 m) m))
6.0ms
(* (- 1 m) m)

series91.0ms

Calls
3 calls:
Slowest
34.0ms
(* (/ m v) (* (- 1 m) m))
32.0ms
(* (- 1 m) m)
25.0ms
(- (* (/ m v) (* (- 1 m) m)) m)

simplify1.9s

Calls
25 calls:
Slowest
249.0ms
(* (/ m v) (* (- 1 m) m))
217.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
174.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
147.0ms
(* (* (* (/ m v) (/ m v)) (/ m v)) (* (* (* (- 1 m) m) (* (- 1 m) m)) (* (- 1 m) m)))
144.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))

prune517.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
17×sqrt-div
16×associate-*l/ sqrt-prod
14×associate-*l*
12×add-sqr-sqrt
11×frac-times pow1 add-cbrt-cube associate-*r/ add-exp-log
10×*-un-lft-identity add-cube-cbrt
6×flip3-- flip--
4×pow-prod-down prod-exp cbrt-unprod insert-posit16 div-inv add-log-exp
2×rem-sqrt-square pow1/2 associate-*r* *-commutative
Calls
4 calls:
Slowest
40.0ms
(* (sqrt (/ m v)) (* (sqrt (/ m v)) (* (- 1 m) m)))
10.0ms
(* (sqrt (/ m v)) (* (- 1 m) m))
1.0ms
(sqrt (/ m v))
0.0ms
(sqrt (/ m v))

series150.0ms

Calls
4 calls:
Slowest
50.0ms
(* (sqrt (/ m v)) (* (- 1 m) m))
39.0ms
(sqrt (/ m v))
38.0ms
(sqrt (/ m v))
23.0ms
(* (sqrt (/ m v)) (* (sqrt (/ m v)) (* (- 1 m) m)))

simplify5.6s

Calls
69 calls:
Slowest
483.0ms
(* (sqrt m) (* (sqrt (/ m v)) (* (- (pow 1 3) (pow m 3)) m)))
474.0ms
(* (sqrt v) (* (sqrt v) (+ (* 1 1) (+ (* m m) (* 1 m)))))
370.0ms
(* (sqrt m) (* (sqrt m) (* (- (* 1 1) (* m m)) m)))
340.0ms
(* (sqrt (/ m v)) (* (sqrt (/ m v)) (* (- 1 m) m)))
328.0ms
(* (sqrt m) (* (sqrt m) (* (- (pow 1 3) (pow m 3)) m)))

prune961.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0b

regimes138.0ms

Accuracy

0% (0.2b remaining)

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

bsearch1.0ms

end0.0ms

sample2.5s

Algorithm
intervals
Results
1.6s13510×body80valid
624.0ms13510×pre80true