Details

Time bar (total: 7.2m)

sample582.0ms

Algorithm
intervals
Results
371.0ms581×body80valid

simplify291.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
290.0ms
(- (- (+ 3 (/ 2 (* r r))) (/ (* (* 0.125 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) 4.5)

prune34.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.3b

localize57.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ 0.125 (/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r))))
0.4b
(* (* w r) (* w r))
0.3b
(/ 2 (* r r))
0.2b
(/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r)))

rewrite138.0ms

Algorithm
rewrite-expression-head
Rules
315×times-frac
153×add-sqr-sqrt *-un-lft-identity
115×add-cbrt-cube add-exp-log
99×add-cube-cbrt
43×pow1 cbrt-undiv div-exp
41×prod-exp cbrt-unprod
36×difference-of-squares
30×associate-/r* associate-/l*
18×distribute-lft-out--
17×pow-prod-down
13×associate-/r/ div-inv
6×flip3-- flip--
4×pow-sqr pow-prod-up insert-posit16 add-log-exp
3×clear-num frac-2neg
2×pow-plus div-sub
1×pow2 swap-sqr associate-*r* associate-*l* *-commutative associate-/l/
Counts
4 → 288
Calls
4 calls:
Slowest
45.0ms
(/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r)))
39.0ms
(/ 0.125 (/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r))))
29.0ms
(* (* w r) (* w r))
6.0ms
(/ 2 (* r r))

series303.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
120.0ms
(/ 0.125 (/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r))))
71.0ms
(/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r)))
69.0ms
(* (* w r) (* w r))
43.0ms
(/ 2 (* r r))

simplify1.6m

Counts
371 → 300
Calls
371 calls:
Slowest
1.4s
(/ (* (* 0.125 0.125) 0.125) (/ (/ (* (* (- 1 v) (- 1 v)) (- 1 v)) (* (* (- 3 (* 2 v)) (- 3 (* 2 v))) (- 3 (* 2 v)))) (* (* (* (* w r) (* w r)) (* (* w r) (* w r))) (* (* w r) (* w r)))))
1.4s
(/ (* (* 0.125 0.125) 0.125) (/ (* (* (/ (- 1 v) (- 3 (* 2 v))) (/ (- 1 v) (- 3 (* 2 v)))) (/ (- 1 v) (- 3 (* 2 v)))) (* (* (* (* w w) w) (* (* r r) r)) (* (* (* w r) (* w r)) (* w r)))))
1.3s
(/ (* (* 0.125 0.125) 0.125) (/ (* (* (/ (- 1 v) (- 3 (* 2 v))) (/ (- 1 v) (- 3 (* 2 v)))) (/ (- 1 v) (- 3 (* 2 v)))) (* (* (* (* w w) w) (* (* r r) r)) (* (* (* w w) w) (* (* r r) r)))))
1.2s
(/ (* (* 0.125 0.125) 0.125) (/ (* (* (/ (- 1 v) (- 3 (* 2 v))) (/ (- 1 v) (- 3 (* 2 v)))) (/ (- 1 v) (- 3 (* 2 v)))) (* (* (* (* w r) (* w r)) (* w r)) (* (* (* w w) w) (* (* r r) r)))))
1.2s
(/ (* (* 0.125 0.125) 0.125) (/ (* (* (/ (- 1 v) (- 3 (* 2 v))) (/ (- 1 v) (- 3 (* 2 v)))) (/ (- 1 v) (- 3 (* 2 v)))) (* (* (* (* w r) (* w r)) (* w r)) (* (* (* w r) (* w r)) (* w r)))))

prune4.7s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize34.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ 0.125 (/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r))))
0.4b
(* (* w r) (* w r))
0.2b
(/ (/ 2 r) r)
0.2b
(/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r)))

rewrite138.0ms

Algorithm
rewrite-expression-head
Rules
387×times-frac
193×add-sqr-sqrt *-un-lft-identity
139×add-cube-cbrt
115×add-cbrt-cube add-exp-log
44×cbrt-undiv div-exp
43×pow1
40×prod-exp cbrt-unprod associate-/l*
36×difference-of-squares
32×associate-/r*
18×distribute-lft-out--
17×pow-prod-down div-inv
13×associate-/r/
6×flip3-- flip--
4×pow-sqr pow-prod-up insert-posit16 add-log-exp
3×clear-num frac-2neg
2×pow-plus div-sub associate-/l/
1×pow2 swap-sqr associate-*r* associate-*l* *-commutative
Counts
4 → 337
Calls
4 calls:
Slowest
44.0ms
(/ 0.125 (/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r))))
43.0ms
(/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r)))
29.0ms
(* (* w r) (* w r))
7.0ms
(/ (/ 2 r) r)

series246.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
97.0ms
(/ 0.125 (/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r))))
80.0ms
(/ (/ (- 1 v) (- 3 (* 2 v))) (* (* w r) (* w r)))
38.0ms
(* (* w r) (* w r))
31.0ms
(/ (/ 2 r) r)

simplify1.6m

Counts
454 → 349
Calls
454 calls:
Slowest
1.5s
(/ (* (* 0.125 0.125) 0.125) (/ (* (* (/ (- 1 v) (- 3 (* 2 v))) (/ (- 1 v) (- 3 (* 2 v)))) (/ (- 1 v) (- 3 (* 2 v)))) (* (* (* (* w w) w) (* (* r r) r)) (* (* (* w r) (* w r)) (* w r)))))
1.4s
(/ (/ (* (* (- 1 v) (- 1 v)) (- 1 v)) (* (* (- 3 (* 2 v)) (- 3 (* 2 v))) (- 3 (* 2 v)))) (* (* (* (* w r) (* w r)) (* w r)) (* (* (* w w) w) (* (* r r) r))))
1.2s
(/ (* (* 0.125 0.125) 0.125) (/ (* (* (/ (- 1 v) (- 3 (* 2 v))) (/ (- 1 v) (- 3 (* 2 v)))) (/ (- 1 v) (- 3 (* 2 v)))) (* (* (* (* w w) w) (* (* r r) r)) (* (* (* w w) w) (* (* r r) r)))))
1.2s
(/ (* (* 0.125 0.125) 0.125) (/ (/ (* (* (- 1 v) (- 1 v)) (- 1 v)) (* (* (- 3 (* 2 v)) (- 3 (* 2 v))) (- 3 (* 2 v)))) (* (* (* (* w w) w) (* (* r r) r)) (* (* (* w r) (* w r)) (* w r)))))
1.1s
(/ (* (* 0.125 0.125) 0.125) (/ (/ (* (* (- 1 v) (- 1 v)) (- 1 v)) (* (* (- 3 (* 2 v)) (- 3 (* 2 v))) (- 3 (* 2 v)))) (* (* (* (* w r) (* w r)) (* w r)) (* (* (* w w) w) (* (* r r) r)))))

prune5.1s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize56.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ 0.125 (/ (/ (- 1 v) (- 3 (* 2 v))) (* w r)))
0.3b
(* (* w r) (/ 0.125 (/ (/ (- 1 v) (- 3 (* 2 v))) (* w r))))
0.3b
(/ (/ (- 1 v) (- 3 (* 2 v))) (* w r))
0.2b
(/ (/ 2 r) r)

rewrite138.0ms

Algorithm
rewrite-expression-head
Rules
597×times-frac
282×add-sqr-sqrt *-un-lft-identity
201×add-cube-cbrt
95×add-cbrt-cube add-exp-log
89×associate-*r*
54×difference-of-squares
42×cbrt-undiv div-exp
40×associate-/l*
32×associate-/r*
27×distribute-lft-out--
26×prod-exp cbrt-unprod
24×div-inv
20×associate-/r/
9×pow1 flip3-- flip--
4×insert-posit16 add-log-exp
3×clear-num frac-2neg pow-prod-down
2×div-sub associate-/l/
1×associate-*l* associate-*r/ *-commutative
Counts
4 → 404
Calls
4 calls:
Slowest
60.0ms
(* (* w r) (/ 0.125 (/ (/ (- 1 v) (- 3 (* 2 v))) (* w r))))
30.0ms
(/ 0.125 (/ (/ (- 1 v) (- 3 (* 2 v))) (* w r)))
21.0ms
(/ (/ (- 1 v) (- 3 (* 2 v))) (* w r))
7.0ms
(/ (/ 2 r) r)

series378.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
151.0ms
(* (* w r) (/ 0.125 (/ (/ (- 1 v) (- 3 (* 2 v))) (* w r))))
101.0ms
(/ (/ (- 1 v) (- 3 (* 2 v))) (* w r))
95.0ms
(/ 0.125 (/ (/ (- 1 v) (- 3 (* 2 v))) (* w r)))
31.0ms
(/ (/ 2 r) r)

simplify1.5m

Counts
513 → 416
Calls
513 calls:
Slowest
1.3s
(* (* (* (* w w) w) (* (* r r) r)) (/ (* (* 0.125 0.125) 0.125) (/ (/ (* (* (- 1 v) (- 1 v)) (- 1 v)) (* (* (- 3 (* 2 v)) (- 3 (* 2 v))) (- 3 (* 2 v)))) (* (* (* w r) (* w r)) (* w r)))))
1.2s
(* (* (* (* w r) (* w r)) (* w r)) (/ (* (* 0.125 0.125) 0.125) (* (* (/ (/ (- 1 v) (- 3 (* 2 v))) (* w r)) (/ (/ (- 1 v) (- 3 (* 2 v))) (* w r))) (/ (/ (- 1 v) (- 3 (* 2 v))) (* w r)))))
1.2s
(* (* (* (* w r) (* w r)) (* w r)) (/ (* (* 0.125 0.125) 0.125) (/ (* (* (/ (- 1 v) (- 3 (* 2 v))) (/ (- 1 v) (- 3 (* 2 v)))) (/ (- 1 v) (- 3 (* 2 v)))) (* (* (* w w) w) (* (* r r) r)))))
1.1s
(* (* (* (* w w) w) (* (* r r) r)) (/ (* (* 0.125 0.125) 0.125) (/ (* (* (/ (- 1 v) (- 3 (* 2 v))) (/ (- 1 v) (- 3 (* 2 v)))) (/ (- 1 v) (- 3 (* 2 v)))) (* (* (* w r) (* w r)) (* w r)))))
1.1s
(* (* (* (* w r) (* w r)) (* w r)) (/ (* (* 0.125 0.125) 0.125) (/ (/ (* (* (- 1 v) (- 1 v)) (- 1 v)) (* (* (- 3 (* 2 v)) (- 3 (* 2 v))) (- 3 (* 2 v)))) (* (* (* w r) (* w r)) (* w r)))))

prune6.1s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize55.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* w r) (* w (/ 0.125 (/ (/ (- 1 v) (- 3 (* 2 v))) r))))
0.2b
(/ (/ 2 r) r)
0.2b
(/ 0.125 (/ (/ (- 1 v) (- 3 (* 2 v))) r))
0.2b
(/ (/ (- 1 v) (- 3 (* 2 v))) r)

rewrite175.0ms

Algorithm
rewrite-expression-head
Rules
951×times-frac
552×add-sqr-sqrt *-un-lft-identity
408×add-cube-cbrt
96×difference-of-squares
82×associate-/r*
68×add-cbrt-cube add-exp-log
48×distribute-lft-out--
40×associate-/l*
33×associate-/r/
27×div-inv
24×cbrt-undiv div-exp
23×prod-exp cbrt-unprod
16×pow1 flip3-- flip--
8×pow-prod-down
4×insert-posit16 add-log-exp
3×clear-num frac-2neg
2×div-sub associate-*r/ associate-/l/
1×associate-*r* associate-*l* *-commutative
Counts
4 → 548
Calls
4 calls:
Slowest
93.0ms
(* (* w r) (* w (/ 0.125 (/ (/ (- 1 v) (- 3 (* 2 v))) r))))
27.0ms
(/ (/ (- 1 v) (- 3 (* 2 v))) r)
15.0ms
(/ 0.125 (/ (/ (- 1 v) (- 3 (* 2 v))) r))
11.0ms
(/ (/ 2 r) r)

series332.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
152.0ms
(* (* w r) (* w (/ 0.125 (/ (/ (- 1 v) (- 3 (* 2 v))) r))))
68.0ms
(/ 0.125 (/ (/ (- 1 v) (- 3 (* 2 v))) r))
64.0ms
(/ (/ (- 1 v) (- 3 (* 2 v))) r)
48.0ms
(/ (/ 2 r) r)

simplify2.0m

Counts
848 → 560
Calls
848 calls:
Slowest
1.2s
(* (* (* (* w r) (* w r)) (* w r)) (* (* (* w w) w) (/ (* (* 0.125 0.125) 0.125) (/ (* (* (/ (- 1 v) (- 3 (* 2 v))) (/ (- 1 v) (- 3 (* 2 v)))) (/ (- 1 v) (- 3 (* 2 v)))) (* (* r r) r)))))
1.2s
(* (* (* (* w r) (* w r)) (* w r)) (* (* (* w w) w) (/ (* (* 0.125 0.125) 0.125) (/ (/ (* (* (- 1 v) (- 1 v)) (- 1 v)) (* (* (- 3 (* 2 v)) (- 3 (* 2 v))) (- 3 (* 2 v)))) (* (* r r) r)))))
1.1s
(* (* (* (* w w) w) (* (* r r) r)) (* (* (* w w) w) (/ (* (* 0.125 0.125) 0.125) (/ (/ (* (* (- 1 v) (- 1 v)) (- 1 v)) (* (* (- 3 (* 2 v)) (- 3 (* 2 v))) (- 3 (* 2 v)))) (* (* r r) r)))))
990.0ms
(* (* (* (* w w) w) (* (* r r) r)) (* (* (* w w) w) (/ (* (* 0.125 0.125) 0.125) (/ (* (* (/ (- 1 v) (- 3 (* 2 v))) (/ (- 1 v) (- 3 (* 2 v)))) (/ (- 1 v) (- 3 (* 2 v)))) (* (* r r) r)))))
904.0ms
(* (* w r) (* w (/ 0.125 (/ (/ (- 1 v) (- 3 (* 2 v))) r))))

prune6.0s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

regimes198.0ms

Accuracy

0% (0.4b remaining)

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

bsearch4.0ms

end0.0ms

sample3.6s

Algorithm
intervals
Results
3.3s17292×body80valid