Details

Time bar (total: 3.4m)

sample197.0ms

Algorithm
intervals
Results
46.0ms420×body80valid
23.0ms420×pre80true

simplify486.0ms

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

prune17.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite205.0ms

Algorithm
rewrite-expression-head
Rules
67×add-sqr-sqrt
61×*-un-lft-identity
57×prod-diff
49×add-cube-cbrt
22×distribute-rgt-in distribute-lft-in
19×add-exp-log
15×times-frac
13×add-cbrt-cube
12×associate-*r*
10×associate-*l*
9×flip3-- flip--
8×pow1 difference-of-squares
7×fma-neg
6×associate-*r/ add-log-exp
5×sub-neg div-inv
4×expm1-log1p-u frac-times div-exp prod-exp insert-posit16 log1p-expm1-u distribute-lft-out--
3×expm1-def associate-/r* cbrt-unprod
2×cbrt-undiv difference-of-sqr-1 pow-prod-down associate-*l/ *-commutative unswap-sqr associate-/l/
1×clear-num frac-2neg diff-log associate-/l*
Counts
4 → 182
Calls
4 calls:
Slowest
130.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))
30.0ms
(/ (* m (- 1 m)) v)
22.0ms
(* m (- 1 m))
18.0ms
(- (/ (* m (- 1 m)) v) 1)

series221.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
73.0ms
(* m (- 1 m))
63.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))
55.0ms
(/ (* m (- 1 m)) v)
29.0ms
(- (/ (* m (- 1 m)) v) 1)

simplify25.2s

Counts
171 → 194
Calls
171 calls:
Slowest
828.0ms
(* (- (/ (* m (- 1 m)) v) 1) (fma (- (sqrt m)) (sqrt m) (* (sqrt m) (sqrt m))))
824.0ms
(* (* (* (- (/ (* m (- 1 m)) v) 1) (- (/ (* m (- 1 m)) v) 1)) (- (/ (* m (- 1 m)) v) 1)) (* (* (- 1 m) (- 1 m)) (- 1 m)))
677.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- (* 1 1) (* m m)))
629.0ms
(* (+ (/ (* m (- 1 m)) v) 1) (+ 1 m))
629.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- 1 m))

prune1.7s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite274.0ms

Algorithm
rewrite-expression-head
Rules
684×times-frac
594×add-sqr-sqrt
560×*-un-lft-identity
391×add-cube-cbrt
249×prod-diff
118×difference-of-squares
77×fma-neg
55×distribute-lft-out--
39×associate-/r/
30×associate-/r*
24×flip3-- flip--
22×div-inv
19×add-exp-log
13×add-cbrt-cube associate-*l*
11×distribute-rgt-in distribute-lft-in
7×div-exp
6×pow1 difference-of-sqr-1 associate-*r* associate-/l* add-log-exp
4×expm1-log1p-u frac-times cbrt-undiv insert-posit16 log1p-expm1-u
3×expm1-def sub-neg
2×clear-num frac-2neg associate-*l/ associate-*r/
1×diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 561
Calls
4 calls:
Slowest
168.0ms
(* (- (/ m (/ v (- 1 m))) 1) (- 1 m))
50.0ms
(- (/ m (/ v (- 1 m))) 1)
20.0ms
(/ m (/ v (- 1 m)))
10.0ms
(/ v (- 1 m))

series150.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
49.0ms
(/ m (/ v (- 1 m)))
45.0ms
(* (- (/ m (/ v (- 1 m))) 1) (- 1 m))
38.0ms
(/ v (- 1 m))
17.0ms
(- (/ m (/ v (- 1 m))) 1)

simplify2.0m

Counts
848 → 573
Calls
848 calls:
Slowest
1.0s
(fma (/ (* (cbrt m) (cbrt m)) (/ (* (cbrt v) (cbrt v)) (+ 1 (sqrt m)))) (/ (cbrt m) (/ (cbrt v) (- 1 (sqrt m)))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
807.0ms
(* (+ (/ m (/ v (- 1 m))) 1) (+ 1 m))
796.0ms
(fma (/ 1 (/ (sqrt v) (sqrt (- 1 m)))) (/ m (/ (sqrt v) (sqrt (- 1 m)))) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
774.0ms
(* (- (pow (/ m (/ v (- 1 m))) 3) (pow 1 3)) (- 1 m))
697.0ms
(* (- (pow (/ m (/ v (- 1 m))) 3) (pow 1 3)) (- (* 1 1) (* m m)))

prune5.6s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize31.0ms

Local error

Found 4 expressions with local error:

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

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
43×add-sqr-sqrt
41×*-un-lft-identity
36×prod-diff
31×add-cube-cbrt
12×sqrt-prod
11×distribute-rgt-in distribute-lft-in
6×pow1 add-cbrt-cube associate-*r* add-exp-log add-log-exp difference-of-squares
4×expm1-log1p-u frac-times flip3-- associate-*l* insert-posit16 log1p-expm1-u flip--
3×sub-neg flip3-+ fma-neg flip-+ distribute-lft-out--
2×associate-*l/ associate-*r/ fma-udef
1×diff-log pow-prod-down prod-exp *-commutative cbrt-unprod distribute-lft-out unswap-sqr
Counts
4 → 119
Calls
4 calls:
Slowest
41.0ms
(* (+ (fma (fma (/ m v) (sqrt m) (/ m v)) (- 1 (sqrt m)) -1) 0) (- 1 m))
12.0ms
(- 1 (sqrt m))
0.0ms
(fma (fma (/ m v) (sqrt m) (/ m v)) (- 1 (sqrt m)) -1)
0.0ms
(fma (/ m v) (sqrt m) (/ m v))

series273.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
92.0ms
(fma (fma (/ m v) (sqrt m) (/ m v)) (- 1 (sqrt m)) -1)
75.0ms
(* (+ (fma (fma (/ m v) (sqrt m) (/ m v)) (- 1 (sqrt m)) -1) 0) (- 1 m))
69.0ms
(fma (/ m v) (sqrt m) (/ m v))
37.0ms
(- 1 (sqrt m))

simplify15.5s

Counts
109 → 131
Calls
109 calls:
Slowest
1.3s
(* (+ (* (fma (fma (/ m v) (sqrt m) (/ m v)) (- 1 (sqrt m)) -1) (fma (fma (/ m v) (sqrt m) (/ m v)) (- 1 (sqrt m)) -1)) (- (* 0 0) (* (fma (fma (/ m v) (sqrt m) (/ m v)) (- 1 (sqrt m)) -1) 0))) (+ (* 1 1) (+ (* m m) (* 1 m))))
700.0ms
(* (- (fma (fma (/ m v) (sqrt m) (/ m v)) (- 1 (sqrt m)) -1) 0) (+ (* 1 1) (+ (* m m) (* 1 m))))
687.0ms
(* (+ (pow (fma (fma (/ m v) (sqrt m) (/ m v)) (- 1 (sqrt m)) -1) 3) (pow 0 3)) (- (* 1 1) (* m m)))
576.0ms
(* (+ (pow (fma (fma (/ m v) (sqrt m) (/ m v)) (- 1 (sqrt m)) -1) 3) (pow 0 3)) (- 1 m))
487.0ms
(* (- (* (fma (fma (/ m v) (sqrt m) (/ m v)) (- 1 (sqrt m)) -1) (fma (fma (/ m v) (sqrt m) (/ m v)) (- 1 (sqrt m)) -1)) (* 0 0)) (- (pow 1 3) (pow m 3)))

prune1.7s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
162×times-frac
147×add-sqr-sqrt
145×*-un-lft-identity
94×add-cube-cbrt
34×difference-of-squares
30×associate-/r*
19×add-exp-log
18×prod-diff
17×distribute-lft-out--
13×add-cbrt-cube
11×distribute-rgt-in distribute-lft-in associate-/r/
8×div-exp
7×pow1
6×flip3-- associate-*r* div-inv flip-- associate-/l*
4×expm1-log1p-u cbrt-undiv insert-posit16 log1p-expm1-u add-log-exp
3×associate-*l*
2×rec-exp clear-num sub-neg frac-2neg 1-exp associate-*r/
1×pow-prod-down prod-exp *-commutative cbrt-unprod fma-udef pow-flip inv-pow unswap-sqr
Counts
4 → 226
Calls
4 calls:
Slowest
28.0ms
(* (fma m (/ 1 (/ v (- 1 m))) (- 1)) (- 1 m))
23.0ms
(/ 1 (/ v (- 1 m)))
8.0ms
(/ v (- 1 m))
0.0ms
(fma m (/ 1 (/ v (- 1 m))) (- 1))

series163.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
59.0ms
(* (fma m (/ 1 (/ v (- 1 m))) (- 1)) (- 1 m))
43.0ms
(/ 1 (/ v (- 1 m)))
35.0ms
(/ v (- 1 m))
26.0ms
(fma m (/ 1 (/ v (- 1 m))) (- 1))

simplify23.9s

Counts
275 → 238
Calls
275 calls:
Slowest
992.0ms
(* (* (* (fma m (/ 1 (/ v (- 1 m))) (- 1)) (fma m (/ 1 (/ v (- 1 m))) (- 1))) (fma m (/ 1 (/ v (- 1 m))) (- 1))) (* (* (- 1 m) (- 1 m)) (- 1 m)))
588.0ms
(* (- m) (fma m (/ 1 (/ v (- 1 m))) (- 1)))
518.0ms
(* (- m) (fma m (/ 1 (/ v (- 1 m))) (- 1)))
463.0ms
(* (fma m (/ 1 (/ v (- 1 m))) (- 1)) (- 1 m))
461.0ms
(/ 1 (/ v (- (* 1 1) (* m m))))

prune2.4s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

regimes168.0ms

Accuracy

0% (0.1b remaining)

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

bsearch2.0ms

end0.0ms

sample2.2s

Algorithm
intervals
Results
1.3s13648×body80valid
604.0ms13648×pre80true