Details

Time bar (total: 48.9s)

sample143.0ms

Algorithm
intervals
Results
70.0ms461×body80valid
18.0ms461×pre80true

simplify164.0ms

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

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

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

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
13×*-un-lft-identity associate-*l*
11×add-cube-cbrt
10×times-frac
8×add-cbrt-cube add-exp-log
7×add-log-exp
6×sub-neg
5×pow1 associate-*r*
4×distribute-rgt-in distribute-lft-in flip3-- associate--l+ flip--
3×insert-posit16
2×frac-times distribute-rgt-out-- diff-log prod-exp associate-*r/ cbrt-unprod difference-of-squares unswap-sqr
1×cbrt-undiv div-exp pow-prod-down associate-*l/ *-commutative div-inv
Counts
3 → 75
Calls
3 calls:
Slowest
19.0ms
(* (/ m v) (- m (* m m)))
18.0ms
(- (* (/ m v) (- m (* m m))) m)
5.0ms
(- m (* m m))

series156.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
62.0ms
(* (/ m v) (- m (* m m)))
61.0ms
(- m (* m m))
33.0ms
(- (* (/ m v) (- m (* m m))) m)

simplify4.0s

Counts
54 → 84
Calls
54 calls:
Slowest
337.0ms
(* m (- (* m m) (* (* m m) (* m m))))
267.0ms
(* m (- (pow m 3) (pow (* m m) 3)))
239.0ms
(+ (* m m) (+ (* (* m m) (* m m)) (* m (* m m))))
215.0ms
(- (/ (pow m 2) v) (/ (pow m 3) v))
215.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))

prune725.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 4 expressions with local error:

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

rewrite138.0ms

Algorithm
rewrite-expression-head
Rules
28×add-exp-log
22×add-sqr-sqrt
18×distribute-rgt-in distribute-lft-in add-cbrt-cube
16×*-un-lft-identity associate-*l*
13×prod-exp add-cube-cbrt
12×sub-neg
11×pow1 times-frac
9×associate-*r/
8×associate--l+ add-log-exp
7×cbrt-unprod
6×flip3-- associate-*r* flip--
4×frac-times div-exp pow-prod-down insert-posit16
3×unswap-sqr
2×cbrt-undiv rec-exp distribute-rgt-out-- diff-log 1-exp associate-*l/ *-commutative difference-of-squares
1×div-inv
Counts
4 → 118
Calls
4 calls:
Slowest
63.0ms
(- (* m (* (/ 1 v) (- m (* m m)))) m)
37.0ms
(* (/ 1 v) (- m (* m m)))
32.0ms
(* m (* (/ 1 v) (- m (* m m))))
5.0ms
(- m (* m m))

series211.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
64.0ms
(* m (* (/ 1 v) (- m (* m m))))
60.0ms
(* (/ 1 v) (- m (* m m)))
58.0ms
(- m (* m m))
29.0ms
(- (* m (* (/ 1 v) (- m (* m m)))) m)

simplify11.5s

Counts
90 → 130
Calls
90 calls:
Slowest
946.0ms
(* (* (* (/ 1 v) (/ 1 v)) (/ 1 v)) (* (* (- m (* m m)) (- m (* m m))) (- m (* m m))))
577.0ms
(+ (log m) (+ (log (/ 1 v)) (log (- m (* m m)))))
377.0ms
(* m (* (/ 1 v) (- m (* m m))))
335.0ms
(* (* (- (* m m)) (/ 1 v)) m)
327.0ms
(* m (* (/ 1 v) (- m (* m m))))

prune1.3s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

localize37.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (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))

rewrite99.0ms

Algorithm
rewrite-expression-head
Rules
54×sqrt-prod
49×add-sqr-sqrt
39×times-frac
36×*-un-lft-identity
35×add-cube-cbrt
32×associate-*l*
17×sqrt-div
13×pow1
11×frac-times add-cbrt-cube associate-*r/ add-exp-log
10×distribute-rgt-in distribute-lft-in
6×sub-neg flip3-- associate-*r* flip--
4×rem-sqrt-square pow-prod-down associate-*l/ prod-exp cbrt-unprod insert-posit16 div-inv add-log-exp
3×unswap-sqr
2×sqrt-pow1 pow1/2 *-commutative
1×distribute-rgt-out-- difference-of-squares
Counts
4 → 148
Calls
4 calls:
Slowest
51.0ms
(* (sqrt (/ m v)) (* (sqrt (/ m v)) (- m (* m m))))
41.0ms
(* (sqrt (/ m v)) (- m (* m m)))
2.0ms
(sqrt (/ m v))
2.0ms
(sqrt (/ m v))

series320.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
126.0ms
(* (sqrt (/ m v)) (- m (* m m)))
68.0ms
(sqrt (/ m v))
64.0ms
(* (sqrt (/ m v)) (* (sqrt (/ m v)) (- m (* m m))))
61.0ms
(sqrt (/ m v))

simplify9.3s

Counts
132 → 160
Calls
132 calls:
Slowest
757.0ms
(* (* (* (sqrt (/ m v)) (sqrt (/ m v))) (sqrt (/ m v))) (* (* (- m (* m m)) (- m (* m m))) (- m (* m m))))
544.0ms
(* (sqrt m) (* (sqrt (/ m v)) (- (pow m 3) (pow (* m m) 3))))
412.0ms
(* (sqrt m) (* (sqrt m) (- (pow m 3) (pow (* m m) 3))))
393.0ms
(* (sqrt v) (* (sqrt v) (+ (* m m) (+ (* (* m m) (* m m)) (* m (* m m))))))
372.0ms
(* (sqrt m) (- (pow m 3) (pow (* m m) 3)))

prune1.7s

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0.0b

localize48.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (sqrt (/ (sqrt m) (sqrt v))) (sqrt (/ (sqrt m) (sqrt v))))
0.4b
(/ (sqrt m) (sqrt v))
0.4b
(/ (sqrt m) (sqrt v))
0.2b
(* (sqrt (/ m v)) (- m (* m m)))

rewrite97.0ms

Algorithm
rewrite-expression-head
Rules
625×sqrt-prod
385×add-sqr-sqrt
330×times-frac
190×*-un-lft-identity
189×add-cube-cbrt
73×swap-sqr
59×associate-*l*
48×associate-*r*
39×unswap-sqr
21×pow1
12×associate-/r* add-cbrt-cube add-exp-log associate-/l*
8×sqrt-pow1 pow1/2
7×sqrt-div div-inv
5×pow-prod-up
4×pow-prod-down insert-posit16 add-log-exp
3×frac-times associate-*r/ pow-sqr
2×distribute-rgt-in cbrt-undiv sqrt-undiv clear-num sub-neg frac-2neg distribute-lft-in flip3-- div-exp associate-*l/ prod-exp *-commutative cbrt-unprod flip--
1×pow2 rem-square-sqrt pow-plus distribute-rgt-out-- sqrt-unprod difference-of-squares
Counts
4 → 393
Calls
4 calls:
Slowest
37.0ms
(* (sqrt (/ (sqrt m) (sqrt v))) (sqrt (/ (sqrt m) (sqrt v))))
28.0ms
(* (sqrt (/ m v)) (- m (* m m)))
6.0ms
(/ (sqrt m) (sqrt v))
5.0ms
(/ (sqrt m) (sqrt v))

series328.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
113.0ms
(* (sqrt (/ m v)) (- m (* m m)))
80.0ms
(/ (sqrt m) (sqrt v))
74.0ms
(* (sqrt (/ (sqrt m) (sqrt v))) (sqrt (/ (sqrt m) (sqrt v))))
61.0ms
(/ (sqrt m) (sqrt v))

simplify9.6s

Counts
557 → 405
Calls
557 calls:
Slowest
775.0ms
(* (* (* (sqrt (/ m v)) (sqrt (/ m v))) (sqrt (/ m v))) (* (* (- m (* m m)) (- m (* m m))) (- m (* m m))))
321.0ms
(* (sqrt m) (- (pow m 3) (pow (* m m) 3)))
243.0ms
(+ (* m m) (+ (* (* m m) (* m m)) (* m (* m m))))
216.0ms
(* (* (* (sqrt (/ (sqrt m) (sqrt v))) (sqrt (/ (sqrt m) (sqrt v)))) (sqrt (/ (sqrt m) (sqrt v)))) (* (* (sqrt (/ (sqrt m) (sqrt v))) (sqrt (/ (sqrt m) (sqrt v)))) (sqrt (/ (sqrt m) (sqrt v)))))
209.0ms
(* (sqrt v) (+ (* m m) (+ (* (* m m) (* m m)) (* m (* m m)))))

prune6.0s

Pruning

7 alts after pruning (3 fresh and 4 done)

Merged error: 0.0b

regimes102.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.8s

Algorithm
intervals
Results
1.8s13594×body80valid
607.0ms13594×pre80true