Details

Time bar (total: 30.4s)

sample52.0ms

Algorithm
intervals
Results
31.0ms329×body80valid

simplify14.4s

Counts
1 → 1
Iterations
IterNodes
done5000
564956
554906
544856
534806
524756
514706
504656
494606
484556
474506
464456
454406
444356
434306
424256
414206
404156
394106
384056
374006
363956
353906
343856
333806
323756
313706
303656
293606
283556
273506
263456
253406
243356
233306
223256
213206
203156
193106
183056
173006
162956
152906
142598
131847
12930
11468
10362
9310
8277
7240
6200
5156
496
349
226
115
09

prune19.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize17.0ms

Local error

Found 1 expressions with local error:

2.4b
(fma (/ y a) (- z t) x)

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
1×add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt fma-udef insert-posit16 log1p-expm1-u add-log-exp
Counts
1 → 11
Calls
1 calls:
0.0ms
(fma (/ y a) (- z t) x)

series107.0ms

Counts
1 → 3
Calls
1 calls:
107.0ms
(fma (/ y a) (- z t) x)

simplify1.7s

Counts
14 → 14
Iterations
IterNodes
done5002
41607
3272
295
142
025

prune129.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* (/ y a) (- z t)) x)
6.6b
(* (/ y a) (- z t))

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
41×add-sqr-sqrt
36×*-un-lft-identity prod-diff
34×add-cube-cbrt
22×distribute-rgt-in associate-+l+ distribute-lft-in
13×associate-*l*
10×times-frac
7×add-cbrt-cube add-exp-log
5×associate-*r*
4×pow1 sub-neg add-log-exp
2×expm1-log1p-u frac-times flip3-- prod-exp associate-*r/ cbrt-unprod insert-posit16 log1p-expm1-u flip-- unswap-sqr
1×cbrt-undiv +-commutative sum-log fma-def flip3-+ div-exp pow-prod-down associate-*l/ *-commutative flip-+ div-inv distribute-lft-out-- difference-of-squares
Counts
2 → 100
Calls
2 calls:
22.0ms
(+ (* (/ y a) (- z t)) x)
26.0ms
(* (/ y a) (- z t))

series140.0ms

Counts
2 → 6
Calls
2 calls:
70.0ms
(+ (* (/ y a) (- z t)) x)
69.0ms
(* (/ y a) (- z t))

simplify2.4s

Counts
106 → 106
Iterations
IterNodes
done5000
34810
21460
1499
0183

prune567.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize38.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt a)
0.6b
(cbrt a)
0.6b
(cbrt a)
1.7b
(* (/ (* (cbrt y) (cbrt y)) (* (cbrt a) (cbrt a))) (* (/ (cbrt y) (cbrt a)) (- z t)))

rewrite98.0ms

Algorithm
rewrite-expression-head
Rules
73×add-exp-log
44×distribute-rgt-in distribute-lft-in
39×add-cbrt-cube
37×prod-exp cbrt-unprod
36×prod-diff
32×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
17×cbrt-undiv div-exp
9×cbrt-prod frac-times pow1 associate-*r/
5×associate-*l*
4×expm1-log1p-u sub-neg flip3-- insert-posit16 log1p-expm1-u flip-- add-log-exp
3×pow1/3 pow-prod-down associate-*l/
1×times-frac associate-*r* *-commutative div-inv
Counts
4 → 146
Calls
4 calls:
1.0ms
(cbrt a)
1.0ms
(cbrt a)
1.0ms
(cbrt a)
92.0ms
(* (/ (* (cbrt y) (cbrt y)) (* (cbrt a) (cbrt a))) (* (/ (cbrt y) (cbrt a)) (- z t)))

series1.3s

Counts
4 → 12
Calls
4 calls:
294.0ms
(cbrt a)
270.0ms
(cbrt a)
231.0ms
(cbrt a)
458.0ms
(* (/ (* (cbrt y) (cbrt y)) (* (cbrt a) (cbrt a))) (* (/ (cbrt y) (cbrt a)) (- z t)))

simplify2.2s

Counts
158 → 158
Iterations
IterNodes
done5016
24023
1906
0271

prune704.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

localize46.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt a)
0.6b
(cbrt a)
1.9b
(/ (* (/ y (* (cbrt a) (cbrt a))) (- z t)) (cbrt a))
4.3b
(* (/ y (* (cbrt a) (cbrt a))) (- z t))

rewrite121.0ms

Algorithm
rewrite-expression-head
Rules
31×add-sqr-sqrt
27×*-un-lft-identity add-exp-log
25×add-cube-cbrt
19×add-cbrt-cube
18×prod-diff
12×cbrt-prod
11×distribute-rgt-in distribute-lft-in
10×times-frac
8×cbrt-undiv div-exp prod-exp cbrt-unprod
7×associate-*l*
6×pow1 associate-/r*
5×associate-*r* associate-/l/
4×expm1-log1p-u frac-times flip3-- associate-*r/ insert-posit16 log1p-expm1-u flip-- add-log-exp
2×sub-neg pow1/3 associate-*l/ div-inv unswap-sqr
1×clear-num frac-2neg pow-prod-down *-commutative associate-/l* distribute-lft-out-- difference-of-squares
Counts
4 → 126
Calls
4 calls:
1.0ms
(cbrt a)
1.0ms
(cbrt a)
56.0ms
(/ (* (/ y (* (cbrt a) (cbrt a))) (- z t)) (cbrt a))
62.0ms
(* (/ y (* (cbrt a) (cbrt a))) (- z t))

series1.2s

Counts
4 → 12
Calls
4 calls:
346.0ms
(cbrt a)
329.0ms
(cbrt a)
170.0ms
(/ (* (/ y (* (cbrt a) (cbrt a))) (- z t)) (cbrt a))
399.0ms
(* (/ y (* (cbrt a) (cbrt a))) (- z t))

simplify1.8s

Counts
138 → 138
Iterations
IterNodes
done5000
22549
1651
0228

prune994.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0b

regimes634.0ms

Accuracy

0% (0.9b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations
IterNodes
done18
118
015

end0.0ms

sample1.6s

Algorithm
intervals
Results
1.1s10652×body80valid