Details

Time bar (total: 22.5s)

sample64.0ms

Algorithm
intervals
Results
34.0ms337×body80valid

simplify1.7s

Counts
1 → 1
Iterations
IterNodes
done5000
72538
6794
5305
4145
393
254
124
011

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.6b

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
0.2b
(* (* z 3.0) y)
0.2b
(/ y (* z 3.0))
5.5b
(/ t (* (* z 3.0) y))

rewrite166.0ms

Algorithm
rewrite-expression-head
Rules
30×*-un-lft-identity
25×add-sqr-sqrt
23×associate-+l+ add-cbrt-cube add-exp-log add-cube-cbrt
21×prod-diff
15×times-frac
9×pow1 add-log-exp
7×prod-exp cbrt-unprod
6×associate-/l*
5×cbrt-undiv fma-def div-exp div-inv
4×expm1-log1p-u log1p-expm1-u
3×associate-*r* pow-prod-down
2×clear-num associate-/r* sum-log frac-2neg frac-add distribute-lft-out distribute-lft-out--
1×+-commutative sub-neg flip3-+ flip3-- diff-log associate-*l* *-commutative associate-+l- flip-+ flip-- difference-of-squares
Counts
4 → 115
Calls
4 calls:
108.0ms
(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
15.0ms
(* (* z 3.0) y)
16.0ms
(/ y (* z 3.0))
23.0ms
(/ t (* (* z 3.0) y))

series258.0ms

Counts
4 → 12
Calls
4 calls:
135.0ms
(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
34.0ms
(* (* z 3.0) y)
41.0ms
(/ y (* z 3.0))
48.0ms
(/ t (* (* z 3.0) y))

simplify2.3s

Counts
127 → 127
Iterations
IterNodes
done5001
23192
1510
0184

prune898.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize92.0ms

Local error

Found 4 expressions with local error:

3.6b
(/ (/ t (* z 3.0)) y)
9.4b
(cbrt (/ y (* z 3.0)))
9.4b
(cbrt (/ y (* z 3.0)))
9.4b
(cbrt (/ y (* z 3.0)))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
42×times-frac
26×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
21×cbrt-prod
13×add-cbrt-cube add-exp-log
8×div-inv
7×associate-/l*
5×cbrt-undiv div-exp
4×expm1-log1p-u pow1 log1p-expm1-u add-log-exp
3×cbrt-div associate-/r* pow1/3
1×clear-num frac-2neg prod-exp cbrt-unprod associate-/l/
Counts
4 → 104
Calls
4 calls:
23.0ms
(/ (/ t (* z 3.0)) y)
7.0ms
(cbrt (/ y (* z 3.0)))
10.0ms
(cbrt (/ y (* z 3.0)))
4.0ms
(cbrt (/ y (* z 3.0)))

series582.0ms

Counts
4 → 12
Calls
4 calls:
66.0ms
(/ (/ t (* z 3.0)) y)
207.0ms
(cbrt (/ y (* z 3.0)))
156.0ms
(cbrt (/ y (* z 3.0)))
153.0ms
(cbrt (/ y (* z 3.0)))

simplify1.9s

Counts
116 → 116
Iterations
IterNodes
done5001
21534
1357
0169

prune1.1s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize110.0ms

Local error

Found 4 expressions with local error:

1.9b
(+ (- (/ (/ t (* z 3.0)) y) (/ y (* z 3.0))) (/ y (* z 3.0)))
3.6b
(/ (/ t (* z 3.0)) y)
9.4b
(cbrt (/ y (* z 3.0)))
9.4b
(cbrt (/ y (* z 3.0)))

rewrite403.0ms

Algorithm
rewrite-expression-head
Rules
325×times-frac
180×*-un-lft-identity
178×add-sqr-sqrt
177×associate-+l+
175×prod-diff
173×add-cube-cbrt
60×div-inv
14×cbrt-prod
13×add-cbrt-cube add-exp-log
9×add-log-exp
7×associate-/l*
6×fma-def
5×cbrt-undiv div-exp
4×expm1-log1p-u pow1 log1p-expm1-u
3×associate-/r* frac-add
2×cbrt-div sum-log pow1/3 distribute-lft-out distribute-lft-out-- difference-of-squares
1×+-commutative clear-num sub-neg frac-2neg flip3-+ flip3-- diff-log prod-exp frac-sub associate-+l- cbrt-unprod flip-+ flip-- associate-/l/
Counts
4 → 289
Calls
4 calls:
340.0ms
(+ (- (/ (/ t (* z 3.0)) y) (/ y (* z 3.0))) (/ y (* z 3.0)))
18.0ms
(/ (/ t (* z 3.0)) y)
19.0ms
(cbrt (/ y (* z 3.0)))
8.0ms
(cbrt (/ y (* z 3.0)))

series411.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(+ (- (/ (/ t (* z 3.0)) y) (/ y (* z 3.0))) (/ y (* z 3.0)))
38.0ms
(/ (/ t (* z 3.0)) y)
158.0ms
(cbrt (/ y (* z 3.0)))
162.0ms
(cbrt (/ y (* z 3.0)))

simplify2.7s

Counts
301 → 301
Iterations
IterNodes
done5001
23134
1614
0247

prune4.0s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize127.0ms

Local error

Found 4 expressions with local error:

9.4b
(cbrt (/ y (* z 3.0)))
13.5b
(cbrt (/ t (* z 3.0)))
13.5b
(cbrt (/ t (* z 3.0)))
13.5b
(cbrt (/ t (* z 3.0)))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
28×cbrt-prod
12×add-sqr-sqrt *-un-lft-identity times-frac add-cube-cbrt
4×expm1-log1p-u pow1 cbrt-div add-cbrt-cube pow1/3 add-exp-log log1p-expm1-u div-inv add-log-exp
Counts
4 → 72
Calls
4 calls:
9.0ms
(cbrt (/ y (* z 3.0)))
8.0ms
(cbrt (/ t (* z 3.0)))
8.0ms
(cbrt (/ t (* z 3.0)))
9.0ms
(cbrt (/ t (* z 3.0)))

series627.0ms

Counts
4 → 12
Calls
4 calls:
151.0ms
(cbrt (/ y (* z 3.0)))
146.0ms
(cbrt (/ t (* z 3.0)))
158.0ms
(cbrt (/ t (* z 3.0)))
172.0ms
(cbrt (/ t (* z 3.0)))

simplify1.8s

Counts
84 → 84
Iterations
IterNodes
done5002
42856
3702
2287
1162
0108

prune953.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

regimes593.0ms

Accuracy

49.3% (1.1b remaining)

Error of 1.1b against oracle of 0.0b and baseline of 2.2b

bsearch2.0ms

simplify33.0ms

Iterations
IterNodes
done81
281
168
047

end0.0ms

sample1.4s

Algorithm
intervals
Results
938.0ms11164×body80valid