Details

Time bar (total: 1.5m)

sample137.0ms

Algorithm
intervals
Results
31.0ms429×body80valid
15.0ms429×pre80true

simplify386.0ms

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

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize23.0ms

Local error

Found 3 expressions with local error:

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

rewrite94.0ms

Algorithm
rewrite-expression-head
Rules
47×add-sqr-sqrt
42×*-un-lft-identity
36×prod-diff
33×add-cube-cbrt
22×distribute-rgt-in distribute-lft-in
12×add-cbrt-cube associate-*r* add-exp-log
10×associate-*l*
8×flip3-- flip--
7×pow1
6×associate-*r/ difference-of-squares
4×frac-times sub-neg
3×expm1-log1p-u associate-/r* times-frac prod-exp cbrt-unprod insert-posit16 log1p-expm1-u distribute-lft-out-- add-log-exp
2×cbrt-undiv div-exp pow-prod-down associate-*l/ *-commutative unswap-sqr associate-/l/
1×clear-num frac-2neg difference-of-sqr-1 div-inv associate-/l*
Counts
3 → 132
Calls
3 calls:
Slowest
62.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))
15.0ms
(* m (- 1 m))
14.0ms
(/ (* m (- 1 m)) v)

series208.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
77.0ms
(* m (- 1 m))
71.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))
60.0ms
(/ (* m (- 1 m)) v)

simplify17.9s

Counts
110 → 141
Calls
110 calls:
Slowest
872.0ms
(* (- (/ (* m (- 1 m)) v) 1) (fma (- (sqrt m)) (sqrt m) (* (sqrt m) (sqrt m))))
860.0ms
(* (* (* (- (/ (* m (- 1 m)) v) 1) (- (/ (* m (- 1 m)) v) 1)) (- (/ (* m (- 1 m)) v) 1)) (* (* (- 1 m) (- 1 m)) (- 1 m)))
717.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- (* 1 1) (* m m)))
663.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- 1 m))
637.0ms
(* (+ (/ (* m (- 1 m)) v) 1) (+ 1 m))

prune1.3s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize34.0ms

Local error

Found 4 expressions with local error:

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

rewrite131.0ms

Algorithm
rewrite-expression-head
Rules
126×prod-diff
96×add-sqr-sqrt
93×*-un-lft-identity
90×add-cube-cbrt
69×distribute-rgt-in distribute-lft-in
60×times-frac
46×associate-+l+ associate-+r+
20×div-inv
16×add-cbrt-cube add-exp-log
14×associate-*r/
10×associate-*l*
7×flip3-- associate-*r* flip--
6×pow1 associate-/r* sub-neg add-log-exp
4×expm1-log1p-u cbrt-undiv div-exp frac-add insert-posit16 log1p-expm1-u associate-/l/
3×distribute-lft-neg-out distribute-lft-neg-in distribute-rgt-neg-in prod-exp cbrt-unprod
2×clear-num frac-2neg associate-/l* difference-of-squares
1×+-commutative neg-mul-1 sum-log fma-def flip3-+ distribute-rgt-out difference-of-sqr-1 unsub-neg pow-prod-down *-commutative flip-+ distribute-lft-out-- unswap-sqr
Counts
4 → 247
Calls
4 calls:
Slowest
66.0ms
(* (- m) (- (/ (* m (- 1 m)) v) 1))
26.0ms
(+ (* 1 (- (/ (* m (- 1 m)) v) 1)) (* (- m) (- (/ (* m (- 1 m)) v) 1)))
20.0ms
(/ (* m (- 1 m)) v)
14.0ms
(/ (* m (- 1 m)) v)

series197.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
57.0ms
(+ (* 1 (- (/ (* m (- 1 m)) v) 1)) (* (- m) (- (/ (* m (- 1 m)) v) 1)))
57.0ms
(/ (* m (- 1 m)) v)
51.0ms
(/ (* m (- 1 m)) v)
31.0ms
(* (- m) (- (/ (* m (- 1 m)) v) 1))

simplify24.7s

Counts
213 → 259
Calls
213 calls:
Slowest
727.0ms
(* (fma (/ m (sqrt v)) (/ (- 1 m) (sqrt v)) (- (* 1 1))) 1)
458.0ms
(- (+ m (/ (pow m 3) v)) (/ (pow m 2) v))
442.0ms
(+ (* (* 1 (- (* (/ (* m (- 1 m)) v) (/ (* m (- 1 m)) v)) (* 1 1))) (+ (* (/ (* m (- 1 m)) v) (/ (* m (- 1 m)) v)) (+ (* 1 1) (* (/ (* m (- 1 m)) v) 1)))) (* (+ (/ (* m (- 1 m)) v) 1) (* (- m) (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)))))
433.0ms
(* 1 (fma (/ m (sqrt v)) (/ (- 1 m) (sqrt v)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))
412.0ms
(+ (* (* 1 (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3))) (+ (* (/ (* m (- 1 m)) v) (/ (* m (- 1 m)) v)) (+ (* 1 1) (* (/ (* m (- 1 m)) v) 1)))) (* (+ (* (/ (* m (- 1 m)) v) (/ (* m (- 1 m)) v)) (+ (* 1 1) (* (/ (* m (- 1 m)) v) 1))) (* (- m) (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)))))

prune2.7s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize37.0ms

Local error

Found 4 expressions with local error:

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

rewrite220.0ms

Algorithm
rewrite-expression-head
Rules
267×times-frac
207×add-sqr-sqrt
199×*-un-lft-identity
192×prod-diff
190×add-cube-cbrt
98×distribute-rgt-in distribute-lft-in
53×associate-/r/
50×associate-*r/
37×add-exp-log
32×div-inv
25×flip3-- add-cbrt-cube flip--
16×div-exp
14×associate-*r*
13×associate-/r*
10×associate-*l*
9×cbrt-undiv
7×pow1 associate-/l*
6×prod-exp difference-of-squares
4×expm1-log1p-u cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
3×distribute-lft-neg-in rec-exp clear-num distribute-rgt-neg-in frac-2neg 1-exp difference-of-sqr-1
2×sub-neg distribute-lft-out-- associate-/l/
1×distribute-lft-neg-out neg-mul-1 pow-prod-down *-commutative pow-flip inv-pow unswap-sqr
Counts
4 → 357
Calls
4 calls:
Slowest
154.0ms
(* (- m) (- (/ 1 (/ v (* m (- 1 m)))) 1))
28.0ms
(/ (* m (- 1 m)) v)
16.0ms
(/ 1 (/ v (* m (- 1 m))))
9.0ms
(/ v (* m (- 1 m)))

series216.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
69.0ms
(/ 1 (/ v (* m (- 1 m))))
59.0ms
(/ (* m (- 1 m)) v)
56.0ms
(/ v (* m (- 1 m)))
31.0ms
(* (- m) (- (/ 1 (/ v (* m (- 1 m)))) 1))

simplify25.6s

Counts
342 → 369
Calls
342 calls:
Slowest
563.0ms
(* (* (* (- m) (- m)) (- m)) (* (* (- (/ 1 (/ v (* m (- 1 m)))) 1) (- (/ 1 (/ v (* m (- 1 m)))) 1)) (- (/ 1 (/ v (* m (- 1 m)))) 1)))
458.0ms
(/ (sqrt 1) (/ v (* m (- (* 1 1) (* m m)))))
448.0ms
(- (+ m (/ (pow m 3) v)) (/ (pow m 2) v))
385.0ms
(- (+ m (/ (pow m 3) v)) (/ (pow m 2) v))
378.0ms
(- (+ m (/ (pow m 3) v)) (/ (pow m 2) v))

prune4.8s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize45.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (sqrt m) (sqrt m))
0.1b
(* (fma 1 1 (- (* (sqrt m) (sqrt m)))) (- (/ (* m (- 1 m)) v) 1))
0.0b
(/ (* m (- 1 m)) v)
0.0b
(* m (- 1 m))

rewrite146.0ms

Algorithm
rewrite-expression-head
Rules
79×add-sqr-sqrt
62×*-un-lft-identity
60×prod-diff
56×add-cube-cbrt
34×distribute-rgt-in distribute-lft-in
23×pow1
21×times-frac
19×associate-*r*
18×sqrt-prod
15×add-cbrt-cube add-exp-log
12×associate-*l*
8×sqrt-pow1 pow1/2 swap-sqr
7×div-inv
6×associate-*r/ unswap-sqr
5×pow-prod-down pow-prod-up
4×expm1-log1p-u sub-neg prod-exp cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp difference-of-squares
3×associate-/r* flip3-- pow-sqr *-commutative flip--
2×cbrt-undiv div-exp distribute-lft-out-- associate-/l/
1×pow2 clear-num rem-square-sqrt frac-2neg pow-plus sqrt-unprod difference-of-sqr-1 associate-/l*
Counts
4 → 199
Calls
4 calls:
Slowest
63.0ms
(* (fma 1 1 (- (* (sqrt m) (sqrt m)))) (- (/ (* m (- 1 m)) v) 1))
31.0ms
(* m (- 1 m))
29.0ms
(/ (* m (- 1 m)) v)
17.0ms
(* (sqrt m) (sqrt m))

series259.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
94.0ms
(* (fma 1 1 (- (* (sqrt m) (sqrt m)))) (- (/ (* m (- 1 m)) v) 1))
75.0ms
(* m (- 1 m))
60.0ms
(/ (* m (- 1 m)) v)
29.0ms
(* (sqrt m) (sqrt m))

simplify8.7s

Counts
178 → 211
Calls
178 calls:
Slowest
397.0ms
(* (fma 1 1 (- (* (sqrt m) (sqrt m)))) (- (/ (* m (- 1 m)) v) 1))
304.0ms
(+ (* (/ (* m (- 1 m)) v) (/ (* m (- 1 m)) v)) (+ (* 1 1) (* (/ (* m (- 1 m)) v) 1)))
279.0ms
(- (+ m (/ (pow m 3) v)) (* 2 (/ (pow m 2) v)))
259.0ms
(/ (* (* (* m (- 1 m)) (* m (- 1 m))) (* m (- 1 m))) (* (* v v) v))
250.0ms
(* (* (* m m) m) (* (* (- 1 m) (- 1 m)) (- 1 m)))

prune2.4s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

regimes128.0ms

Accuracy

0% (0.1b remaining)

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

bsearch5.0ms

end0.0ms

sample2.5s

Algorithm
intervals
Results
1.5s13767×body80valid
639.0ms13767×pre80true