Details

Time bar (total: 22.0s)

sample259.0ms

Algorithm
intervals
Results
114.0ms429×body80valid
33.0ms429×pre80true

simplify378.0ms

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

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize15.0ms

Local error

Found 3 expressions with local error:

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

rewrite17.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
7.0ms
(- (* (/ m v) (- m (* m m))) m)
7.0ms
(* (/ m v) (- m (* m m)))
0.0ms
(- m (* m m))

series188.0ms

Calls
3 calls:
Slowest
82.0ms
(* (/ m v) (- m (* m m)))
58.0ms
(- m (* m m))
47.0ms
(- (* (/ m v) (- m (* m m))) m)

simplify2.4s

Calls
32 calls:
Slowest
283.0ms
(* v (+ (* m m) (+ (* (* m m) (* m m)) (* m (* m m)))))
237.0ms
(* m (- (* m m) (* (* m m) (* m m))))
158.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
156.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
146.0ms
(* m (- (pow m 3) (pow (* m m) 3)))

prune469.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite37.0ms

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

series188.0ms

Calls
4 calls:
Slowest
74.0ms
(* m (- 1 m))
52.0ms
(/ (* m (- 1 m)) v)
34.0ms
(* (- (/ (* m (- 1 m)) v) 1) m)
28.0ms
(- (/ (* m (- 1 m)) v) 1)

simplify2.5s

Calls
29 calls:
Slowest
408.0ms
(+ (sqrt (/ (* m (- 1 m)) v)) 1)
394.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) m)
156.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
155.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
148.0ms
(* (- (* (/ (* m (- 1 m)) v) (/ (* m (- 1 m)) v)) (* 1 1)) m)

prune533.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite20.0ms

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

series249.0ms

Calls
4 calls:
Slowest
69.0ms
(* m (- 1 m))
64.0ms
(* (- (/ 1 (/ v (* m (- 1 m)))) 1) m)
61.0ms
(/ 1 (/ v (* m (- 1 m))))
55.0ms
(/ v (* m (- 1 m)))

simplify2.7s

Calls
37 calls:
Slowest
466.0ms
(* (- (pow (/ 1 (/ v (* m (- 1 m)))) 3) (pow 1 3)) m)
262.0ms
(* (cbrt (- (/ 1 (/ v (* m (- 1 m)))) 1)) (cbrt (- (/ 1 (/ v (* m (- 1 m)))) 1)))
216.0ms
(+ (sqrt (/ 1 (/ v (* m (- 1 m))))) 1)
192.0ms
(* (- (* (/ 1 (/ v (* m (- 1 m)))) (/ 1 (/ v (* m (- 1 m))))) (* 1 1)) m)
184.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))

prune658.0ms

Pruning

10 alts after pruning (7 fresh and 3 done)

Merged error: 0b

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite34.0ms

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

series365.0ms

Calls
4 calls:
Slowest
153.0ms
(* (sqrt (/ m v)) (- m (* m m)))
80.0ms
(sqrt (/ m v))
73.0ms
(* (sqrt (/ m v)) (* (sqrt (/ m v)) (- m (* m m))))
57.0ms
(sqrt (/ m v))

simplify7.7s

Calls
84 calls:
Slowest
743.0ms
(* (* (* (sqrt (/ m v)) (sqrt (/ m v))) (sqrt (/ m v))) (* (* (- m (* m m)) (- m (* m m))) (- m (* m m))))
471.0ms
(* (sqrt m) (- (* m m) (* (* m m) (* m m))))
388.0ms
(* (sqrt m) (- (pow m 3) (pow (* m m) 3)))
369.0ms
(* (sqrt v) (+ (* m m) (+ (* (* m m) (* m m)) (* m (* m m)))))
366.0ms
(* (sqrt v) (+ (* m m) (+ (* (* m m) (* m m)) (* m (* m m)))))

prune1.1s

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0b

regimes112.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.2s

Algorithm
intervals
Results
1.3s13734×body80valid
617.0ms13734×pre80true