Details

Time bar (total: 1.1m)

sample129.0ms

Algorithm
intervals
Results
57.0ms265×body80nan
49.0ms256×body80valid

simplify2.7s

Counts
1 → 1
Iterations
IterNodes
44493
3820
2160
144
019

prune26.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize40.0ms

Local error

Found 4 expressions with local error:

0.1b
(* -6 (* v v))
0.2b
(* (* v v) 5)
0.4b
(* t (sqrt (+ (* -6 (* v v)) 2)))
0.4b
(/ (/ (/ (- 1 (* (* v v) 5)) (- 1 (* v v))) PI) (* t (sqrt (+ (* -6 (* v v)) 2))))

rewrite176.0ms

Algorithm
rewrite-expression-head
Rules
283×times-frac
131×add-sqr-sqrt
125×*-un-lft-identity
107×add-cube-cbrt
67×associate-/l*
37×add-cbrt-cube add-exp-log
36×difference-of-squares
16×pow1
14×associate-/r/
12×cbrt-undiv div-exp
10×associate-*r* prod-exp cbrt-unprod
9×div-inv
7×associate-*l* pow-prod-down
6×flip3-- flip--
4×sqrt-div associate-*r/ sqrt-prod add-log-exp unswap-sqr
3×div-sub *-commutative
2×flip3-+ flip-+
1×clear-num associate-/r* frac-2neg associate-/l/
Counts
4 → 223
Calls
4 calls:
23.0ms
(* -6 (* v v))
24.0ms
(* (* v v) 5)
81.0ms
(* t (sqrt (+ (* -6 (* v v)) 2)))
37.0ms
(/ (/ (/ (- 1 (* (* v v) 5)) (- 1 (* v v))) PI) (* t (sqrt (+ (* -6 (* v v)) 2))))

series726.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(* -6 (* v v))
46.0ms
(* (* v v) 5)
127.0ms
(* t (sqrt (+ (* -6 (* v v)) 2)))
505.0ms
(/ (/ (/ (- 1 (* (* v v) 5)) (- 1 (* v v))) PI) (* t (sqrt (+ (* -6 (* v v)) 2))))

simplify2.5s

Counts
235 → 235
Iterations
IterNodes
24270
11476
0592

prune2.8s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize43.0ms

Local error

Found 4 expressions with local error:

0.1b
(* -6 (* v v))
0.2b
(* (* v v) 5)
0.4b
(/ (/ (/ (- 1 (* (* v v) 5)) (- 1 (* v v))) PI) t)
0.4b
(/ (/ (/ (/ (- 1 (* (* v v) 5)) (- 1 (* v v))) PI) t) (sqrt (+ (* -6 (* v v)) 2)))

rewrite248.0ms

Algorithm
rewrite-expression-head
Rules
5538×times-frac
2414×add-sqr-sqrt
2412×*-un-lft-identity
2187×add-cube-cbrt
618×sqrt-prod
450×difference-of-squares
272×associate-/l*
152×associate-/r/
109×div-inv
75×flip3-- flip--
37×add-cbrt-cube add-exp-log
16×cbrt-undiv div-exp
14×pow1
9×associate-/r*
7×div-sub
6×pow-prod-down prod-exp cbrt-unprod
4×associate-*r* associate-*l* add-log-exp
2×clear-num frac-2neg sqrt-div *-commutative unswap-sqr associate-/l/
1×flip3-+ flip-+
Counts
4 → 1790
Calls
4 calls:
19.0ms
(* -6 (* v v))
23.0ms
(* (* v v) 5)
35.0ms
(/ (/ (/ (- 1 (* (* v v) 5)) (- 1 (* v v))) PI) t)
82.0ms
(/ (/ (/ (/ (- 1 (* (* v v) 5)) (- 1 (* v v))) PI) t) (sqrt (+ (* -6 (* v v)) 2)))

series694.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(* -6 (* v v))
51.0ms
(* (* v v) 5)
164.0ms
(/ (/ (/ (- 1 (* (* v v) 5)) (- 1 (* v v))) PI) t)
427.0ms
(/ (/ (/ (/ (- 1 (* (* v v) 5)) (- 1 (* v v))) PI) t) (sqrt (+ (* -6 (* v v)) 2)))

simplify6.6s

Counts
1802 → 1802
Iterations
IterNodes
15935
02828

prune27.5s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize75.0ms

Local error

Found 4 expressions with local error:

0.1b
(* -6 (* v v))
0.2b
(* (* v v) 5)
0.3b
(* (* t (* (cbrt (sqrt (+ (* -6 (* v v)) 2))) (cbrt (sqrt (+ (* -6 (* v v)) 2))))) (cbrt (sqrt (+ (* -6 (* v v)) 2))))
0.4b
(/ (/ (/ (- 1 (* (* v v) 5)) (- 1 (* v v))) PI) (* (* t (* (cbrt (sqrt (+ (* -6 (* v v)) 2))) (cbrt (sqrt (+ (* -6 (* v v)) 2))))) (cbrt (sqrt (+ (* -6 (* v v)) 2)))))

rewrite784.0ms

Algorithm
rewrite-expression-head
Rules
283×times-frac
127×add-sqr-sqrt
125×*-un-lft-identity
108×cbrt-div sqrt-div
107×add-cube-cbrt
77×add-exp-log
67×associate-/l*
64×associate-*r/
57×add-cbrt-cube
56×frac-times
54×flip3-+ flip-+
38×associate-/r/
36×difference-of-squares
30×prod-exp cbrt-unprod
28×associate-*l/
24×cbrt-undiv div-exp
23×pow1
13×associate-*r*
12×pow-prod-down
9×div-inv
6×cbrt-prod flip3-- flip--
5×associate-*l*
4×add-log-exp
3×div-sub *-commutative sqrt-prod
2×unswap-sqr
1×clear-num associate-/r* frac-2neg associate-/l/
Counts
4 → 288
Calls
4 calls:
17.0ms
(* -6 (* v v))
13.0ms
(* (* v v) 5)
465.0ms
(* (* t (* (cbrt (sqrt (+ (* -6 (* v v)) 2))) (cbrt (sqrt (+ (* -6 (* v v)) 2))))) (cbrt (sqrt (+ (* -6 (* v v)) 2))))
280.0ms
(/ (/ (/ (- 1 (* (* v v) 5)) (- 1 (* v v))) PI) (* (* t (* (cbrt (sqrt (+ (* -6 (* v v)) 2))) (cbrt (sqrt (+ (* -6 (* v v)) 2))))) (cbrt (sqrt (+ (* -6 (* v v)) 2)))))

series696.0ms

Counts
4 → 12
Calls
4 calls:
35.0ms
(* -6 (* v v))
37.0ms
(* (* v v) 5)
132.0ms
(* (* t (* (cbrt (sqrt (+ (* -6 (* v v)) 2))) (cbrt (sqrt (+ (* -6 (* v v)) 2))))) (cbrt (sqrt (+ (* -6 (* v v)) 2))))
492.0ms
(/ (/ (/ (- 1 (* (* v v) 5)) (- 1 (* v v))) PI) (* (* t (* (cbrt (sqrt (+ (* -6 (* v v)) 2))) (cbrt (sqrt (+ (* -6 (* v v)) 2))))) (cbrt (sqrt (+ (* -6 (* v v)) 2)))))

simplify1.4s

Counts
300 → 300
Iterations
IterNodes
12074
0712

prune4.6s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize72.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* v v) 5)
0.3b
(/ 1 (* t (sqrt (+ (* -6 (* v v)) 2))))
0.4b
(* (/ (/ (- 1 (* (* v v) 5)) (- 1 (* v v))) PI) (/ 1 (* t (sqrt (+ (* -6 (* v v)) 2)))))
0.4b
(* t (sqrt (+ (* -6 (* v v)) 2)))

rewrite276.0ms

Algorithm
rewrite-expression-head
Rules
117×times-frac
100×add-exp-log
84×add-sqr-sqrt
71×associate-*l*
70×*-un-lft-identity
61×add-cube-cbrt
52×add-cbrt-cube
37×div-exp prod-exp
18×associate-*r* difference-of-squares
17×cbrt-undiv cbrt-unprod
16×pow1
10×associate-/r/
8×rec-exp 1-exp
7×associate-*r/
6×sqrt-div pow-prod-down div-inv unswap-sqr
4×sqrt-prod add-log-exp
3×flip3-+ flip3-- *-commutative flip-+ flip-- associate-/l*
2×pow-flip
1×frac-times clear-num associate-/r* frac-2neg associate-*l/ un-div-inv inv-pow
Counts
4 → 195
Calls
4 calls:
24.0ms
(* (* v v) 5)
42.0ms
(/ 1 (* t (sqrt (+ (* -6 (* v v)) 2))))
137.0ms
(* (/ (/ (- 1 (* (* v v) 5)) (- 1 (* v v))) PI) (/ 1 (* t (sqrt (+ (* -6 (* v v)) 2)))))
66.0ms
(* t (sqrt (+ (* -6 (* v v)) 2)))

series809.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(* (* v v) 5)
97.0ms
(/ 1 (* t (sqrt (+ (* -6 (* v v)) 2))))
506.0ms
(* (/ (/ (- 1 (* (* v v) 5)) (- 1 (* v v))) PI) (/ 1 (* t (sqrt (+ (* -6 (* v v)) 2)))))
156.0ms
(* t (sqrt (+ (* -6 (* v v)) 2)))

simplify4.4s

Counts
207 → 207
Iterations
IterNodes
24501
11236
0419

prune2.5s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes188.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations
IterNodes
221
121
018

end0.0ms

sample4.0s

Algorithm
intervals
Results
2.0s8100×body80nan
1.6s8001×body80valid