Details

Time bar (total: 1.2m)

sample183.0ms

Algorithm
intervals
Results
73.0ms424×body80valid
19.0ms424×pre80true

simplify714.0ms

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

prune30.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize30.0ms

Local error

Found 3 expressions with local error:

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

rewrite95.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
60.0ms
(* m (- (/ m v) (fma m (/ m v) 1)))
22.0ms
(- (/ m v) (fma m (/ m v) 1))
0.0ms
(fma m (/ m v) 1)

series123.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
63.0ms
(* m (- (/ m v) (fma m (/ m v) 1)))
35.0ms
(- (/ m v) (fma m (/ m v) 1))
25.0ms
(fma m (/ m v) 1)

simplify45.7s

Counts
201 → 199
Calls
201 calls:
Slowest
744.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))))
549.0ms
(* (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))))) m)
539.0ms
(+ (* (/ m v) (/ m v)) (+ (* (fma m (/ m v) 1) (fma m (/ m v) 1)) (* (/ m v) (fma m (/ m v) 1))))
513.0ms
(* (fma (- (fma m (/ m v) 1)) 1 (* (fma m (/ m v) 1) 1)) m)
473.0ms
(* m (fma (- (fma m (/ m v) 1)) 1 (* (fma m (/ m v) 1) 1)))

prune1.8s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize33.0ms

Local error

Found 4 expressions with local error:

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

rewrite86.0ms

Algorithm
rewrite-expression-head
Rules
34×add-sqr-sqrt
29×associate-*r*
22×*-un-lft-identity add-cube-cbrt
20×times-frac
16×add-cbrt-cube add-exp-log
10×pow1
9×associate-*l*
6×add-log-exp
5×prod-exp cbrt-unprod unswap-sqr
4×expm1-log1p-u associate-*l/ associate-*r/ insert-posit16 log1p-expm1-u
3×pow-prod-down *-commutative
2×cbrt-undiv flip3-- div-exp frac-add div-inv flip--
1×+-commutative sum-log fma-def flip3-+ flip-+
Counts
4 → 110
Calls
4 calls:
Slowest
25.0ms
(* (- -1 (* m (/ m v))) m)
24.0ms
(+ (* m (/ m v)) (* (- -1 (* m (/ m v))) m))
18.0ms
(* m (/ m v))
17.0ms
(* m (/ m v))

series158.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
47.0ms
(* (- -1 (* m (/ m v))) m)
46.0ms
(+ (* m (/ m v)) (* (- -1 (* m (/ m v))) m))
40.0ms
(* m (/ m v))
25.0ms
(* m (/ m v))

simplify6.9s

Counts
76 → 122
Calls
76 calls:
Slowest
791.0ms
(- (+ m (/ (pow m 3) v)))
458.0ms
(- (+ m (/ (pow m 3) v)))
450.0ms
(* (exp (* m (/ m v))) (exp (* (- -1 (* m (/ m v))) m)))
436.0ms
(+ (* (* m m) (+ -1 (* m (/ m v)))) (* v (* (- (* -1 -1) (* (* m (/ m v)) (* m (/ m v)))) m)))
431.0ms
(* (* (* m m) m) (/ (* (* m m) m) (* (* v v) v)))

prune994.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 3 expressions with local error:

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

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
32×add-sqr-sqrt
27×*-un-lft-identity
21×add-cube-cbrt
18×prod-diff
12×add-cbrt-cube add-exp-log
11×distribute-rgt-in distribute-lft-in
10×associate-*l*
9×associate-*r*
7×pow1
4×associate-*r/ difference-of-squares
3×expm1-log1p-u associate-/r* times-frac flip3-- prod-exp cbrt-unprod insert-posit16 log1p-expm1-u flip-- add-log-exp
2×cbrt-undiv sub-neg div-exp pow-prod-down associate-*l/ *-commutative distribute-lft-out-- unswap-sqr associate-/l/
1×clear-num frac-2neg difference-of-sqr-1 div-inv associate-/l*
Counts
3 → 101
Calls
3 calls:
Slowest
60.0ms
(* (- (/ (* m (- 1 m)) v) 1) m)
19.0ms
(* m (- 1 m))
14.0ms
(/ (* m (- 1 m)) v)

series149.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
61.0ms
(* m (- 1 m))
53.0ms
(* (- (/ (* m (- 1 m)) v) 1) m)
35.0ms
(/ (* m (- 1 m)) v)

simplify5.4s

Counts
74 → 110
Calls
74 calls:
Slowest
447.0ms
(* (* (* (- (/ (* m (- 1 m)) v) 1) (- (/ (* m (- 1 m)) v) 1)) (- (/ (* m (- 1 m)) v) 1)) (* (* m m) m))
438.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) m)
222.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
219.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
202.0ms
(* (* (* m m) m) (* (* (- 1 m) (- 1 m)) (- 1 m)))

prune819.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize40.0ms

Local error

Found 4 expressions with local error:

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

rewrite106.0ms

Algorithm
rewrite-expression-head
Rules
48×associate-*r*
45×add-sqr-sqrt
31×*-un-lft-identity add-cube-cbrt
29×times-frac
28×sqrt-prod
18×add-cbrt-cube add-exp-log
15×pow1
10×associate-*l*
7×prod-exp cbrt-unprod
6×pow-prod-down unswap-sqr
5×sqrt-div associate-*r/
4×expm1-log1p-u *-commutative insert-posit16 log1p-expm1-u add-log-exp
3×associate-*l/ div-inv
1×frac-times cbrt-undiv flip3-- div-exp flip--
Counts
4 → 132
Calls
4 calls:
Slowest
57.0ms
(* (* m (sqrt (/ m v))) (sqrt (/ m v)))
18.0ms
(* m (sqrt (/ m v)))
17.0ms
(* m (/ m v))
12.0ms
(* (- -1 (* (* m (sqrt (/ m v))) (sqrt (/ m v)))) m)

series219.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
116.0ms
(* m (sqrt (/ m v)))
39.0ms
(* (- -1 (* (* m (sqrt (/ m v))) (sqrt (/ m v)))) m)
33.0ms
(* m (/ m v))
31.0ms
(* (* m (sqrt (/ m v))) (sqrt (/ m v)))

simplify5.1s

Counts
101 → 144
Calls
101 calls:
Slowest
517.0ms
(* (* (* (- -1 (* (* m (sqrt (/ m v))) (sqrt (/ m v)))) (- -1 (* (* m (sqrt (/ m v))) (sqrt (/ m v))))) (- -1 (* (* m (sqrt (/ m v))) (sqrt (/ m v))))) (* (* m m) m))
487.0ms
(- (+ m (/ (pow m 3) v)))
474.0ms
(- (+ m (/ (pow m 3) v)))
461.0ms
(- (+ m (/ (pow m 3) v)))
407.0ms
(* (* (* m m) m) (/ (* (* m m) m) (* (* v v) v)))

prune1.3s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

regimes170.0ms

Accuracy

0% (0.1b remaining)

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

bsearch3.0ms

end0.0ms

sample2.5s

Algorithm
intervals
Results
1.6s13734×body80valid
633.0ms13734×pre80true