Details

Time bar (total: 23.3s)

sample55.0ms

Algorithm
intervals
Results
23.0ms256×body80valid

simplify5.2s

Counts
1 → 1
Iterations

Useful iterations: 4 (169.0ms)

IterNodesCost
01621
13320
27920
320120
463719
5224019
6495219
done500019

prune24.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 27.2b

localize48.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ t y) a)
1.1b
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
1.6b
(+ (* (+ x y) z) (* (+ t y) a))
25.4b
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

rewrite867.0ms

Algorithm
rewrite-expression-head
Rules
40×*-un-lft-identity
20×add-sqr-sqrt
18×add-cube-cbrt
15×times-frac
13×distribute-lft-out
11×add-log-exp
10×associate-*l/
8×add-exp-log add-cbrt-cube
7×flip3-+ flip-+
6×pow1
5×associate-/r*
4×expm1-log1p-u associate-*l* frac-add log1p-expm1-u
3×fma-neg associate-*r* prod-diff associate-/l*
2×flip3-- diff-log sum-log associate-/r/ flip-- associate-/l/
1×cbrt-undiv +-commutative sub-neg fma-def frac-2neg div-sub div-exp pow-prod-down prod-exp associate--l+ clear-num *-commutative cbrt-unprod div-inv unswap-sqr
Counts
4 → 105
Calls
4 calls:
33.0ms
(* (+ t y) a)
144.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
25.0ms
(+ (* (+ x y) z) (* (+ t y) a))
660.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

series1.2s

Counts
4 → 12
Calls
4 calls:
44.0ms
(* (+ t y) a)
168.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
80.0ms
(+ (* (+ x y) z) (* (+ t y) a))
949.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

simplify2.5s

Counts
117 → 117
Iterations

Useful iterations: done (2.4s)

IterNodesCost
01922540
15752315
226932104
done50002080

prune1.1s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 7.6b

localize48.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ t y) a)
1.5b
(fma (+ x y) z (* (+ t y) a))
7.5b
(/ (* y b) (+ (+ x t) y))
22.5b
(/ (fma (+ x y) z (* (+ t y) a)) (+ (+ x t) y))

rewrite182.0ms

Algorithm
rewrite-expression-head
Rules
50×*-un-lft-identity
20×add-sqr-sqrt times-frac
19×distribute-lft-out
18×add-cube-cbrt
13×add-exp-log add-cbrt-cube
10×associate-/r*
6×pow1
4×expm1-log1p-u associate-*l* associate-/r/ log1p-expm1-u associate-/l* add-log-exp
3×cbrt-undiv flip3-+ div-exp associate-*r* flip-+
2×frac-2neg associate-*l/ prod-exp clear-num cbrt-unprod div-inv
1×pow-prod-down *-commutative fma-udef unswap-sqr
Counts
4 → 101
Calls
4 calls:
34.0ms
(* (+ t y) a)
1.0ms
(fma (+ x y) z (* (+ t y) a))
71.0ms
(/ (* y b) (+ (+ x t) y))
71.0ms
(/ (fma (+ x y) z (* (+ t y) a)) (+ (+ x t) y))

series632.0ms

Counts
4 → 12
Calls
4 calls:
34.0ms
(* (+ t y) a)
84.0ms
(fma (+ x y) z (* (+ t y) a))
122.0ms
(/ (* y b) (+ (+ x t) y))
391.0ms
(/ (fma (+ x y) z (* (+ t y) a)) (+ (+ x t) y))

simplify1.6s

Counts
113 → 113
Iterations

Useful iterations: done (1.5s)

IterNodesCost
01531722
13691667
217841517
done50001511

prune882.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 4.4b

localize38.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (+ (+ x t) y) b)
1.5b
(fma (+ x y) z (* (+ t y) a))
9.8b
(/ y (/ (+ (+ x t) y) b))
22.5b
(/ (fma (+ x y) z (* (+ t y) a)) (+ (+ x t) y))

rewrite217.0ms

Algorithm
rewrite-expression-head
Rules
180×*-un-lft-identity
147×times-frac
80×add-sqr-sqrt add-cube-cbrt
60×distribute-lft-out
27×associate-/r*
13×add-exp-log add-cbrt-cube
11×associate-/l*
7×div-inv
5×cbrt-undiv div-exp
4×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
3×frac-2neg clear-num associate-/r/
2×flip3-+ flip-+ associate-/l/
1×fma-udef
Counts
4 → 184
Calls
4 calls:
103.0ms
(/ (+ (+ x t) y) b)
0.0ms
(fma (+ x y) z (* (+ t y) a))
56.0ms
(/ y (/ (+ (+ x t) y) b))
41.0ms
(/ (fma (+ x y) z (* (+ t y) a)) (+ (+ x t) y))

series722.0ms

Counts
4 → 12
Calls
4 calls:
62.0ms
(/ (+ (+ x t) y) b)
82.0ms
(fma (+ x y) z (* (+ t y) a))
228.0ms
(/ y (/ (+ (+ x t) y) b))
350.0ms
(/ (fma (+ x y) z (* (+ t y) a)) (+ (+ x t) y))

simplify1.4s

Counts
196 → 196
Iterations

Useful iterations: done (1.4s)

IterNodesCost
02373362
15783212
227663010
done50003008

prune1.3s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 3.1b

localize35.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ y (+ (+ x t) y))
1.5b
(fma (+ x y) z (* (+ t y) a))
3.9b
(* (/ y (+ (+ x t) y)) b)
22.5b
(/ (fma (+ x y) z (* (+ t y) a)) (+ (+ x t) y))

rewrite195.0ms

Algorithm
rewrite-expression-head
Rules
89×*-un-lft-identity
46×times-frac
39×add-sqr-sqrt
34×add-cube-cbrt
33×distribute-lft-out
21×associate-*l*
13×add-exp-log add-cbrt-cube
10×associate-/r*
6×pow1 associate-/r/ associate-/l*
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×cbrt-undiv flip3-+ div-exp associate-*r* flip-+ div-inv
2×frac-2neg prod-exp clear-num cbrt-unprod unswap-sqr
1×pow-prod-down associate-*l/ *-commutative fma-udef
Counts
4 → 130
Calls
4 calls:
41.0ms
(/ y (+ (+ x t) y))
0.0ms
(fma (+ x y) z (* (+ t y) a))
101.0ms
(* (/ y (+ (+ x t) y)) b)
44.0ms
(/ (fma (+ x y) z (* (+ t y) a)) (+ (+ x t) y))

series695.0ms

Counts
4 → 12
Calls
4 calls:
96.0ms
(/ y (+ (+ x t) y))
69.0ms
(fma (+ x y) z (* (+ t y) a))
219.0ms
(* (/ y (+ (+ x t) y)) b)
311.0ms
(/ (fma (+ x y) z (* (+ t y) a)) (+ (+ x t) y))

simplify851.0ms

Counts
142 → 142
Iterations

Useful iterations: 2 (232.0ms)

IterNodesCost
01612139
13732071
216271915
done50021915

prune771.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 3.1b

regimes936.0ms

Accuracy

20.6% (16.6b remaining)

Error of 19.6b against oracle of 3.0b and baseline of 23.9b

bsearch261.0ms

Steps
ItersRangePoint
7
6.026839760300236e+107
6.923745224778837e+109
7.113260896747718e+108
8
2.3428227933790814e-203
1.9799615726363435e-199
7.624803602048541e-203
5
-1.895141159127535e-231
-6.432134779570075e-232
-1.331450716195835e-231
9
-2.1513615898168565e+80
-1.7027429946796488e+74
-3.878144475311651e+76

simplify5.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
032101
138101
done38101

end0.0ms

sample1.7s

Algorithm
intervals
Results
1.2s7994×body80valid
1.0ms3×body640valid
0.0ms2×body320valid
0.0ms1×body1280valid