Details

Time bar (total: 54.8s)

sample131.0ms

Algorithm
intervals
Results
60.0ms418×body80valid
13.0ms418×pre80true

simplify214.0ms

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

prune31.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize31.0ms

Local error

Found 3 expressions with local error:

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

rewrite175.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
109.0ms
(* (- (/ (* m (- 1 m)) v) 1) m)
31.0ms
(* m (- 1 m))
30.0ms
(/ (* m (- 1 m)) v)

series181.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
83.0ms
(* m (- 1 m))
52.0ms
(* (- (/ (* m (- 1 m)) v) 1) m)
45.0ms
(/ (* m (- 1 m)) v)

simplify6.0s

Counts
74 → 110
Calls
74 calls:
Slowest
435.0ms
(* (* (* (- (/ (* m (- 1 m)) v) 1) (- (/ (* m (- 1 m)) v) 1)) (- (/ (* m (- 1 m)) v) 1)) (* (* m m) m))
433.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) m)
273.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
266.0ms
(* (- (/ (* m (- 1 m)) v) 1) m)
248.0ms
(* m (- (pow 1 3) (pow m 3)))

prune883.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 3 expressions with local error:

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

rewrite245.0ms

Algorithm
rewrite-expression-head
Rules
171×times-frac
152×add-sqr-sqrt
134×*-un-lft-identity
81×add-cube-cbrt
38×difference-of-squares
30×associate-/r*
17×distribute-lft-out--
13×associate-*l*
12×add-cbrt-cube add-exp-log
11×associate-/r/
6×flip3-- div-inv flip-- associate-/l*
5×pow1
4×cbrt-undiv div-exp
3×expm1-log1p-u difference-of-sqr-1 associate-*r* insert-posit16 log1p-expm1-u add-log-exp
2×clear-num frac-2neg associate-*l/
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
3 → 194
Calls
3 calls:
Slowest
220.0ms
(* (- (/ m (/ v (- 1 m))) 1) m)
13.0ms
(/ m (/ v (- 1 m)))
8.0ms
(/ v (- 1 m))

series132.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
51.0ms
(/ v (- 1 m))
48.0ms
(/ m (/ v (- 1 m)))
34.0ms
(* (- (/ m (/ v (- 1 m))) 1) m)

simplify22.1s

Counts
252 → 203
Calls
252 calls:
Slowest
1.0s
(* (* (* (- (/ m (/ v (- 1 m))) 1) (- (/ m (/ v (- 1 m))) 1)) (- (/ m (/ v (- 1 m))) 1)) (* (* m m) m))
540.0ms
(/ (cbrt m) (/ (cbrt v) (- 1 (sqrt m))))
531.0ms
(/ (* (cbrt m) (cbrt m)) (/ (* (cbrt v) (cbrt v)) (* (cbrt (- 1 m)) (cbrt (- 1 m)))))
486.0ms
(/ (sqrt m) (/ v (- (pow 1 3) (pow m 3))))
479.0ms
(/ (* (* m m) m) (* (* (/ v (- 1 m)) (/ v (- 1 m))) (/ v (- 1 m))))

prune1.7s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 3 expressions with local error:

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

rewrite197.0ms

Algorithm
rewrite-expression-head
Rules
33×add-sqr-sqrt
29×*-un-lft-identity add-exp-log
26×add-cube-cbrt
22×associate-*r*
19×add-cbrt-cube
18×prod-diff
14×prod-exp
12×pow1
11×distribute-rgt-in distribute-lft-in
9×times-frac
8×cbrt-unprod
7×associate-*l* associate-*r/
5×pow-prod-down
4×flip3-- div-exp associate-*l/ flip--
3×expm1-log1p-u *-commutative insert-posit16 log1p-expm1-u add-log-exp
2×frac-times cbrt-undiv rec-exp sub-neg 1-exp difference-of-squares unswap-sqr
1×un-div-inv div-inv distribute-lft-out--
Counts
3 → 116
Calls
3 calls:
Slowest
145.0ms
(* (- (* (* m (- 1 m)) (/ 1 v)) 1) m)
27.0ms
(* (* m (- 1 m)) (/ 1 v))
23.0ms
(* m (- 1 m))

series127.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
54.0ms
(* (* m (- 1 m)) (/ 1 v))
45.0ms
(* m (- 1 m))
28.0ms
(* (- (* (* m (- 1 m)) (/ 1 v)) 1) m)

simplify8.2s

Counts
90 → 125
Calls
90 calls:
Slowest
553.0ms
(* (- (* (* (* m (- 1 m)) (/ 1 v)) (* (* m (- 1 m)) (/ 1 v))) (* 1 1)) m)
514.0ms
(* (* m (- (pow 1 3) (pow m 3))) (/ 1 v))
320.0ms
(* (* m (- (* 1 1) (* m m))) (/ 1 v))
281.0ms
(* (* (* m m) m) (* (* (- 1 m) (- 1 m)) (- 1 m)))
270.0ms
(* (* (* (* m m) m) (* (* (- 1 m) (- 1 m)) (- 1 m))) (/ (* (* 1 1) 1) (* (* v v) v)))

prune1.2s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (* (- (/ (* m (- 1 m)) v) 1) (sqrt m)) (sqrt m))
0.2b
(* (- (/ (* m (- 1 m)) v) 1) (sqrt m))
0.0b
(/ (* m (- 1 m)) v)
0.0b
(* m (- 1 m))

rewrite190.0ms

Algorithm
rewrite-expression-head
Rules
38×add-sqr-sqrt
31×*-un-lft-identity
25×add-cube-cbrt
18×add-cbrt-cube associate-*r* prod-diff add-exp-log
13×pow1
11×distribute-rgt-in distribute-lft-in associate-*l*
7×sqrt-prod
6×associate-*l/ prod-exp cbrt-unprod
5×pow-prod-down
4×expm1-log1p-u flip3-- associate-*r/ insert-posit16 log1p-expm1-u flip-- add-log-exp difference-of-squares
3×associate-/r* times-frac *-commutative unswap-sqr
2×cbrt-undiv sub-neg div-exp distribute-lft-out-- associate-/l/
1×clear-num frac-2neg difference-of-sqr-1 div-inv associate-/l*
Counts
4 → 131
Calls
4 calls:
Slowest
88.0ms
(* (* (- (/ (* m (- 1 m)) v) 1) (sqrt m)) (sqrt m))
69.0ms
(* (- (/ (* m (- 1 m)) v) 1) (sqrt m))
15.0ms
(/ (* m (- 1 m)) v)
15.0ms
(* m (- 1 m))

series281.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
95.0ms
(* (- (/ (* m (- 1 m)) v) 1) (sqrt m))
79.0ms
(* (* (- (/ (* m (- 1 m)) v) 1) (sqrt m)) (sqrt m))
68.0ms
(* m (- 1 m))
39.0ms
(/ (* m (- 1 m)) v)

simplify9.1s

Counts
98 → 143
Calls
98 calls:
Slowest
622.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
581.0ms
(* (* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (sqrt m)) (sqrt m))
552.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (sqrt m))
516.0ms
(* (* (* (- (/ (* m (- 1 m)) v) 1) (- (/ (* m (- 1 m)) v) 1)) (- (/ (* m (- 1 m)) v) 1)) (* (* (sqrt m) (sqrt m)) (sqrt m)))
407.0ms
(* (- (/ (* m (- 1 m)) v) 1) (sqrt m))

prune1.3s

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0b

regimes108.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.3s13680×body80valid
598.0ms13680×pre80true