Details

Time bar (total: 11.9s)

sample53.0ms

Algorithm
intervals
Results
34.0ms256×body80valid

simplify1.1s

Counts
1 → 1
Iterations
IterNodes
done2004
61725
5509
4215
3116
252
126
013

prune10.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize17.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (/ (* 2.0 z) y) (/ t z))
0.5b
(/ 2.0 (- (/ (* 2.0 z) y) (/ t z)))

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
128×times-frac
115×add-sqr-sqrt
100×*-un-lft-identity
91×prod-diff
90×add-cube-cbrt
22×div-inv
10×difference-of-squares
7×fma-neg
6×associate-/r*
5×distribute-lft-out--
4×add-cbrt-cube add-exp-log add-log-exp
3×associate-/r/ associate-/l*
2×expm1-log1p-u pow1 flip3-- frac-sub insert-posit16 log1p-expm1-u flip--
1×cbrt-undiv clear-num sub-neg frac-2neg diff-log div-exp
Counts
2 → 162
Calls
2 calls:
15.0ms
(- (/ (* 2.0 z) y) (/ t z))
28.0ms
(/ 2.0 (- (/ (* 2.0 z) y) (/ t z)))

series75.0ms

Counts
2 → 6
Calls
2 calls:
42.0ms
(- (/ (* 2.0 z) y) (/ t z))
33.0ms
(/ 2.0 (- (/ (* 2.0 z) y) (/ t z)))

simplify914.0ms

Counts
168 → 168
Iterations
IterNodes
done2000
21635
1636
0283

prune648.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize33.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ 2.0 (- (/ (* 2.0 z) y) (/ t z)))
15.3b
(cbrt (/ 2.0 (- (/ (* 2.0 z) y) (/ t z))))
15.3b
(cbrt (/ 2.0 (- (/ (* 2.0 z) y) (/ t z))))
15.3b
(cbrt (/ 2.0 (- (/ (* 2.0 z) y) (/ t z))))

rewrite81.0ms

Algorithm
rewrite-expression-head
Rules
110×add-sqr-sqrt
85×times-frac
75×cbrt-prod
71×*-un-lft-identity
45×add-cube-cbrt
26×difference-of-squares
13×distribute-lft-out--
12×associate-/r/
6×associate-/r* add-cbrt-cube add-exp-log
4×expm1-log1p-u pow1 flip3-- frac-sub insert-posit16 log1p-expm1-u div-inv flip-- add-log-exp
3×cbrt-div pow1/3 associate-/l*
1×cbrt-undiv clear-num frac-2neg div-exp
Counts
4 → 156
Calls
4 calls:
30.0ms
(/ 2.0 (- (/ (* 2.0 z) y) (/ t z)))
19.0ms
(cbrt (/ 2.0 (- (/ (* 2.0 z) y) (/ t z))))
14.0ms
(cbrt (/ 2.0 (- (/ (* 2.0 z) y) (/ t z))))
14.0ms
(cbrt (/ 2.0 (- (/ (* 2.0 z) y) (/ t z))))

series509.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(/ 2.0 (- (/ (* 2.0 z) y) (/ t z)))
154.0ms
(cbrt (/ 2.0 (- (/ (* 2.0 z) y) (/ t z))))
153.0ms
(cbrt (/ 2.0 (- (/ (* 2.0 z) y) (/ t z))))
172.0ms
(cbrt (/ 2.0 (- (/ (* 2.0 z) y) (/ t z))))

simplify709.0ms

Counts
168 → 168
Iterations
IterNodes
done2003
2789
1323
0177

prune1.1s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize60.0ms

Local error

Found 4 expressions with local error:

15.3b
(cbrt (* (* (/ (cbrt 2.0) (cbrt (- (/ (* 2.0 z) y) (/ t z)))) (/ (cbrt 2.0) (cbrt (- (/ (* 2.0 z) y) (/ t z))))) (/ (cbrt 2.0) (cbrt (- (/ (* 2.0 z) y) (/ t z))))))
15.7b
(cbrt (- (/ (* 2.0 z) y) (/ t z)))
15.7b
(cbrt (- (/ (* 2.0 z) y) (/ t z)))
15.7b
(cbrt (- (/ (* 2.0 z) y) (/ t z)))

rewrite204.0ms

Algorithm
rewrite-expression-head
Rules
22×add-sqr-sqrt
19×cbrt-prod
16×cbrt-div
13×*-un-lft-identity
7×add-cube-cbrt
6×difference-of-squares
5×frac-times associate-*l/
4×expm1-log1p-u pow1 add-cbrt-cube pow1/3 add-exp-log insert-posit16 log1p-expm1-u add-log-exp
3×times-frac flip3-- associate-*r/ frac-sub flip-- distribute-lft-out--
1×pow3 rem-cbrt-cube
Counts
4 → 80
Calls
4 calls:
152.0ms
(cbrt (* (* (/ (cbrt 2.0) (cbrt (- (/ (* 2.0 z) y) (/ t z)))) (/ (cbrt 2.0) (cbrt (- (/ (* 2.0 z) y) (/ t z))))) (/ (cbrt 2.0) (cbrt (- (/ (* 2.0 z) y) (/ t z))))))
21.0ms
(cbrt (- (/ (* 2.0 z) y) (/ t z)))
15.0ms
(cbrt (- (/ (* 2.0 z) y) (/ t z)))
15.0ms
(cbrt (- (/ (* 2.0 z) y) (/ t z)))

series582.0ms

Counts
4 → 12
Calls
4 calls:
182.0ms
(cbrt (* (* (/ (cbrt 2.0) (cbrt (- (/ (* 2.0 z) y) (/ t z)))) (/ (cbrt 2.0) (cbrt (- (/ (* 2.0 z) y) (/ t z))))) (/ (cbrt 2.0) (cbrt (- (/ (* 2.0 z) y) (/ t z))))))
125.0ms
(cbrt (- (/ (* 2.0 z) y) (/ t z)))
114.0ms
(cbrt (- (/ (* 2.0 z) y) (/ t z)))
161.0ms
(cbrt (- (/ (* 2.0 z) y) (/ t z)))

simplify767.0ms

Counts
92 → 92
Iterations
IterNodes
done2000
31922
2649
1270
0136

prune730.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

localize79.0ms

Local error

Found 4 expressions with local error:

15.3b
(cbrt (/ 2.0 (- (/ (* 2.0 z) y) (/ t z))))
15.7b
(cbrt (- (/ (* 2.0 z) y) (/ t z)))
15.7b
(cbrt (- (/ (* 2.0 z) y) (/ t z)))
15.7b
(cbrt (- (/ (* 2.0 z) y) (/ t z)))

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
47×add-sqr-sqrt
43×cbrt-prod
29×*-un-lft-identity
24×times-frac
17×add-cube-cbrt
12×difference-of-squares
10×cbrt-div
6×distribute-lft-out--
4×expm1-log1p-u pow1 flip3-- add-cbrt-cube pow1/3 add-exp-log frac-sub insert-posit16 log1p-expm1-u flip-- add-log-exp
3×associate-/r/
1×div-inv
Counts
4 → 97
Calls
4 calls:
12.0ms
(cbrt (/ 2.0 (- (/ (* 2.0 z) y) (/ t z))))
15.0ms
(cbrt (- (/ (* 2.0 z) y) (/ t z)))
12.0ms
(cbrt (- (/ (* 2.0 z) y) (/ t z)))
12.0ms
(cbrt (- (/ (* 2.0 z) y) (/ t z)))

series584.0ms

Counts
4 → 12
Calls
4 calls:
165.0ms
(cbrt (/ 2.0 (- (/ (* 2.0 z) y) (/ t z))))
117.0ms
(cbrt (- (/ (* 2.0 z) y) (/ t z)))
146.0ms
(cbrt (- (/ (* 2.0 z) y) (/ t z)))
156.0ms
(cbrt (- (/ (* 2.0 z) y) (/ t z)))

simplify934.0ms

Counts
109 → 109
Iterations
IterNodes
done2000
31843
2706
1319
0183

prune1.1s

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0.0b

regimes224.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done12
112
011

end0.0ms

sample1.2s

Algorithm
intervals
Results
922.0ms8000×body80valid