Details

Time bar (total: 36.8s)

sample195.0ms

Algorithm
intervals
Results
49.0ms423×body80valid
25.0ms423×pre80true

simplify1.9s

Counts
1 → 1
Iterations
IterNodes
92094
81567
71080
6774
5467
4202
367
233
117
08

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize43.0ms

Local error

Found 4 expressions with local error:

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

rewrite166.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt
19×*-un-lft-identity
13×add-cbrt-cube add-exp-log
10×associate-*l* add-cube-cbrt
9×associate-*r*
8×pow1
6×add-log-exp difference-of-squares
4×flip3-- associate-*r/ insert-posit16 flip--
3×associate-/r* sub-neg times-frac prod-exp cbrt-unprod distribute-lft-out--
2×distribute-rgt-in cbrt-undiv distribute-lft-in difference-of-sqr-1 div-exp pow-prod-down associate-*l/ *-commutative unswap-sqr associate-/l/
1×clear-num frac-2neg diff-log div-inv associate-/l*
Counts
4 → 94
Calls
4 calls:
28.0ms
(- (/ (* m (- 1 m)) v) 1)
30.0ms
(* m (- 1 m))
17.0ms
(/ (* m (- 1 m)) v)
87.0ms
(* (- (/ (* m (- 1 m)) v) 1) m)

series222.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(- (/ (* m (- 1 m)) v) 1)
81.0ms
(* m (- 1 m))
59.0ms
(/ (* m (- 1 m)) v)
49.0ms
(* (- (/ (* m (- 1 m)) v) 1) m)

simplify2.2s

Counts
106 → 106
Iterations
IterNodes
33426
2926
1340
0143

prune875.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize37.0ms

Local error

Found 4 expressions with local error:

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

rewrite280.0ms

Algorithm
rewrite-expression-head
Rules
50×add-sqr-sqrt
48×times-frac
40×*-un-lft-identity
34×add-exp-log
28×add-cube-cbrt
22×add-cbrt-cube
17×associate-*l*
14×div-exp
12×associate-*r/
11×associate-/r/
10×associate-/r*
9×pow1 associate-*r*
8×difference-of-squares
7×cbrt-undiv flip3-- div-inv flip--
6×prod-exp associate-/l*
4×cbrt-unprod insert-posit16 add-log-exp
3×rec-exp 1-exp difference-of-sqr-1 distribute-lft-out--
2×distribute-rgt-in clear-num sub-neg frac-2neg distribute-lft-in pow-prod-down associate-*l/ *-commutative unswap-sqr
1×pow-flip inv-pow
Counts
4 → 149
Calls
4 calls:
16.0ms
(* m (- 1 m))
10.0ms
(/ v (* m (- 1 m)))
216.0ms
(* (- (/ 1 (/ v (* m (- 1 m)))) 1) m)
35.0ms
(/ 1 (/ v (* m (- 1 m))))

series253.0ms

Counts
4 → 12
Calls
4 calls:
84.0ms
(* m (- 1 m))
55.0ms
(/ v (* m (- 1 m)))
58.0ms
(* (- (/ 1 (/ v (* m (- 1 m)))) 1) m)
55.0ms
(/ 1 (/ v (* m (- 1 m))))

simplify13.7s

Counts
161 → 161
Iterations
IterNodes
35160
21450
1512
0229

prune1.4s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 3 expressions with local error:

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

rewrite457.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt
16×associate-*l*
15×*-un-lft-identity
14×add-exp-log
13×add-cube-cbrt
11×times-frac
10×add-cbrt-cube
8×associate-*r*
7×pow1
5×sub-neg prod-exp add-log-exp
4×distribute-rgt-in distribute-lft-in flip3-- associate--l+ flip-- unswap-sqr
3×associate-*l/ cbrt-unprod insert-posit16
2×frac-times div-exp pow-prod-down associate-*r/ *-commutative
1×cbrt-undiv rec-exp distribute-rgt-out-- diff-log 1-exp div-inv difference-of-squares
Counts
3 → 84
Calls
3 calls:
14.0ms
(- (* (/ 1 v) (- m (* m m))) 1)
416.0ms
(* (- (* (/ 1 v) (- m (* m m))) 1) m)
25.0ms
(* (/ 1 v) (- m (* m m)))

series161.0ms

Counts
3 → 9
Calls
3 calls:
27.0ms
(- (* (/ 1 v) (- m (* m m))) 1)
68.0ms
(* (- (* (/ 1 v) (- m (* m m))) 1) m)
66.0ms
(* (/ 1 v) (- m (* m m)))

simplify1.6s

Counts
93 → 93
Iterations
IterNodes
33293
21143
1388
0151

prune923.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 4 expressions with local error:

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

rewrite511.0ms

Algorithm
rewrite-expression-head
Rules
52×add-sqr-sqrt
42×associate-*r*
35×*-un-lft-identity
26×difference-of-squares
18×unpow-prod-down cube-prod
15×add-cbrt-cube add-exp-log
13×associate-*l*
12×add-cube-cbrt
10×pow1 sqr-pow
7×distribute-lft-out--
6×associate-*r/
4×prod-exp cbrt-unprod insert-posit16 add-log-exp
3×distribute-rgt-in associate-/r* distribute-lft-in times-frac flip3-- pow-prod-down *-commutative flip-- unswap-sqr
2×cbrt-undiv sub-neg flip3-+ div-exp associate-*l/ associate-/r/ flip-+ associate-/l/
1×cube-mult difference-cubes clear-num frac-2neg distribute-rgt-out difference-of-sqr-1 distribute-rgt1-in div-inv associate-/l*
Counts
4 → 132
Calls
4 calls:
63.0ms
(* m (- (pow 1 3) (pow m 3)))
24.0ms
(* v (+ m (* m m)))
369.0ms
(* (- (/ (* m (- (pow 1 3) (pow m 3))) (+ (* v (+ m (* m m))) v)) 1) m)
51.0ms
(/ (* m (- (pow 1 3) (pow m 3))) (+ (* v (+ m (* m m))) v))

series424.0ms

Counts
4 → 12
Calls
4 calls:
143.0ms
(* m (- (pow 1 3) (pow m 3)))
90.0ms
(* v (+ m (* m m)))
98.0ms
(* (- (/ (* m (- (pow 1 3) (pow m 3))) (+ (* v (+ m (* m m))) v)) 1) m)
93.0ms
(/ (* m (- (pow 1 3) (pow m 3))) (+ (* v (+ m (* m m))) v))

simplify6.9s

Counts
144 → 144
Iterations
IterNodes
310217
21953
1613
0218

prune1.7s

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0b

regimes176.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
211
111
09

end0.0ms

sample2.6s

Algorithm
intervals
Results
1.8s13825×body80valid
558.0ms13825×pre80true