Details

Time bar (total: 17.0s)

sample165.0ms

Algorithm
intervals
Results
47.0ms420×body80valid
23.0ms420×pre80true

simplify2.7s

Counts
1 → 1
Iterations
IterNodes
63605
51007
4314
3102
241
119
08

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize16.0ms

Local error

Found 3 expressions with local error:

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

rewrite131.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:
31.0ms
(* m (- 1 m))
26.0ms
(/ (* m (- 1 m)) v)
68.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))

series199.0ms

Counts
3 → 9
Calls
3 calls:
80.0ms
(* m (- 1 m))
61.0ms
(/ (* m (- 1 m)) v)
58.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))

simplify2.1s

Counts
99 → 99
Iterations
IterNodes
34889
21237
1401
0150

prune788.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize29.0ms

Local error

Found 4 expressions with local error:

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

rewrite174.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:
26.0ms
(/ (* m (- 1 m)) v)
27.0ms
(/ (* m (- 1 m)) v)
42.0ms
(+ (* 1 (- (/ (* m (- 1 m)) v) 1)) (* (- m) (- (/ (* m (- 1 m)) v) 1)))
77.0ms
(* (- m) (- (/ (* m (- 1 m)) v) 1))

series200.0ms

Counts
4 → 12
Calls
4 calls:
64.0ms
(/ (* m (- 1 m)) v)
36.0ms
(/ (* m (- 1 m)) v)
49.0ms
(+ (* 1 (- (/ (* m (- 1 m)) v) 1)) (* (- m) (- (/ (* m (- 1 m)) v) 1)))
51.0ms
(* (- m) (- (/ (* m (- 1 m)) v) 1))

simplify749.0ms

Counts
124 → 124
Iterations
IterNodes
22039
1551
0175

prune1.2s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize64.0ms

Local error

Found 4 expressions with local error:

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

rewrite270.0ms

Algorithm
rewrite-expression-head
Rules
33×add-exp-log
23×add-cbrt-cube
19×add-sqr-sqrt
17×*-un-lft-identity associate-*r/ add-cube-cbrt
16×associate-*r*
14×prod-exp
12×times-frac
11×pow1 associate-*l*
8×flip3-- cbrt-unprod flip--
6×distribute-rgt-in sub-neg distribute-lft-in div-exp add-log-exp
4×cbrt-undiv associate-+l+ associate-+r+ pow-prod-down frac-add insert-posit16
3×distribute-lft-neg-out distribute-lft-neg-in associate-/r* distribute-rgt-neg-in
2×frac-times rec-exp 1-exp associate-*l/ *-commutative div-inv associate-/l/
1×+-commutative clear-num neg-mul-1 sum-log frac-2neg flip3-+ unsub-neg un-div-inv flip-+ associate-/l* unswap-sqr
Counts
4 → 126
Calls
4 calls:
13.0ms
(/ (* m (- 1 m)) v)
48.0ms
(+ (* 1 (- (/ (* m (- 1 m)) v) 1)) (* (- m) (- (* (* m (- 1 m)) (/ 1 v)) 1)))
152.0ms
(* (- m) (- (* (* m (- 1 m)) (/ 1 v)) 1))
54.0ms
(* (* m (- 1 m)) (/ 1 v))

series200.0ms

Counts
4 → 12
Calls
4 calls:
59.0ms
(/ (* m (- 1 m)) v)
50.0ms
(+ (* 1 (- (/ (* m (- 1 m)) v) 1)) (* (- m) (- (* (* m (- 1 m)) (/ 1 v)) 1)))
42.0ms
(* (- m) (- (* (* m (- 1 m)) (/ 1 v)) 1))
48.0ms
(* (* m (- 1 m)) (/ 1 v))

simplify917.0ms

Counts
138 → 138
Iterations
IterNodes
22689
1759
0246

prune1.4s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize50.0ms

Local error

Found 4 expressions with local error:

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

rewrite239.0ms

Algorithm
rewrite-expression-head
Rules
32×frac-times
30×add-sqr-sqrt
25×*-un-lft-identity
23×flip3-- flip--
20×associate-*r*
18×add-cbrt-cube add-exp-log
16×associate-*l/
14×associate-*r/
13×pow1
12×flip3-+ flip-+
11×associate-*l* add-cube-cbrt
8×difference-of-squares
6×prod-exp cbrt-unprod
5×distribute-rgt-in distribute-lft-in pow-prod-down
4×sub-neg sqrt-prod insert-posit16 distribute-lft-out-- add-log-exp
3×associate-/r* times-frac *-commutative
2×cbrt-undiv div-exp distribute-lft-out unswap-sqr associate-/l/
1×clear-num frac-2neg difference-of-sqr-1 div-inv associate-/l*
Counts
4 → 142
Calls
4 calls:
16.0ms
(* m (- 1 m))
13.0ms
(/ (* m (- 1 m)) v)
121.0ms
(* (* (- (/ (* m (- 1 m)) v) 1) (+ 1 (sqrt m))) (- 1 (sqrt m)))
86.0ms
(* (- (/ (* m (- 1 m)) v) 1) (+ 1 (sqrt m)))

series301.0ms

Counts
4 → 12
Calls
4 calls:
72.0ms
(* m (- 1 m))
42.0ms
(/ (* m (- 1 m)) v)
91.0ms
(* (* (- (/ (* m (- 1 m)) v) 1) (+ 1 (sqrt m))) (- 1 (sqrt m)))
95.0ms
(* (- (/ (* m (- 1 m)) v) 1) (+ 1 (sqrt m)))

simplify1.1s

Counts
154 → 154
Iterations
IterNodes
23390
1840
0246

prune1.7s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes65.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify8.0ms

Iterations
IterNodes
430
330
223
119
011

end0.0ms

sample2.2s

Algorithm
intervals
Results
1.2s13653×body80valid
673.0ms13653×pre80true