Details

Time bar (total: 4.5m)

sample143.0ms

Algorithm
intervals
Results
61.0ms451×body80valid
15.0ms451×pre80true

simplify488.0ms

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

prune69.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize44.0ms

Local error

Found 3 expressions with local error:

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

rewrite113.0ms

Algorithm
rewrite-expression-head
Rules
126×add-sqr-sqrt
118×*-un-lft-identity
117×prod-diff
114×add-cube-cbrt
92×times-frac
41×distribute-rgt-in distribute-lft-in
13×fma-neg
10×div-inv
6×associate-*r*
5×pow1 add-cbrt-cube add-exp-log add-log-exp
4×difference-of-squares
3×expm1-log1p-u sub-neg associate-*l* insert-posit16 log1p-expm1-u
2×flip3-- associate-*r/ fma-udef flip-- distribute-lft-out--
1×diff-log pow-prod-down prod-exp *-commutative cbrt-unprod associate--r+ unswap-sqr
Counts
3 → 190
Calls
3 calls:
Slowest
47.0ms
(* m (- (/ m v) (fma m (/ m v) 1)))
19.0ms
(- (/ m v) (fma m (/ m v) 1))
0.0ms
(fma m (/ m v) 1)

series378.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
204.0ms
(* m (- (/ m v) (fma m (/ m v) 1)))
93.0ms
(fma m (/ m v) 1)
80.0ms
(- (/ m v) (fma m (/ m v) 1))

simplify46.6s

Counts
201 → 199
Calls
201 calls:
Slowest
751.0ms
(fma (/ 1 (* (cbrt v) (cbrt v))) (/ m (cbrt v)) (- (* (fma m (/ m v) 1) 1)))
730.0ms
(* (* (* m m) m) (* (* (- (/ m v) (fma m (/ m v) 1)) (- (/ m v) (fma m (/ m v) 1))) (- (/ m v) (fma m (/ m v) 1))))
693.0ms
(* m (fma (- (cbrt (fma m (/ m v) 1))) (* (cbrt (fma m (/ m v) 1)) (cbrt (fma m (/ m v) 1))) (* (cbrt (fma m (/ m v) 1)) (* (cbrt (fma m (/ m v) 1)) (cbrt (fma m (/ m v) 1))))))
527.0ms
(+ (* (/ m v) (/ m v)) (+ (* (fma m (/ m v) 1) (fma m (/ m v) 1)) (* (/ m v) (fma m (/ m v) 1))))
518.0ms
(fma (/ (* (cbrt m) (cbrt m)) (* (cbrt v) (cbrt v))) (/ (cbrt m) (cbrt v)) (- (* (fma m (/ m v) 1) 1)))

prune1.9s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0b

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite140.0ms

Algorithm
rewrite-expression-head
Rules
52×add-sqr-sqrt
46×*-un-lft-identity
39×prod-diff
37×add-cube-cbrt
19×add-exp-log
15×times-frac
13×add-cbrt-cube
11×distribute-rgt-in distribute-lft-in
10×associate-*l*
9×associate-*r*
8×pow1
7×fma-neg
6×add-log-exp difference-of-squares
5×div-inv
4×expm1-log1p-u flip3-- div-exp prod-exp associate-*r/ insert-posit16 log1p-expm1-u flip--
3×expm1-def associate-/r* sub-neg cbrt-unprod distribute-lft-out--
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 → 151
Calls
4 calls:
Slowest
70.0ms
(* (- (/ (* m (- 1 m)) v) 1) m)
29.0ms
(/ (* m (- 1 m)) v)
20.0ms
(- (/ (* m (- 1 m)) v) 1)
17.0ms
(* m (- 1 m))

series160.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
54.0ms
(* m (- 1 m))
43.0ms
(/ (* m (- 1 m)) v)
43.0ms
(* (- (/ (* m (- 1 m)) v) 1) m)
19.0ms
(- (/ (* m (- 1 m)) v) 1)

simplify11.9s

Counts
135 → 163
Calls
135 calls:
Slowest
467.0ms
(* (* (* (- (/ (* m (- 1 m)) v) 1) (- (/ (* m (- 1 m)) v) 1)) (- (/ (* m (- 1 m)) v) 1)) (* (* m m) m))
461.0ms
(fma (/ m (* (cbrt v) (cbrt v))) (/ (- 1 m) (cbrt v)) (- (* (sqrt 1) (sqrt 1))))
447.0ms
(fma (/ m (* (cbrt v) (cbrt v))) (/ (- 1 m) (cbrt v)) (- (* 1 1)))
420.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) m)
370.0ms
(fma (/ m (sqrt v)) (/ (- 1 m) (sqrt v)) (- (* (sqrt 1) (sqrt 1))))

prune1.4s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite138.0ms

Algorithm
rewrite-expression-head
Rules
57×add-sqr-sqrt
50×*-un-lft-identity
37×times-frac
29×add-cube-cbrt
25×associate-*r*
19×add-exp-log
14×difference-of-squares
13×add-cbrt-cube
8×pow1
7×distribute-lft-out--
6×associate-*l* associate-/l* add-log-exp
5×prod-exp
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×expm1-def associate-/r* flip3-- div-exp prod-diff cbrt-unprod flip-- unswap-sqr
2×cbrt-undiv pow-prod-down associate-*l/ *-commutative div-inv associate-/l/
1×clear-num sub-neg frac-2neg fma-neg diff-log div-sub associate-*r/
Counts
4 → 134
Calls
4 calls:
Slowest
58.0ms
(* (- (* m (/ (- 1 m) v)) 1) m)
29.0ms
(* m (/ (- 1 m) v))
26.0ms
(/ (- 1 m) v)
22.0ms
(- (* m (/ (- 1 m) v)) 1)

series152.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
61.0ms
(* m (/ (- 1 m) v))
41.0ms
(/ (- 1 m) v)
31.0ms
(* (- (* m (/ (- 1 m) v)) 1) m)
19.0ms
(- (* m (/ (- 1 m) v)) 1)

simplify7.7s

Counts
113 → 146
Calls
113 calls:
Slowest
838.0ms
(* (* (* m m) m) (* (* (/ (- 1 m) v) (/ (- 1 m) v)) (/ (- 1 m) v)))
832.0ms
(* (- (pow (* m (/ (- 1 m) v)) 3) (pow 1 3)) m)
484.0ms
(/ (exp (* m (/ (- 1 m) v))) (exp 1))
246.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
236.0ms
(* (- (* (* m (/ (- 1 m) v)) (* m (/ (- 1 m) v))) (* 1 1)) m)

prune1.3s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

localize44.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (sqrt m) (sqrt v))
0.3b
(/ (sqrt m) (sqrt v))
0.2b
(* m (+ (/ (sqrt m) (sqrt v)) (sqrt (fma m (/ m v) 1))))
0.2b
(* (* m (+ (/ (sqrt m) (sqrt v)) (sqrt (fma m (/ m v) 1)))) (- (/ (sqrt m) (sqrt v)) (sqrt (fma m (/ m v) 1))))

rewrite237.0ms

Algorithm
rewrite-expression-head
Rules
769×sqrt-prod
553×add-sqr-sqrt
527×*-un-lft-identity
523×add-cube-cbrt
512×times-frac
480×prod-diff
243×distribute-rgt-in distribute-lft-in
18×associate-*r*
15×add-cbrt-cube add-exp-log
14×div-inv
12×associate-/r* associate-/l*
11×pow1
10×associate-*r/ difference-of-squares
4×expm1-log1p-u frac-times flip3-+ associate-*l* pow-prod-down prod-exp cbrt-unprod flip-+ insert-posit16 log1p-expm1-u add-log-exp
3×flip3-- flip--
2×cbrt-undiv sqrt-undiv clear-num sub-neg frac-2neg div-exp associate-*l/ *-commutative
1×distribute-lft-out distribute-lft-out-- unswap-sqr
Counts
4 → 678
Calls
4 calls:
Slowest
118.0ms
(* (* m (+ (/ (sqrt m) (sqrt v)) (sqrt (fma m (/ m v) 1)))) (- (/ (sqrt m) (sqrt v)) (sqrt (fma m (/ m v) 1))))
81.0ms
(* m (+ (/ (sqrt m) (sqrt v)) (sqrt (fma m (/ m v) 1))))
11.0ms
(/ (sqrt m) (sqrt v))
9.0ms
(/ (sqrt m) (sqrt v))

series421.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
184.0ms
(* (* m (+ (/ (sqrt m) (sqrt v)) (sqrt (fma m (/ m v) 1)))) (- (/ (sqrt m) (sqrt v)) (sqrt (fma m (/ m v) 1))))
109.0ms
(* m (+ (/ (sqrt m) (sqrt v)) (sqrt (fma m (/ m v) 1))))
76.0ms
(/ (sqrt m) (sqrt v))
52.0ms
(/ (sqrt m) (sqrt v))

simplify3.0m

Counts
715 → 690
Calls
715 calls:
Slowest
1.2s
(* (* m (- (* (/ (sqrt m) (sqrt v)) (/ (sqrt m) (sqrt v))) (* (sqrt (fma m (/ m v) 1)) (sqrt (fma m (/ m v) 1))))) (- (/ (sqrt m) (sqrt v)) (sqrt (fma m (/ m v) 1))))
1.1s
(* (* m (- (* (/ (sqrt m) (sqrt v)) (/ (sqrt m) (sqrt v))) (* (sqrt (fma m (/ m v) 1)) (sqrt (fma m (/ m v) 1))))) (- (* (/ (sqrt m) (sqrt v)) (/ (sqrt m) (sqrt v))) (* (sqrt (fma m (/ m v) 1)) (sqrt (fma m (/ m v) 1)))))
735.0ms
(* (* m (+ (/ (sqrt m) (sqrt v)) (sqrt (fma m (/ m v) 1)))) (fma (- (sqrt (fma m (/ m v) 1))) 1 (* (sqrt (fma m (/ m v) 1)) 1)))
730.0ms
(* (* m (+ (/ (sqrt m) (sqrt v)) (sqrt (fma m (/ m v) 1)))) (fma (- (sqrt (sqrt (fma m (/ m v) 1)))) (sqrt (sqrt (fma m (/ m v) 1))) (* (sqrt (sqrt (fma m (/ m v) 1))) (sqrt (sqrt (fma m (/ m v) 1))))))
725.0ms
(* (fma (- (sqrt (sqrt (fma m (/ m v) 1)))) (sqrt (sqrt (fma m (/ m v) 1))) (* (sqrt (sqrt (fma m (/ m v) 1))) (sqrt (sqrt (fma m (/ m v) 1))))) (* m (+ (/ (sqrt m) (sqrt v)) (sqrt (fma m (/ m v) 1)))))

prune12.8s

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0b

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

Algorithm
intervals
Results
1.3s13724×body80valid
658.0ms13724×pre80true