Details

Time bar (total: 53.0s)

sample68.0ms

Algorithm
intervals
Results
27.0ms268×body80valid

simplify6.9s

Counts
1 → 1
Iterations
IterNodes
done5009
94334
83012
72159
61263
5559
4207
3103
258
125
012

prune46.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize119.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (- z y) (- (+ 1.0 t) z))
0.3b
(fma (/ (- z y) (- (+ 1.0 t) z)) a x)

rewrite193.0ms

Algorithm
rewrite-expression-head
Rules
59×*-un-lft-identity
41×add-sqr-sqrt
30×times-frac
19×distribute-lft-out--
15×add-cube-cbrt
13×difference-of-squares
6×associate-/r* distribute-lft-out
5×associate-/l*
4×add-cbrt-cube add-exp-log
2×expm1-log1p-u pow1 flip3-- associate-/r/ insert-posit16 log1p-expm1-u flip-- add-log-exp associate-/l/
1×cbrt-undiv clear-num frac-2neg div-sub div-exp fma-udef div-inv
Counts
2 → 72
Calls
2 calls:
180.0ms
(/ (- z y) (- (+ 1.0 t) z))
1.0ms
(fma (/ (- z y) (- (+ 1.0 t) z)) a x)

series326.0ms

Counts
2 → 6
Calls
2 calls:
128.0ms
(/ (- z y) (- (+ 1.0 t) z))
197.0ms
(fma (/ (- z y) (- (+ 1.0 t) z)) a x)

simplify6.3s

Counts
78 → 78
Iterations
IterNodes
done5015
33514
2845
1300
0124

prune1.2s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize147.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ 1 (- (+ 1.0 t) z))
0.2b
(* (- z y) (/ 1 (- (+ 1.0 t) z)))
0.3b
(fma (* (- z y) (/ 1 (- (+ 1.0 t) z))) a x)

rewrite469.0ms

Algorithm
rewrite-expression-head
Rules
63×*-un-lft-identity
48×add-sqr-sqrt
38×times-frac
25×add-cube-cbrt
24×associate-*r*
16×add-exp-log
15×distribute-lft-out--
10×add-cbrt-cube
8×difference-of-squares
7×distribute-lft-out
6×pow1 associate-/r*
5×associate-*l*
4×flip3-- div-exp prod-exp associate-/r/ flip--
3×expm1-log1p-u insert-posit16 log1p-expm1-u associate-/l* add-log-exp unswap-sqr
2×frac-times cbrt-undiv rec-exp 1-exp associate-*l/ cbrt-unprod div-inv
1×clear-num frac-2neg pow-prod-down associate-*r/ un-div-inv *-commutative fma-udef pow-flip inv-pow
Counts
3 → 115
Calls
3 calls:
123.0ms
(/ 1 (- (+ 1.0 t) z))
325.0ms
(* (- z y) (/ 1 (- (+ 1.0 t) z)))
3.0ms
(fma (* (- z y) (/ 1 (- (+ 1.0 t) z))) a x)

series360.0ms

Counts
3 → 9
Calls
3 calls:
79.0ms
(/ 1 (- (+ 1.0 t) z))
75.0ms
(* (- z y) (/ 1 (- (+ 1.0 t) z)))
205.0ms
(fma (* (- z y) (/ 1 (- (+ 1.0 t) z))) a x)

simplify8.2s

Counts
124 → 124
Iterations
IterNodes
done5000
34350
21411
1401
0164

prune1.8s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize186.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (cbrt (/ (- z y) (- (+ 1.0 t) z))) (cbrt (/ (- z y) (- (+ 1.0 t) z))))
3.1b
(cbrt (/ (- z y) (- (+ 1.0 t) z)))
3.1b
(cbrt (/ (- z y) (- (+ 1.0 t) z)))
3.1b
(cbrt (/ (- z y) (- (+ 1.0 t) z)))

rewrite805.0ms

Algorithm
rewrite-expression-head
Rules
651×*-un-lft-identity
372×cbrt-prod
324×times-frac
318×add-sqr-sqrt
212×distribute-lft-out--
108×add-cube-cbrt
93×swap-sqr difference-of-squares
67×distribute-lft-out
39×associate-*r* associate-*l*
14×associate-/r/
11×pow1
9×pow1/3 unswap-sqr
7×cbrt-div flip3-- div-inv flip--
6×add-exp-log
4×expm1-log1p-u add-cbrt-cube insert-posit16 log1p-expm1-u add-log-exp
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 frac-times pow-plus associate-*l/ prod-exp associate-*r/ *-commutative cbrt-unprod
Counts
4 → 348
Calls
4 calls:
523.0ms
(* (cbrt (/ (- z y) (- (+ 1.0 t) z))) (cbrt (/ (- z y) (- (+ 1.0 t) z))))
67.0ms
(cbrt (/ (- z y) (- (+ 1.0 t) z)))
62.0ms
(cbrt (/ (- z y) (- (+ 1.0 t) z)))
84.0ms
(cbrt (/ (- z y) (- (+ 1.0 t) z)))

series2.2s

Counts
4 → 12
Calls
4 calls:
486.0ms
(* (cbrt (/ (- z y) (- (+ 1.0 t) z))) (cbrt (/ (- z y) (- (+ 1.0 t) z))))
571.0ms
(cbrt (/ (- z y) (- (+ 1.0 t) z)))
565.0ms
(cbrt (/ (- z y) (- (+ 1.0 t) z)))
584.0ms
(cbrt (/ (- z y) (- (+ 1.0 t) z)))

simplify7.7s

Counts
360 → 360
Iterations
IterNodes
done5000
33462
21245
1530
0268

prune4.4s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

localize213.0ms

Local error

Found 4 expressions with local error:

0.4b
(cbrt (- (+ 1.0 t) z))
0.5b
(cbrt (- z y))
0.5b
(cbrt (- z y))
0.5b
(cbrt (- z y))

rewrite86.0ms

Algorithm
rewrite-expression-head
Rules
21×cbrt-prod
19×*-un-lft-identity
16×add-sqr-sqrt
8×cbrt-div add-cube-cbrt
5×distribute-lft-out--
4×expm1-log1p-u pow1 flip3-- add-cbrt-cube pow1/3 add-exp-log insert-posit16 log1p-expm1-u flip-- add-log-exp difference-of-squares
1×distribute-lft-out
Counts
4 → 73
Calls
4 calls:
36.0ms
(cbrt (- (+ 1.0 t) z))
10.0ms
(cbrt (- z y))
11.0ms
(cbrt (- z y))
22.0ms
(cbrt (- z y))

series1.4s

Counts
4 → 12
Calls
4 calls:
255.0ms
(cbrt (- (+ 1.0 t) z))
413.0ms
(cbrt (- z y))
367.0ms
(cbrt (- z y))
369.0ms
(cbrt (- z y))

simplify5.1s

Counts
85 → 85
Iterations
IterNodes
done5002
32365
2785
1316
0140

prune1.5s

Pruning

6 alts after pruning (2 fresh and 4 done)

Merged error: 0b

regimes1.9s

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done12
112
011

end0.0ms

sample1.4s

Algorithm
intervals
Results
803.0ms8479×body80valid
0.0ms1×body320valid