Details

Time bar (total: 37.9s)

sample182.0ms

Algorithm
intervals
Results
49.0ms453×body80valid
23.0ms453×pre80true

simplify693.0ms

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

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize23.0ms

Local error

Found 2 expressions with local error:

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

rewrite90.0ms

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

series91.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
48.0ms
(* (- (/ (* m (- 1 m)) v) 1) m)
43.0ms
(/ (* m (- 1 m)) v)

simplify4.2s

Counts
34 → 59
Calls
34 calls:
Slowest
508.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) m)
399.0ms
(* (* (* (- (/ (* m (- 1 m)) v) 1) (- (/ (* m (- 1 m)) v) 1)) (- (/ (* m (- 1 m)) v) 1)) (* (* m m) m))
254.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
236.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
235.0ms
(* (- (/ (* m (- 1 m)) v) 1) m)

prune528.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 2 expressions with local error:

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

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt
7×*-un-lft-identity associate-*l*
4×pow1 add-cbrt-cube add-exp-log add-cube-cbrt
3×associate-*r*
2×expm1-log1p-u associate-*l/ insert-posit16 log1p-expm1-u add-log-exp difference-of-squares
1×flip3-- difference-of-sqr-1 pow-prod-down prod-exp *-commutative cbrt-unprod fma-udef flip-- distribute-lft-out-- unswap-sqr
Counts
2 → 38
Calls
2 calls:
Slowest
34.0ms
(* (- (fma (/ m v) (- m) (/ m v)) 1) m)
0.0ms
(fma (/ m v) (- m) (/ m v))

series97.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
56.0ms
(fma (/ m v) (- m) (/ m v))
41.0ms
(* (- (fma (/ m v) (- m) (/ m v)) 1) m)

simplify2.9s

Counts
20 → 44
Calls
20 calls:
Slowest
553.0ms
(* (* (* (- (fma (/ m v) (- m) (/ m v)) 1) (- (fma (/ m v) (- m) (/ m v)) 1)) (- (fma (/ m v) (- m) (/ m v)) 1)) (* (* m m) m))
303.0ms
(* (- (pow (fma (/ m v) (- m) (/ m v)) 3) (pow 1 3)) m)
240.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
238.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
224.0ms
(* (- (fma (/ m v) (- m) (/ m v)) 1) m)

prune419.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0b

localize44.0ms

Local error

Found 4 expressions with local error:

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

rewrite248.0ms

Algorithm
rewrite-expression-head
Rules
27×pow1
20×add-sqr-sqrt
18×*-un-lft-identity add-cbrt-cube add-exp-log
11×associate-*l* add-cube-cbrt
10×associate-*r*
6×pow-plus prod-exp pow-prod-up cbrt-unprod
5×pow-prod-down
4×expm1-log1p-u times-frac associate-*r/ insert-posit16 log1p-expm1-u associate-/l* add-log-exp
3×*-commutative unswap-sqr
2×pow2 cbrt-undiv flip3-+ flip3-- distribute-rgt-out-- div-exp associate-*l/ associate-/r/ pow-sqr flip-+ flip-- difference-of-squares associate-/l/
1×distribute-rgt-in clear-num associate-/r* frac-2neg distribute-lft-in difference-of-sqr-1 div-sub pow3 div-inv distribute-lft-out distribute-lft-out--
Counts
4 → 115
Calls
4 calls:
Slowest
179.0ms
(* (- (/ (- m (* (* m m) m)) (* v (+ 1 m))) 1) m)
26.0ms
(* v (+ 1 m))
26.0ms
(/ (- m (* (* m m) m)) (* v (+ 1 m)))
14.0ms
(* (* m m) m)

series306.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
94.0ms
(/ (- m (* (* m m) m)) (* v (+ 1 m)))
91.0ms
(* (- (/ (- m (* (* m m) m)) (* v (+ 1 m))) 1) m)
63.0ms
(* (* m m) m)
57.0ms
(* v (+ 1 m))

simplify9.1s

Counts
75 → 127
Calls
75 calls:
Slowest
705.0ms
(* (* (* v v) v) (* (* (+ 1 m) (+ 1 m)) (+ 1 m)))
539.0ms
(* (* (* (* m m) (* m m)) (* m m)) (* (* m m) m))
504.0ms
(* (- (* (/ (- m (* (* m m) m)) (* v (+ 1 m))) (/ (- m (* (* m m) m)) (* v (+ 1 m)))) (* 1 1)) m)
380.0ms
(- (pow m 3) (pow (* (* m m) m) 3))
354.0ms
(* (sqrt (- (/ (- m (* (* m m) m)) (* v (+ 1 m))) 1)) (sqrt m))

prune1.2s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0b

localize38.0ms

Local error

Found 3 expressions with local error:

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

rewrite212.0ms

Algorithm
rewrite-expression-head
Rules
48×times-frac
42×add-sqr-sqrt
34×*-un-lft-identity
31×add-exp-log
25×add-cube-cbrt
19×add-cbrt-cube
14×div-exp associate-*l*
11×associate-/r/
10×associate-/r* associate-*r/
7×cbrt-undiv div-inv
6×pow1 flip3-- flip-- associate-/l* difference-of-squares
5×prod-exp
3×expm1-log1p-u rec-exp 1-exp difference-of-sqr-1 associate-*r* cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
2×clear-num frac-2neg associate-*l/ distribute-lft-out--
1×pow-prod-down *-commutative pow-flip inv-pow unswap-sqr
Counts
3 → 127
Calls
3 calls:
Slowest
156.0ms
(* (- (/ 1 (/ v (* m (- 1 m)))) 1) m)
34.0ms
(/ 1 (/ v (* m (- 1 m))))
19.0ms
(/ v (* m (- 1 m)))

series168.0ms

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

simplify13.3s

Counts
120 → 136
Calls
120 calls:
Slowest
548.0ms
(* (- (pow (/ 1 (/ v (* m (- 1 m)))) 3) (pow 1 3)) m)
460.0ms
(/ (sqrt 1) (/ v (* m (- (* 1 1) (* m m)))))
368.0ms
(/ (* (* 1 1) 1) (/ (* (* v v) v) (* (* (* m (- 1 m)) (* m (- 1 m))) (* m (- 1 m)))))
354.0ms
(/ (* (cbrt 1) (cbrt 1)) (/ v (* m (- (* 1 1) (* m m)))))
346.0ms
(- (+ (/ v (pow m 4)) (+ (/ v (pow m 3)) (/ v (pow m 2)))))

prune1.1s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

regimes141.0ms

Accuracy

0% (0.2b remaining)

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

bsearch3.0ms

end0.0ms

sample2.8s

Algorithm
intervals
Results
1.4s13580×body80valid
676.0ms13580×pre80true