Details

Time bar (total: 24.8s)

sample71.0ms

Algorithm
intervals
Results
36.0ms427×body80valid

simplify1.3s

Counts
1 → 1
Iterations
IterNodes
done5000
51885
4805
3287
293
137
018

prune38.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 6.4b

localize37.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 9.0) y)
0.3b
(- (/ (+ (* (* x 9.0) y) b) z) (* (* 4.0 a) t))
2.7b
(/ (+ (* (* x 9.0) y) b) z)
11.1b
(/ (- (/ (+ (* (* x 9.0) y) b) z) (* (* 4.0 a) t)) c)

rewrite521.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
18×times-frac
13×add-cbrt-cube add-exp-log
9×pow1
6×associate-/r* associate-/l* add-log-exp
4×associate-/l/
3×associate-*r* pow-prod-down prod-exp cbrt-unprod
2×cbrt-undiv clear-num frac-2neg flip3-- div-exp div-inv flip--
1×sub-neg flip3-+ diff-log div-sub associate-*l* *-commutative flip-+
Counts
4 → 89
Calls
4 calls:
15.0ms
(* (* x 9.0) y)
118.0ms
(- (/ (+ (* (* x 9.0) y) b) z) (* (* 4.0 a) t))
51.0ms
(/ (+ (* (* x 9.0) y) b) z)
334.0ms
(/ (- (/ (+ (* (* x 9.0) y) b) z) (* (* 4.0 a) t)) c)

series545.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(* (* x 9.0) y)
237.0ms
(- (/ (+ (* (* x 9.0) y) b) z) (* (* 4.0 a) t))
79.0ms
(/ (+ (* (* x 9.0) y) b) z)
201.0ms
(/ (- (/ (+ (* (* x 9.0) y) b) z) (* (* 4.0 a) t)) c)

simplify1.2s

Counts
101 → 101
Iterations
IterNodes
done5001
22407
1459
0182

prune1.0s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 3.5b

localize49.0ms

Local error

Found 4 expressions with local error:

3.6b
(* (/ x z) y)
4.5b
(/ (* t a) c)
6.6b
(/ (/ b z) c)
8.4b
(* (* (/ x z) y) (/ 9.0 c))

rewrite102.0ms

Algorithm
rewrite-expression-head
Rules
97×times-frac
68×add-sqr-sqrt
63×*-un-lft-identity add-cube-cbrt
40×add-cbrt-cube add-exp-log
16×associate-*r*
14×associate-*l* associate-/l*
13×prod-exp cbrt-unprod
11×pow1 cbrt-undiv div-exp
8×div-inv
6×associate-/r*
4×pow-prod-down associate-*l/ add-log-exp
2×clear-num frac-2neg *-commutative unswap-sqr
1×frac-times associate-*r/ associate-/l/
Counts
4 → 162
Calls
4 calls:
23.0ms
(* (/ x z) y)
15.0ms
(/ (* t a) c)
17.0ms
(/ (/ b z) c)
36.0ms
(* (* (/ x z) y) (/ 9.0 c))

series162.0ms

Counts
4 → 12
Calls
4 calls:
40.0ms
(* (/ x z) y)
33.0ms
(/ (* t a) c)
23.0ms
(/ (/ b z) c)
66.0ms
(* (* (/ x z) y) (/ 9.0 c))

simplify491.0ms

Counts
174 → 174
Iterations
IterNodes
done5000
1819
0310

prune1.7s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.8b

localize60.0ms

Local error

Found 4 expressions with local error:

3.7b
(/ y (/ z x))
4.5b
(/ (* t a) c)
6.6b
(/ (/ b z) c)
8.4b
(* (* (/ y (/ z x)) 9.0) (/ 1 c))

rewrite91.0ms

Algorithm
rewrite-expression-head
Rules
162×times-frac
97×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
79×add-exp-log
51×add-cbrt-cube
29×prod-exp
28×div-exp
19×associate-/r*
18×cbrt-undiv
17×associate-/l*
15×cbrt-unprod
13×associate-*r*
12×div-inv
9×pow1
4×rec-exp 1-exp add-log-exp
3×clear-num frac-2neg pow-prod-down associate-*l/
1×frac-times associate-*l* associate-*r/ associate-/r/ un-div-inv *-commutative associate-/l/
Counts
4 → 213
Calls
4 calls:
13.0ms
(/ y (/ z x))
7.0ms
(/ (* t a) c)
8.0ms
(/ (/ b z) c)
46.0ms
(* (* (/ y (/ z x)) 9.0) (/ 1 c))

series155.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(/ y (/ z x))
25.0ms
(/ (* t a) c)
40.0ms
(/ (/ b z) c)
60.0ms
(* (* (/ y (/ z x)) 9.0) (/ 1 c))

simplify613.0ms

Counts
225 → 225
Iterations
IterNodes
done5000
11173
0419

prune2.2s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.3b

localize123.0ms

Local error

Found 4 expressions with local error:

2.4b
(/ (/ 1 (* (cbrt z) (cbrt z))) (/ c (/ b (cbrt z))))
3.7b
(/ y (/ z x))
4.5b
(/ (* t a) c)
8.4b
(* (* (/ y (/ z x)) 9.0) (/ 1 c))

rewrite280.0ms

Algorithm
rewrite-expression-head
Rules
1760×times-frac
695×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
216×cbrt-prod
152×add-exp-log
112×div-inv
87×associate-/r*
79×div-exp
73×add-cbrt-cube
39×cbrt-undiv
38×prod-exp
18×cbrt-unprod
13×associate-*r*
11×associate-/l*
10×rec-exp 1-exp associate-/r/
9×pow1
4×add-log-exp
3×clear-num frac-2neg pow-prod-down associate-*l/
1×frac-times associate-*l* associate-*r/ un-div-inv *-commutative associate-/l/
Counts
4 → 760
Calls
4 calls:
75.0ms
(/ (/ 1 (* (cbrt z) (cbrt z))) (/ c (/ b (cbrt z))))
13.0ms
(/ y (/ z x))
14.0ms
(/ (* t a) c)
85.0ms
(* (* (/ y (/ z x)) 9.0) (/ 1 c))

series226.0ms

Counts
4 → 12
Calls
4 calls:
70.0ms
(/ (/ 1 (* (cbrt z) (cbrt z))) (/ c (/ b (cbrt z))))
41.0ms
(/ y (/ z x))
37.0ms
(/ (* t a) c)
77.0ms
(* (* (/ y (/ z x)) 9.0) (/ 1 c))

simplify2.6s

Counts
772 → 772
Iterations
IterNodes
done5000
14562
01299

prune6.1s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 0.3b

regimes2.4s

Accuracy

72.7% (3.3b remaining)

Error of 3.7b against oracle of 0.4b and baseline of 12.5b

bsearch3.0ms

simplify9.0ms

Iterations
IterNodes
done70
170
052

end0.0ms

sample2.7s

Algorithm
intervals
Results
1.7s12813×body80valid