Details

Time bar (total: 16.0s)

sample126.0ms

Algorithm
intervals
Results
56.0ms420×body80valid
13.0ms420×pre80true

simplify4.2s

Counts
1 → 1
Iterations
IterNodes
103192
91958
81357
7967
6722
5451
4201
369
235
119
08

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize19.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) m)

rewrite153.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
15×*-un-lft-identity
12×add-cbrt-cube add-exp-log
10×associate-*l*
9×associate-*r* add-cube-cbrt
7×pow1
4×associate-*r/ difference-of-squares
3×associate-/r* times-frac flip3-- prod-exp cbrt-unprod insert-posit16 flip-- add-log-exp
2×distribute-rgt-in cbrt-undiv sub-neg distribute-lft-in 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 → 77
Calls
3 calls:
21.0ms
(* m (- 1 m))
26.0ms
(/ (* m (- 1 m)) v)
103.0ms
(* (- (/ (* m (- 1 m)) v) 1) m)

series159.0ms

Counts
3 → 9
Calls
3 calls:
55.0ms
(* m (- 1 m))
63.0ms
(/ (* m (- 1 m)) v)
39.0ms
(* (- (/ (* m (- 1 m)) v) 1) m)

simplify1.0s

Counts
86 → 86
Iterations
IterNodes
32942
2806
1309
0129

prune643.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 2 expressions with local error:

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

rewrite91.0ms

Algorithm
rewrite-expression-head
Rules
31×add-sqr-sqrt
25×associate-*r*
24×*-un-lft-identity
19×times-frac
15×add-cube-cbrt
9×add-cbrt-cube add-exp-log
6×pow1 associate-*l* difference-of-squares
3×prod-exp cbrt-unprod distribute-lft-out-- unswap-sqr
2×pow-prod-down associate-*l/ *-commutative insert-posit16 add-log-exp
1×cbrt-undiv flip3-- div-exp associate-*r/ div-inv flip--
Counts
2 → 63
Calls
2 calls:
70.0ms
(* (- (* m (/ (- 1 m) v)) 1) m)
19.0ms
(* m (/ (- 1 m) v))

series95.0ms

Counts
2 → 6
Calls
2 calls:
35.0ms
(* (- (* m (/ (- 1 m) v)) 1) m)
59.0ms
(* m (/ (- 1 m) v))

simplify597.0ms

Counts
69 → 69
Iterations
IterNodes
32154
2758
1303
0125

prune530.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize33.0ms

Local error

Found 3 expressions with local error:

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

rewrite93.0ms

Algorithm
rewrite-expression-head
Rules
122×times-frac
83×add-sqr-sqrt
77×*-un-lft-identity
59×add-cube-cbrt
18×difference-of-squares
16×distribute-rgt-out--
13×associate-/r*
8×add-cbrt-cube add-exp-log
7×div-inv add-log-exp
5×associate-/l*
3×pow1 cbrt-undiv flip3-- div-exp insert-posit16 flip--
2×sub-neg diff-log div-sub associate-/r/ associate-/l/
1×associate--l- clear-num frac-2neg distribute-lft-out--
Counts
3 → 136
Calls
3 calls:
5.0ms
(- m (* m m))
60.0ms
(- (/ (- m (* m m)) (/ v m)) m)
24.0ms
(/ (- m (* m m)) (/ v m))

series175.0ms

Counts
3 → 9
Calls
3 calls:
69.0ms
(- m (* m m))
32.0ms
(- (/ (- m (* m m)) (/ v m)) m)
74.0ms
(/ (- m (* m m)) (/ v m))

simplify603.0ms

Counts
145 → 145
Iterations
IterNodes
22188
1738
0258

prune1.2s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

localize19.0ms

Local error

Found 4 expressions with local error:

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

rewrite134.0ms

Algorithm
rewrite-expression-head
Rules
28×add-exp-log
18×add-cbrt-cube associate-*l*
17×add-sqr-sqrt
15×*-un-lft-identity
13×prod-exp add-cube-cbrt
11×pow1
9×times-frac
8×add-log-exp
7×associate-*l/ cbrt-unprod
5×flip3-- flip--
4×div-exp associate-*r* pow-prod-down insert-posit16
2×frac-times cbrt-undiv rec-exp sub-neg distribute-rgt-out-- diff-log 1-exp associate-*r/ *-commutative difference-of-squares
1×div-inv unswap-sqr
Counts
4 → 93
Calls
4 calls:
8.0ms
(- m (* m m))
55.0ms
(- (* (/ 1 v) (* (- m (* m m)) m)) m)
13.0ms
(* (- m (* m m)) m)
55.0ms
(* (/ 1 v) (* (- m (* m m)) m))

series335.0ms

Counts
4 → 12
Calls
4 calls:
53.0ms
(- m (* m m))
47.0ms
(- (* (/ 1 v) (* (- m (* m m)) m)) m)
95.0ms
(* (- m (* m m)) m)
141.0ms
(* (/ 1 v) (* (- m (* m m)) m))

simplify2.2s

Counts
105 → 105
Iterations
IterNodes
35038
21272
1397
0151

prune1.3s

Pruning

5 alts after pruning (1 fresh and 4 done)

Merged error: 0b

regimes111.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
212
112
08

end0.0ms

sample2.2s

Algorithm
intervals
Results
1.3s13653×body80valid
598.0ms13653×pre80true