Details

Time bar (total: 1.0m)

sample162.0ms

Algorithm
intervals
Results
26.0ms410×body80valid
13.0ms410×pre80true

simplify497.0ms

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

prune29.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize33.0ms

Local error

Found 4 expressions with local error:

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

rewrite234.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
131.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))
36.0ms
(- (/ (* m (- 1 m)) v) 1)
32.0ms
(* m (- 1 m))
31.0ms
(/ (* m (- 1 m)) v)

series174.0ms

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

simplify25.4s

Counts
171 → 194
Calls
171 calls:
Slowest
770.0ms
(* (+ (/ (* m (- 1 m)) v) 1) (+ 1 m))
756.0ms
(* (* (* (- (/ (* m (- 1 m)) v) 1) (- (/ (* m (- 1 m)) v) 1)) (- (/ (* m (- 1 m)) v) 1)) (* (* (- 1 m) (- 1 m)) (- 1 m)))
662.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- 1 m))
636.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- (* 1 1) (* m m)))
542.0ms
(* (fma (- (cbrt m)) (* (cbrt m) (cbrt m)) (* (cbrt m) (* (cbrt m) (cbrt m)))) (- (/ (* m (- 1 m)) v) 1))

prune1.7s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite170.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
16×add-cbrt-cube add-exp-log
15×*-un-lft-identity
12×add-cube-cbrt
10×associate-*r* associate-*l/
7×flip3-- associate-*l* flip--
6×pow1 associate-/r* times-frac add-log-exp
4×expm1-log1p-u cbrt-undiv div-exp frac-add associate-*r/ insert-posit16 log1p-expm1-u associate-/l/
3×distribute-lft-neg-in distribute-rgt-neg-in prod-exp distribute-rgt-neg-out cbrt-unprod
2×clear-num frac-2neg div-inv associate-/l* difference-of-squares
1×+-commutative neg-mul-1 sum-log fma-def flip3-+ difference-of-sqr-1 unsub-neg pow-prod-down *-commutative flip-+ distribute-lft-out distribute-lft-out-- unswap-sqr
Counts
4 → 109
Calls
4 calls:
Slowest
80.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- m))
59.0ms
(+ (* (- (/ (* m (- 1 m)) v) 1) 1) (* (- (/ (* m (- 1 m)) v) 1) (- m)))
14.0ms
(/ (* m (- 1 m)) v)
14.0ms
(/ (* m (- 1 m)) v)

series182.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
55.0ms
(/ (* m (- 1 m)) v)
52.0ms
(+ (* (- (/ (* m (- 1 m)) v) 1) 1) (* (- (/ (* m (- 1 m)) v) 1) (- m)))
43.0ms
(/ (* m (- 1 m)) v)
32.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- m))

simplify10.5s

Counts
74 → 121
Calls
74 calls:
Slowest
752.0ms
(* (* (* (- (/ (* m (- 1 m)) v) 1) (- (/ (* m (- 1 m)) v) 1)) (- (/ (* m (- 1 m)) v) 1)) (* (* (- m) (- m)) (- m)))
559.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- m))
537.0ms
(+ (* (* (- (* (/ (* m (- 1 m)) v) (/ (* m (- 1 m)) v)) (* 1 1)) 1) (+ (* (/ (* m (- 1 m)) v) (/ (* m (- 1 m)) v)) (+ (* 1 1) (* (/ (* m (- 1 m)) v) 1)))) (* (+ (/ (* m (- 1 m)) v) 1) (* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- m))))
471.0ms
(+ (* (* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) 1) (+ (* (/ (* 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))) (* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- m))))
454.0ms
(+ (* (* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) 1) (+ (/ (* m (- 1 m)) v) 1)) (* (+ (* (/ (* 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))))

prune1.2s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 3 expressions with local error:

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

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
45×add-sqr-sqrt
43×*-un-lft-identity
28×add-cube-cbrt
18×times-frac prod-diff
11×distribute-rgt-in distribute-lft-in
10×difference-of-squares
7×add-cbrt-cube add-exp-log
6×associate-*r* associate-/l*
5×pow1 distribute-lft-out--
3×expm1-log1p-u associate-/r* associate-*l* insert-posit16 log1p-expm1-u add-log-exp
2×sub-neg flip3-- associate-*r/ flip-- associate-/l/
1×cbrt-undiv clear-num frac-2neg div-sub div-exp pow-prod-down prod-exp *-commutative cbrt-unprod fma-udef div-inv unswap-sqr
Counts
3 → 104
Calls
3 calls:
Slowest
27.0ms
(* (fma (/ (- 1 m) v) m -1) (- 1 m))
12.0ms
(/ (- 1 m) v)
0.0ms
(fma (/ (- 1 m) v) m -1)

series156.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
70.0ms
(* (fma (/ (- 1 m) v) m -1) (- 1 m))
50.0ms
(/ (- 1 m) v)
36.0ms
(fma (/ (- 1 m) v) m -1)

simplify13.8s

Counts
93 → 113
Calls
93 calls:
Slowest
982.0ms
(* (fma (- (cbrt m)) (* (cbrt m) (cbrt m)) (* (cbrt m) (* (cbrt m) (cbrt m)))) (fma (/ (- 1 m) v) m -1))
563.0ms
(* (fma (- (cbrt m)) (* (cbrt m) (cbrt m)) (* (cbrt m) (* (cbrt m) (cbrt m)))) (fma (/ (- 1 m) v) m -1))
558.0ms
(* (fma (/ (- 1 m) v) m -1) (- 1 m))
555.0ms
(* (fma (- (sqrt m)) (sqrt m) (* (sqrt m) (sqrt m))) (fma (/ (- 1 m) v) m -1))
544.0ms
(* (fma (/ (- 1 m) v) m -1) (fma (- (cbrt m)) (* (cbrt m) (cbrt m)) (* (cbrt m) (* (cbrt m) (cbrt m)))))

prune1.1s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

0.7b
(cbrt m)
0.7b
(cbrt m)
0.7b
(cbrt m)
0.5b
(* (cbrt m) (cbrt m))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
11×pow1
9×pow1/3
6×swap-sqr associate-*r* associate-*l* add-exp-log
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 85
Calls
4 calls:
Slowest
12.0ms
(* (cbrt m) (cbrt m))
1.0ms
(cbrt m)
1.0ms
(cbrt m)
1.0ms
(cbrt m)

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
334.0ms
(* (cbrt m) (cbrt m))
294.0ms
(cbrt m)
275.0ms
(cbrt m)
218.0ms
(cbrt m)

simplify979.0ms

Counts
63 → 97
Calls
63 calls:
Slowest
158.0ms
(* (pow (* m -1) 1/3) (cbrt -1))
156.0ms
(* (pow (* m -1) 1/3) (cbrt -1))
131.0ms
(* (pow (* m -1) 1/3) (cbrt -1))
123.0ms
(* (pow (pow m 2) 1/3) (pow (cbrt -1) 2))
89.0ms
(* (* (cbrt (cbrt m)) (cbrt (cbrt m))) (* (cbrt (cbrt m)) (cbrt (cbrt m))))

prune990.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

regimes94.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.4s

Algorithm
intervals
Results
1.5s13649×body80valid
573.0ms13649×pre80true