Details

Time bar (total: 16.8s)

sample45.0ms

Algorithm
intervals
Results
18.0ms256×body80valid

simplify3.2s

Counts
1 → 1
Iterations
IterNodes
done5001
64555
52129
4576
3183
271
132
016

prune21.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 24.7b

localize60.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ t y) a)
1.8b
(+ (* (+ x y) z) (* (+ t y) a))
2.4b
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
23.0b
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

rewrite288.0ms

Algorithm
rewrite-expression-head
Rules
38×*-un-lft-identity
18×add-sqr-sqrt
16×add-cube-cbrt
15×times-frac
13×distribute-lft-out
11×add-log-exp
10×associate-*l/
8×add-cbrt-cube add-exp-log
7×flip3-+ flip-+
6×pow1
5×associate-/r*
4×associate-*l* frac-add
3×associate-*r* associate-/l*
2×sum-log flip3-- diff-log associate-/r/ flip-- associate-/l/
1×cbrt-undiv +-commutative clear-num sub-neg frac-2neg div-sub div-exp pow-prod-down prod-exp associate--l+ *-commutative cbrt-unprod div-inv unswap-sqr
Counts
4 → 90
Calls
4 calls:
27.0ms
(* (+ t y) a)
20.0ms
(+ (* (+ x y) z) (* (+ t y) a))
70.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
168.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

series996.0ms

Counts
4 → 12
Calls
4 calls:
34.0ms
(* (+ t y) a)
55.0ms
(+ (* (+ x y) z) (* (+ t y) a))
138.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
768.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

simplify917.0ms

Counts
102 → 102
Iterations
IterNodes
done5002
22333
1532
0178

prune733.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 6.0b

localize47.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (+ x (+ y t)) y)
1.8b
(+ (* (+ y t) a) (* (+ y x) z))
3.3b
(/ b (/ (+ x (+ y t)) y))
21.0b
(/ (+ (* (+ y t) a) (* (+ y x) z)) (+ x (+ y t)))

rewrite188.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*
16×associate-*l/
13×add-cbrt-cube add-exp-log
12×flip3-+ flip-+
11×associate-/l*
8×frac-add associate-/l/
7×div-inv
6×add-log-exp
5×cbrt-undiv div-exp
4×pow1
3×clear-num frac-2neg associate-/r/
1×+-commutative sum-log
Counts
4 → 189
Calls
4 calls:
64.0ms
(/ (+ x (+ y t)) y)
19.0ms
(+ (* (+ y t) a) (* (+ y x) z))
38.0ms
(/ b (/ (+ x (+ y t)) y))
54.0ms
(/ (+ (* (+ y t) a) (* (+ y x) z)) (+ x (+ y t)))

series437.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(/ (+ x (+ y t)) y)
57.0ms
(+ (* (+ y t) a) (* (+ y x) z))
66.0ms
(/ b (/ (+ x (+ y t)) y))
280.0ms
(/ (+ (* (+ y t) a) (* (+ y x) z)) (+ x (+ y t)))

simplify1.1s

Counts
201 → 201
Iterations
IterNodes
done5001
23828
1802
0285

prune1.3s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 2.3b

localize24.0ms

Local error

Found 3 expressions with local error:

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

rewrite243.0ms

Algorithm
rewrite-expression-head
Rules
154×*-un-lft-identity
135×times-frac
78×add-sqr-sqrt
69×add-cube-cbrt
49×distribute-lft-out
22×associate-/r*
10×add-cbrt-cube add-exp-log
8×associate-/l* add-log-exp
6×div-inv
4×cbrt-undiv div-exp
3×pow1 difference-of-squares
2×clear-num frac-2neg flip3-+ diff-log frac-sub flip-+ distribute-lft-out-- associate-/l/
1×sum-log sub-neg flip3-- associate--l+ associate-/r/ flip--
Counts
3 → 152
Calls
3 calls:
119.0ms
(- (+ a z) (/ b (/ (+ x (+ y t)) y)))
78.0ms
(/ (+ x (+ y t)) y)
39.0ms
(/ b (/ (+ x (+ y t)) y))

series210.0ms

Counts
3 → 9
Calls
3 calls:
118.0ms
(- (+ a z) (/ b (/ (+ x (+ y t)) y)))
33.0ms
(/ (+ x (+ y t)) y)
59.0ms
(/ b (/ (+ x (+ y t)) y))

simplify920.0ms

Counts
161 → 161
Iterations
IterNodes
done5001
22730
1608
0228

prune929.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 2.3b

localize31.0ms

Local error

Found 3 expressions with local error:

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

rewrite153.0ms

Algorithm
rewrite-expression-head
Rules
61×*-un-lft-identity
31×times-frac
28×add-sqr-sqrt
23×add-cube-cbrt
22×distribute-lft-out
21×associate-*l*
10×add-cbrt-cube add-exp-log
8×add-log-exp
5×pow1 associate-/r*
4×associate-/r/
3×flip3-+ associate-*r* associate-*l/ flip-+ associate-/l*
2×cbrt-undiv diff-log div-exp prod-exp associate-*r/ frac-sub cbrt-unprod div-inv distribute-lft-out-- unswap-sqr
1×clear-num sum-log sub-neg frac-2neg flip3-- pow-prod-down associate--l+ *-commutative flip--
Counts
3 → 95
Calls
3 calls:
44.0ms
(- (+ a z) (* 1 (* (/ b (+ y (+ t x))) y)))
24.0ms
(/ b (+ y (+ t x)))
79.0ms
(* (/ b (+ y (+ t x))) y)

series215.0ms

Counts
3 → 9
Calls
3 calls:
87.0ms
(- (+ a z) (* 1 (* (/ b (+ y (+ t x))) y)))
57.0ms
(/ b (+ y (+ t x)))
72.0ms
(* (/ b (+ y (+ t x))) y)

simplify1.1s

Counts
104 → 104
Iterations
IterNodes
done5001
22488
1451
0155

prune466.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 2.3b

regimes850.0ms

Accuracy

37.7% (10.5b remaining)

Error of 13.6b against oracle of 3.1b and baseline of 19.9b

bsearch269.0ms

Steps
ItersRangePoint
11
4.0721326822252617e+40
1.022342862720565e+63
1.6739663423960826e+41
9
9.63069062794707e-94
2.551443848983806e-85
9.892660377084268e-94
7
2.614178172688935e-120
2.2476473970413776e-118
2.197722128452239e-118
9
-2.0076717784505904e+49
-6.499354134947939e+42
-3.182509812130428e+46

simplify756.0ms

Iterations
IterNodes
done5002
142990
131853
12716
11481
10244
9186
8129
7103
687
574
468
365
259
154
037

end0.0ms

sample1.4s

Algorithm
intervals
Results
872.0ms7996×body80valid
0.0ms2×body640valid
0.0ms2×body320valid