Details

Time bar (total: 14.1s)

sample35.0ms

Algorithm
intervals
Results
14.0ms256×body80valid

simplify2.8s

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

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 27.5b

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ t y) a)
1.0b
(+ (* (+ x y) z) (* (+ t y) a))
1.9b
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
25.6b
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

rewrite217.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:
16.0ms
(* (+ t y) a)
11.0ms
(+ (* (+ x y) z) (* (+ t y) a))
58.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
128.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

series822.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(* (+ t y) a)
56.0ms
(+ (* (+ x y) z) (* (+ t y) a))
111.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
631.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

simplify676.0ms

Counts
102 → 102
Iterations
IterNodes
done5002
22333
1532
0178

prune531.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 5.5b

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (+ x (+ y t)) y)
1.0b
(+ (* (+ y t) a) (* (+ y x) z))
4.0b
(/ b (/ (+ x (+ y t)) y))
23.3b
(/ (+ (* (+ y t) a) (* (+ y x) z)) (+ x (+ y t)))

rewrite143.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:
42.0ms
(/ (+ x (+ y t)) y)
11.0ms
(+ (* (+ y t) a) (* (+ y x) z))
26.0ms
(/ b (/ (+ x (+ y t)) y))
56.0ms
(/ (+ (* (+ y t) a) (* (+ y x) z)) (+ x (+ y t)))

series360.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(/ (+ x (+ y t)) y)
56.0ms
(+ (* (+ y t) a) (* (+ y x) z))
57.0ms
(/ b (/ (+ x (+ y t)) y))
225.0ms
(/ (+ (* (+ y t) a) (* (+ y x) z)) (+ x (+ y t)))

simplify880.0ms

Counts
201 → 201
Iterations
IterNodes
done5001
23828
1802
0285

prune886.0ms

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 3.0b

localize15.0ms

Local error

Found 3 expressions with local error:

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

rewrite149.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:
74.0ms
(- (+ a z) (/ b (/ (+ x (+ y t)) y)))
43.0ms
(/ (+ x (+ y t)) y)
26.0ms
(/ b (/ (+ x (+ y t)) y))

series156.0ms

Counts
3 → 9
Calls
3 calls:
77.0ms
(- (+ a z) (/ b (/ (+ x (+ y t)) y)))
21.0ms
(/ (+ x (+ y t)) y)
57.0ms
(/ b (/ (+ x (+ y t)) y))

simplify786.0ms

Counts
161 → 161
Iterations
IterNodes
done5001
22730
1608
0228

prune597.0ms

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 3.0b

localize14.0ms

Local error

Found 3 expressions with local error:

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

rewrite81.0ms

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

series148.0ms

Counts
3 → 9
Calls
3 calls:
56.0ms
(- z (* (/ b (+ y (+ t x))) y))
41.0ms
(/ b (+ y (+ t x)))
51.0ms
(* (/ b (+ y (+ t x))) y)

simplify520.0ms

Counts
98 → 98
Iterations
IterNodes
done5001
21530
1320
0125

prune340.0ms

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 3.0b

regimes898.0ms

Accuracy

10.9% (15.1b remaining)

Error of 18.0b against oracle of 2.8b and baseline of 19.8b

bsearch203.0ms

Steps
ItersRangePoint
8
2.2492187216691533e+29
1.1810900825178078e+33
6.3997674104296266e+32
8
7.037148421575059e-167
2.2403175115732038e-163
7.190504744030889e-167
6
-1.0156204216490175e-299
-2.181917009464847e-300
-3.9373170579933294e-300
7
-2.952985244271151e+78
-3.845605078781637e+76
-4.3473990959534403e+77

simplify1.5s

Iterations
IterNodes
done5002
133536
121092
11675
10256
9190
8130
7101
684
571
465
362
256
153
038

end0.0ms

sample1.2s

Algorithm
intervals
Results
858.0ms7998×body80valid
0.0ms1×body320valid
0.0ms1×body160valid