Details

Time bar (total: 1.0m)

sample186.0ms

Algorithm
intervals
Results
86.0ms410×body80valid
24.0ms410×pre80true

simplify327.0ms

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

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize18.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)

rewrite203.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
22×*-un-lft-identity
13×add-cbrt-cube add-exp-log
12×associate-*r*
10×associate-*l* add-cube-cbrt
9×flip3-- flip--
8×pow1 difference-of-squares
6×associate-*r/ add-log-exp
5×sub-neg
4×distribute-rgt-in frac-times distribute-lft-in insert-posit16 distribute-lft-out--
3×associate-/r* times-frac prod-exp cbrt-unprod
2×cbrt-undiv difference-of-sqr-1 div-exp pow-prod-down associate-*l/ *-commutative unswap-sqr associate-/l/
1×clear-num frac-2neg diff-log div-inv associate-/l*
Counts
4 → 107
Calls
4 calls:
Slowest
115.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))
29.0ms
(* m (- 1 m))
28.0ms
(- (/ (* m (- 1 m)) v) 1)
26.0ms
(/ (* m (- 1 m)) v)

series190.0ms

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

simplify9.2s

Counts
84 → 119
Calls
84 calls:
Slowest
715.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- (* 1 1) (* m m)))
659.0ms
(* (* (* (- (/ (* m (- 1 m)) v) 1) (- (/ (* m (- 1 m)) v) 1)) (- (/ (* m (- 1 m)) v) 1)) (* (* (- 1 m) (- 1 m)) (- 1 m)))
646.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- 1 m))
446.0ms
(* (+ (/ (* m (- 1 m)) v) 1) (+ 1 m))
305.0ms
(* (+ (/ (* m (- 1 m)) v) 1) (+ (* 1 1) (+ (* m m) (* 1 m))))

prune1.1s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

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

rewrite146.0ms

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

series170.0ms

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

simplify9.6s

Counts
87 → 124
Calls
87 calls:
Slowest
444.0ms
(+ (* (* 1 (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3))) (+ (/ (* m (- 1 m)) v) 1)) (* (+ (* (/ (* m (- 1 m)) v) (/ (* m (- 1 m)) v)) (+ (* 1 1) (* (/ (* m (- 1 m)) v) 1))) (* (- m) (- (* (/ (* m (- 1 m)) v) (/ (* m (- 1 m)) v)) (* 1 1)))))
436.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)))))
390.0ms
(- (+ m (/ (pow m 3) v)) (/ (pow m 2) v))
390.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)))))
362.0ms
(- (+ m (/ (pow m 3) v)) (/ (pow m 2) v))

prune1.1s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite115.0ms

Algorithm
rewrite-expression-head
Rules
59×add-sqr-sqrt
52×*-un-lft-identity
37×times-frac
28×associate-*r* add-cube-cbrt
16×difference-of-squares
13×add-cbrt-cube add-exp-log
8×pow1 flip3-- flip-- distribute-lft-out--
6×associate-*l* associate-/l* add-log-exp
4×frac-times insert-posit16
3×associate-/r* sub-neg prod-exp associate-*r/ cbrt-unprod unswap-sqr
2×distribute-rgt-in cbrt-undiv distribute-lft-in div-exp pow-prod-down associate-*l/ *-commutative div-inv associate-/l/
1×clear-num frac-2neg diff-log div-sub
Counts
4 → 132
Calls
4 calls:
Slowest
72.0ms
(* (- (* m (/ (- 1 m) v)) 1) (- 1 m))
19.0ms
(* m (/ (- 1 m) v))
12.0ms
(/ (- 1 m) v)
9.0ms
(- (* m (/ (- 1 m) v)) 1)

series134.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
41.0ms
(* (- (* m (/ (- 1 m) v)) 1) (- 1 m))
36.0ms
(* m (/ (- 1 m) v))
34.0ms
(/ (- 1 m) v)
22.0ms
(- (* m (/ (- 1 m) v)) 1)

simplify11.6s

Counts
122 → 144
Calls
122 calls:
Slowest
918.0ms
(* (- (pow (* m (/ (- 1 m) v)) 3) (pow 1 3)) (- (* 1 1) (* m m)))
801.0ms
(* (- (pow (* m (/ (- 1 m) v)) 3) (pow 1 3)) (- 1 m))
718.0ms
(* (* (* m m) m) (* (* (/ (- 1 m) v) (/ (- 1 m) v)) (/ (- 1 m) v)))
689.0ms
(* (+ (* m (/ (- 1 m) v)) 1) (+ 1 m))
689.0ms
(* (* (* (- (* m (/ (- 1 m) v)) 1) (- (* m (/ (- 1 m) v)) 1)) (- (* m (/ (- 1 m) v)) 1)) (* (* (- 1 m) (- 1 m)) (- 1 m)))

prune1.2s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite154.0ms

Algorithm
rewrite-expression-head
Rules
49×add-sqr-sqrt
40×*-un-lft-identity
36×associate-*r*
32×frac-times
22×flip3-- flip--
19×times-frac
18×add-cube-cbrt
16×add-cbrt-cube associate-*l/ add-exp-log
14×difference-of-squares
13×pow1
12×flip3-+ flip-+
11×associate-*r/
7×associate-*l* sqrt-prod distribute-lft-out--
6×prod-exp cbrt-unprod add-log-exp
5×pow-prod-down
4×insert-posit16
3×distribute-rgt-in sub-neg distribute-lft-in *-commutative unswap-sqr
2×distribute-lft-out
1×cbrt-undiv diff-log div-exp div-inv
Counts
4 → 147
Calls
4 calls:
Slowest
74.0ms
(* (* (- (* m (/ (- 1 m) v)) 1) (+ 1 (sqrt m))) (- 1 (sqrt m)))
56.0ms
(* (- (* m (/ (- 1 m) v)) 1) (+ 1 (sqrt m)))
16.0ms
(* m (/ (- 1 m) v))
6.0ms
(- 1 (sqrt m))

series253.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
97.0ms
(* (* (- (* m (/ (- 1 m) v)) 1) (+ 1 (sqrt m))) (- 1 (sqrt m)))
71.0ms
(* (- (* m (/ (- 1 m) v)) 1) (+ 1 (sqrt m)))
43.0ms
(- 1 (sqrt m))
42.0ms
(* m (/ (- 1 m) v))

simplify23.3s

Counts
145 → 159
Calls
145 calls:
Slowest
887.0ms
(* (+ (* m (/ (- 1 m) v)) 1) (+ 1 (sqrt m)))
742.0ms
(* (- (sqrt m)) (* (- (* m (/ (- 1 m) v)) 1) (+ 1 (sqrt m))))
704.0ms
(* (* (* m m) m) (* (* (/ (- 1 m) v) (/ (- 1 m) v)) (/ (- 1 m) v)))
694.0ms
(* (- (pow (* m (/ (- 1 m) v)) 3) (pow 1 3)) (+ 1 (sqrt m)))
613.0ms
(* (* (+ (* m (/ (- 1 m) v)) 1) (- 1 (sqrt m))) (+ (* 1 1) (+ (* (sqrt m) (sqrt m)) (* 1 (sqrt m)))))

prune1.5s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

regimes91.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.1s

Algorithm
intervals
Results
1.3s13649×body80valid
535.0ms13649×pre80true