Details

Time bar (total: 50.6s)

sample152.0ms

Algorithm
intervals
Results
44.0ms480×body80valid
21.0ms480×pre80true

simplify299.0ms

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

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize23.0ms

Local error

Found 3 expressions with local error:

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

rewrite120.0ms

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

series177.0ms

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

simplify8.7s

Counts
74 → 99
Calls
74 calls:
Slowest
758.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))
606.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) (- (* 1 1) (* m m)))
511.0ms
(* (+ (/ (* m (- 1 m)) v) 1) (+ 1 m))
364.0ms
(* (- (* (/ (* m (- 1 m)) v) (/ (* m (- 1 m)) v)) (* 1 1)) (- (pow 1 3) (pow m 3)))

prune815.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 3 expressions with local error:

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

rewrite299.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
22×*-un-lft-identity
19×associate-*r*
13×add-cube-cbrt
11×times-frac
10×add-cbrt-cube associate-*l* add-exp-log
7×pow1 flip3-- flip--
5×associate-*r/ add-log-exp
4×frac-times difference-of-squares
3×sub-neg prod-exp cbrt-unprod insert-posit16 distribute-lft-out-- unswap-sqr
2×distribute-rgt-in distribute-lft-in distribute-rgt-out-- pow-prod-down associate-*l/ *-commutative div-inv
1×cbrt-undiv diff-log difference-of-sqr-1 div-exp frac-sub sub-div
Counts
3 → 89
Calls
3 calls:
Slowest
260.0ms
(* (- (- (/ m v) (* m (/ m v))) 1) (- 1 m))
20.0ms
(- (/ m v) (* m (/ m v)))
17.0ms
(* m (/ m v))

series126.0ms

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

simplify8.0s

Counts
74 → 98
Calls
74 calls:
Slowest
614.0ms
(* (- (pow (- (/ m v) (* m (/ m v))) 3) (pow 1 3)) (- (pow 1 3) (pow m 3)))
568.0ms
(* (+ (- (/ m v) (* m (/ m v))) 1) (+ (* 1 1) (+ (* m m) (* 1 m))))
471.0ms
(* (- (- (/ m v) (* m (/ m v))) 1) (- 1 m))
437.0ms
(* (- (pow (- (/ m v) (* m (/ m v))) 3) (pow 1 3)) (- (* 1 1) (* m m)))
415.0ms
(* (* (* m m) m) (/ (* (* m m) m) (* (* v v) v)))

prune922.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 3 expressions with local error:

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

rewrite299.0ms

Algorithm
rewrite-expression-head
Rules
27×add-exp-log
25×add-sqr-sqrt
19×*-un-lft-identity associate-*r*
17×add-cbrt-cube
13×prod-exp
12×add-cube-cbrt
11×times-frac
10×pow1
8×associate-*l*
7×flip3-- cbrt-unprod flip--
5×associate-*r/ add-log-exp
4×frac-times div-exp pow-prod-down difference-of-squares unswap-sqr
3×sub-neg un-div-inv insert-posit16
2×distribute-rgt-in cbrt-undiv rec-exp distribute-lft-in 1-exp associate-*l/ *-commutative frac-sub div-inv distribute-lft-out-- sub-div
1×distribute-rgt-out-- diff-log difference-of-sqr-1
Counts
3 → 98
Calls
3 calls:
Slowest
235.0ms
(* (- (- (/ m v) (* (* m m) (/ 1 v))) 1) (- 1 m))
32.0ms
(* (* m m) (/ 1 v))
30.0ms
(- (/ m v) (* (* m m) (/ 1 v)))

series101.0ms

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

simplify12.6s

Counts
83 → 107
Calls
83 calls:
Slowest
1.3s
(* (* (* (* m m) (* m m)) (* m m)) (/ (* (* 1 1) 1) (* (* v v) v)))
801.0ms
(* (* (* (* m m) m) (* (* m m) m)) (/ (* (* 1 1) 1) (* (* v v) v)))
581.0ms
(* (+ (- (/ m v) (* (* m m) (/ 1 v))) 1) (+ (* 1 1) (+ (* m m) (* 1 m))))
508.0ms
(* (- (pow (- (/ m v) (* (* m m) (/ 1 v))) 3) (pow 1 3)) (- (pow 1 3) (pow m 3)))
475.0ms
(* (- m) (- (- (/ m v) (* (* m m) (/ 1 v))) 1))

prune1.1s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize37.0ms

Local error

Found 4 expressions with local error:

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

rewrite319.0ms

Algorithm
rewrite-expression-head
Rules
31×add-sqr-sqrt
30×add-exp-log
22×*-un-lft-identity
20×add-cbrt-cube associate-*r*
15×add-cube-cbrt
14×prod-exp
13×pow1 associate-*l*
12×associate-*r/
11×times-frac
8×cbrt-unprod
7×flip3-- flip--
6×add-log-exp
5×pow-prod-down
4×frac-times div-exp un-div-inv insert-posit16 difference-of-squares unswap-sqr
3×sub-neg *-commutative distribute-lft-out--
2×distribute-rgt-in cbrt-undiv rec-exp distribute-lft-in 1-exp associate-*l/ frac-sub div-inv sub-div
1×diff-log difference-of-sqr-1
Counts
4 → 118
Calls
4 calls:
Slowest
253.0ms
(* (- (- (/ m v) (* m (* m (/ 1 v)))) 1) (- 1 m))
30.0ms
(- (/ m v) (* m (* m (/ 1 v))))
24.0ms
(* m (* m (/ 1 v)))
9.0ms
(* m (/ 1 v))

series108.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
39.0ms
(* (- (- (/ m v) (* m (* m (/ 1 v)))) 1) (- 1 m))
26.0ms
(- (/ m v) (* m (* m (/ 1 v))))
26.0ms
(* m (* m (/ 1 v)))
17.0ms
(* m (/ 1 v))

simplify12.1s

Counts
93 → 130
Calls
93 calls:
Slowest
686.0ms
(* (- (pow (- (/ m v) (* m (* m (/ 1 v)))) 3) (pow 1 3)) (- (pow 1 3) (pow m 3)))
667.0ms
(* (+ (- (/ m v) (* m (* m (/ 1 v)))) 1) (+ (* 1 1) (+ (* m m) (* 1 m))))
547.0ms
(* (- (pow (- (/ m v) (* m (* m (/ 1 v)))) 3) (pow 1 3)) (- (* 1 1) (* m m)))
506.0ms
(* (- (pow (- (/ m v) (* m (* m (/ 1 v)))) 3) (pow 1 3)) (- 1 m))
486.0ms
(* (- (* (- (/ m v) (* m (* m (/ 1 v)))) (- (/ m v) (* m (* m (/ 1 v))))) (* 1 1)) (- (pow 1 3) (pow m 3)))

prune1.4s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

regimes146.0ms

Accuracy

0% (0.1b remaining)

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

bsearch4.0ms

end0.0ms

sample2.8s

Algorithm
intervals
Results
1.4s13873×body80valid
1.1s13873×pre80true