Details

Time bar (total: 39.6s)

sample178.0ms

Algorithm
intervals
Results
60.0ms454×pre80true
39.0ms454×body80valid

simplify409.0ms

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

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize35.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)

rewrite38.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
12.0ms
(* (/ m v) (- m (* m m)))
12.0ms
(- (* (/ m v) (- m (* m m))) m)
1.0ms
(- m (* m m))

series118.0ms

Calls
3 calls:
Slowest
55.0ms
(* (/ m v) (- m (* m m)))
35.0ms
(- m (* m m))
28.0ms
(- (* (/ m v) (- m (* m m))) m)

simplify2.7s

Calls
32 calls:
Slowest
394.0ms
(* v (+ (* m m) (+ (* (* m m) (* m m)) (* m (* m m)))))
226.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
220.0ms
(* m (- (* m m) (* (* m m) (* m m))))
193.0ms
(* m (- (pow m 3) (pow (* m m) 3)))
191.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))

prune534.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize20.0ms

Local error

Found 4 expressions with local error:

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

rewrite47.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
32.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))

series186.0ms

Calls
4 calls:
Slowest
73.0ms
(* (sqrt (/ m v)) (- m (* m m)))
41.0ms
(* (sqrt (/ m v)) (* (sqrt (/ m v)) (- m (* m m))))
39.0ms
(sqrt (/ m v))
32.0ms
(sqrt (/ m v))

simplify7.9s

Calls
84 calls:
Slowest
718.0ms
(* (* (* (sqrt (/ m v)) (sqrt (/ m v))) (sqrt (/ m v))) (* (* (- m (* m m)) (- m (* m m))) (- m (* m m))))
468.0ms
(* (sqrt m) (- (* m m) (* (* m m) (* m m))))
462.0ms
(* (sqrt v) (+ (* m m) (+ (* (* m m) (* m m)) (* m (* m m)))))
410.0ms
(* (sqrt m) (- (pow m 3) (pow (* m m) 3)))
376.0ms
(* (sqrt v) (+ (* m m) (+ (* (* m m) (* m m)) (* m (* m m)))))

prune1.1s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize8.0ms

Local error

Found 4 expressions with local error:

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

rewrite15.0ms

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

series110.0ms

Calls
4 calls:
Slowest
42.0ms
(* m (- m (* m m)))
29.0ms
(/ (* m (- m (* m m))) v)
20.0ms
(- m (* m m))
19.0ms
(- (/ (* m (- m (* m m))) v) m)

simplify1.4s

Calls
23 calls:
Slowest
219.0ms
(* m (- (* m m) (* (* m m) (* m m))))
211.0ms
(* m (- (pow m 3) (pow (* m m) 3)))
165.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
134.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
117.0ms
(+ (* m m) (+ (* (* m m) (* m m)) (* m (* m m))))

prune472.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

localize8.0ms

Local error

Found 4 expressions with local error:

14.7b
(sqrt (* (/ m v) (- m (* m m))))
14.7b
(sqrt (* (/ m v) (- m (* m m))))
0.3b
(* (sqrt (* (/ m v) (- m (* m m)))) (sqrt (* (/ m v) (- m (* m m)))))
0.2b
(* (/ m v) (- m (* m m)))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
70×sqrt-div
55×frac-times
35×associate-*r/
30×flip3-- flip--
20×associate-*l/
11×pow1
8×add-sqr-sqrt *-un-lft-identity add-cbrt-cube associate-*l* add-exp-log add-cube-cbrt
7×associate-*r*
6×pow1/2
4×sqrt-prod insert-posit16 add-log-exp
3×pow-prod-down
2×distribute-rgt-in sub-neg distribute-lft-in prod-exp *-commutative pow-prod-up cbrt-unprod
1×pow2 rem-square-sqrt pow-plus sqrt-unprod div-inv
Calls
4 calls:
Slowest
12.0ms
(* (sqrt (* (/ m v) (- m (* m m)))) (sqrt (* (/ m v) (- m (* m m)))))
5.0ms
(* (/ m v) (- m (* m m)))
1.0ms
(sqrt (* (/ m v) (- m (* m m))))
1.0ms
(sqrt (* (/ m v) (- m (* m m))))

series188.0ms

Calls
4 calls:
Slowest
59.0ms
(sqrt (* (/ m v) (- m (* m m))))
48.0ms
(* (sqrt (* (/ m v) (- m (* m m)))) (sqrt (* (/ m v) (- m (* m m)))))
42.0ms
(sqrt (* (/ m v) (- m (* m m))))
38.0ms
(* (/ m v) (- m (* m m)))

simplify20.1s

Calls
122 calls:
Slowest
778.0ms
(* (* (* (sqrt (* (/ m v) (- m (* m m)))) (sqrt (* (/ m v) (- m (* m m))))) (sqrt (* (/ m v) (- m (* m m))))) (* (* (sqrt (* (/ m v) (- m (* m m)))) (sqrt (* (/ m v) (- m (* m m))))) (sqrt (* (/ m v) (- m (* m m))))))
583.0ms
(sqrt (* (/ m v) (- (* m m) (* (* m m) (* m m)))))
549.0ms
(* (sqrt (* (/ m v) (- (pow m 3) (pow (* m m) 3)))) (sqrt (* (/ m v) (- (pow m 3) (pow (* m m) 3)))))
454.0ms
(sqrt (* (/ m v) (- (pow m 3) (pow (* m m) 3))))
450.0ms
(* (sqrt (* v (+ (* m m) (+ (* (* m m) (* m m)) (* m (* m m)))))) (sqrt (+ (* m m) (+ (* (* m m) (* m m)) (* m (* m m))))))

prune1.4s

Pruning

6 alts after pruning (2 fresh and 4 done)

Merged error: 0b

regimes86.0ms

Accuracy

0% (0.1b remaining)

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

bsearch2.0ms

end0.0ms

sample2.4s

Algorithm
intervals
Results
1.2s13662×body80valid
1.0s13662×pre80true