Details

Time bar (total: 5.5s)

sample36.0ms

Algorithm
intervals
Results
16.0ms327×body80valid

simplify921.0ms

Counts
1 → 1
Iterations

Useful iterations: done (920.0ms)

IterNodesCost
01417
12517
24617
38117
412517
518717
631917
775417
8244717
done500115

prune11.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.3b

Counts
2 → 2

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (/ 2.0 z) (* 2.0 (- 1.0 t)))
0.0b
(+ (/ (+ (/ 2.0 z) (* 2.0 (- 1.0 t))) t) (/ x y))
0.6b
(/ (+ (/ 2.0 z) (* 2.0 (- 1.0 t))) t)

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
18×*-un-lft-identity
14×times-frac
12×add-sqr-sqrt add-cube-cbrt
7×distribute-lft-out add-log-exp
6×div-inv
5×add-exp-log frac-add add-cbrt-cube
4×associate-+r+ associate-*r/ associate-/l/ associate-/l*
3×pow1 flip3-+ associate-/r* flip-+
2×+-commutative distribute-rgt-in sub-neg flip3-- distribute-lft-in sum-log flip--
1×cbrt-undiv frac-2neg div-exp clear-num
Counts
3 → 67
Calls
3 calls:
8.0ms
(+ (/ 2.0 z) (* 2.0 (- 1.0 t)))
23.0ms
(+ (/ (+ (/ 2.0 z) (* 2.0 (- 1.0 t))) t) (/ x y))
11.0ms
(/ (+ (/ 2.0 z) (* 2.0 (- 1.0 t))) t)

series26.0ms

Counts
3 → 9
Calls
3 calls:
5.0ms
(+ (/ 2.0 z) (* 2.0 (- 1.0 t)))
13.0ms
(+ (/ (+ (/ 2.0 z) (* 2.0 (- 1.0 t))) t) (/ x y))
8.0ms
(/ (+ (/ 2.0 z) (* 2.0 (- 1.0 t))) t)

simplify878.0ms

Counts
76 → 76
Iterations

Useful iterations: 3 (312.0ms)

IterNodesCost
01461353
13891286
210881200
334601188
done50001188

prune149.0ms

Filtered
61 candidates to 76 candidates (-24.6%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New69776
Fresh101
Picked101
Done000
Total71778

Merged error: 0.0b

Counts
78 → 7

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (/ 2.0 t) (- (/ (/ 2.0 t) z) 2.0))
0.0b
(+ (+ (/ 2.0 t) (- (/ (/ 2.0 t) z) 2.0)) (/ x y))
0.2b
(/ (/ 2.0 t) z)

rewrite67.0ms

Algorithm
rewrite-expression-head
Rules
75×times-frac
59×*-un-lft-identity
45×add-sqr-sqrt add-cube-cbrt
17×add-log-exp
13×associate-/l*
8×add-exp-log frac-add add-cbrt-cube
7×sum-log distribute-lft-out
5×div-inv
3×pow1 cbrt-undiv flip3-+ div-exp associate-/r* flip-+
2×+-commutative associate-+r- associate-+r+ flip3-- diff-log flip-- distribute-lft-out--
1×associate-+l- sub-neg associate-+l+ frac-2neg clear-num associate-/l/
Counts
3 → 111
Calls
3 calls:
23.0ms
(+ (/ 2.0 t) (- (/ (/ 2.0 t) z) 2.0))
30.0ms
(+ (+ (/ 2.0 t) (- (/ (/ 2.0 t) z) 2.0)) (/ x y))
9.0ms
(/ (/ 2.0 t) z)

series26.0ms

Counts
3 → 9
Calls
3 calls:
5.0ms
(+ (/ 2.0 t) (- (/ (/ 2.0 t) z) 2.0))
17.0ms
(+ (+ (/ 2.0 t) (- (/ (/ 2.0 t) z) 2.0)) (/ x y))
4.0ms
(/ (/ 2.0 t) z)

simplify530.0ms

Counts
120 → 120
Iterations

Useful iterations: done (526.0ms)

IterNodesCost
02442005
16341876
220091815
done50001807

prune203.0ms

Filtered
94 candidates to 120 candidates (-27.7%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New1173120
Fresh246
Picked101
Done000
Total1207127

Merged error: 0b

Counts
127 → 7

localize10.0ms

Local error

Found 3 expressions with local error:

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

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
19×*-un-lft-identity
17×add-log-exp
8×add-exp-log frac-add add-cbrt-cube
7×sum-log distribute-lft-out
5×add-sqr-sqrt add-cube-cbrt
3×pow1 flip3-+ times-frac flip-+ associate-/l*
2×cbrt-undiv +-commutative associate-+r- associate-+r+ flip3-- diff-log div-exp flip-- distribute-lft-out--
1×associate-+l- sub-neg associate-+l+ frac-2neg prod-exp clear-num associate-/r* cbrt-unprod div-inv
Counts
3 → 62
Calls
3 calls:
15.0ms
(+ (/ 2.0 t) (- (/ 2.0 (* z t)) 2.0))
23.0ms
(+ (+ (/ 2.0 t) (- (/ 2.0 (* z t)) 2.0)) (/ x y))
5.0ms
(/ 2.0 (* z t))

series22.0ms

Counts
3 → 9
Calls
3 calls:
6.0ms
(+ (/ 2.0 t) (- (/ 2.0 (* z t)) 2.0))
12.0ms
(+ (+ (/ 2.0 t) (- (/ 2.0 (* z t)) 2.0)) (/ x y))
4.0ms
(/ 2.0 (* z t))

simplify438.0ms

Counts
71 → 71
Iterations

Useful iterations: done (435.0ms)

IterNodesCost
01441328
13961239
213411176
done50021120

prune109.0ms

Filtered
51 candidates to 71 candidates (-39.2%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New71071
Fresh066
Picked011
Done000
Total71778

Merged error: 0b

Counts
78 → 7

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (/ 1 z) (- 1.0 t))
0.0b
(+ (* 2.0 (/ (+ (/ 1 z) (- 1.0 t)) t)) (/ x y))
0.1b
(/ (+ (/ 1 z) (- 1.0 t)) t)

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
55×*-un-lft-identity
21×times-frac
20×distribute-lft-out
15×add-sqr-sqrt add-cube-cbrt
11×div-inv
10×distribute-lft-out-- add-log-exp
7×associate-/l*
5×add-exp-log frac-add add-cbrt-cube
4×associate-/l/
3×pow1 flip3-+ associate-/r* sum-log flip-+
2×+-commutative associate-+r- associate-+r+ flip3-- flip--
1×cbrt-undiv sub-neg frac-2neg diff-log div-sub associate-*r/ div-exp clear-num
Counts
3 → 81
Calls
3 calls:
11.0ms
(+ (/ 1 z) (- 1.0 t))
21.0ms
(+ (* 2.0 (/ (+ (/ 1 z) (- 1.0 t)) t)) (/ x y))
14.0ms
(/ (+ (/ 1 z) (- 1.0 t)) t)

series23.0ms

Counts
3 → 9
Calls
3 calls:
3.0ms
(+ (/ 1 z) (- 1.0 t))
13.0ms
(+ (* 2.0 (/ (+ (/ 1 z) (- 1.0 t)) t)) (/ x y))
6.0ms
(/ (+ (/ 1 z) (- 1.0 t)) t)

simplify414.0ms

Counts
90 → 90
Iterations

Useful iterations: done (411.0ms)

IterNodesCost
01401361
13901315
213021215
done50021205

prune93.0ms

Filtered
57 candidates to 90 candidates (-57.9%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New90090
Fresh055
Picked011
Done011
Total90797

Merged error: 0b

Counts
97 → 7

regimes353.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01215
11515
done1515

end0.0ms

sample1.1s

Algorithm
intervals
Results
543.0ms10419×body80valid

Profiling

Loading profile data...