Details

Time bar (total: 18.6s)

sample35.0ms

Algorithm
intervals
Results
10.0ms231×body80valid
2.0ms12×body1280valid
2.0ms14×body640valid
2.0ms17×body320valid
1.0ms7×body160valid

simplify1.9s

Counts
1 → 1
Iterations
IterNodes
done5001
63019
5643
4223
3109
252
122
011

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 17.2b

localize32.0ms

Local error

Found 3 expressions with local error:

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

rewrite121.0ms

Algorithm
rewrite-expression-head
Rules
18×*-un-lft-identity
17×add-sqr-sqrt
10×add-cbrt-cube add-exp-log
8×add-log-exp
7×add-cube-cbrt
5×pow1 associate-/r* times-frac associate-*r* distribute-lft-out--
4×flip3-- associate-*r/ flip-- difference-of-squares
3×sub-neg associate-*l*
2×distribute-rgt-in cbrt-undiv distribute-lft-in diff-log div-exp prod-exp associate-/r/ frac-sub cbrt-unprod associate-/l/
1×clear-num sum-log frac-2neg flip3-+ pow-prod-down associate--l+ *-commutative flip-+ div-inv distribute-lft-out associate-/l* unswap-sqr
Counts
3 → 74
Calls
3 calls:
32.0ms
(* y (- z t))
50.0ms
(- (+ x y) (/ (* y (- z t)) (- a t)))
35.0ms
(/ (* y (- z t)) (- a t))

series349.0ms

Counts
3 → 9
Calls
3 calls:
65.0ms
(* y (- z t))
197.0ms
(- (+ x y) (/ (* y (- z t)) (- a t)))
88.0ms
(/ (* y (- z t)) (- a t))

simplify1.0s

Counts
83 → 83
Iterations
IterNodes
done5000
21734
1414
0154

prune517.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 4.4b

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite383.0ms

Algorithm
rewrite-expression-head
Rules
221×times-frac
205×add-sqr-sqrt
203×*-un-lft-identity
92×add-cube-cbrt
55×difference-of-squares
54×distribute-lft-out--
36×associate-/r*
11×add-cbrt-cube add-exp-log associate-/r/ add-log-exp
8×associate-/l*
7×flip3-- flip--
6×div-inv
4×pow1 cbrt-undiv div-exp
2×associate-+r+ clear-num sum-log sub-neg frac-2neg diff-log distribute-lft-out associate-/l/
1×+-commutative associate-+r- flip3-+ div-sub flip-+
Counts
4 → 227
Calls
4 calls:
237.0ms
(+ x (- y (/ y (/ (- a t) (- z t)))))
18.0ms
(/ (- a t) (- z t))
95.0ms
(- y (/ y (/ (- a t) (- z t))))
22.0ms
(/ y (/ (- a t) (- z t)))

series582.0ms

Counts
4 → 12
Calls
4 calls:
104.0ms
(+ x (- y (/ y (/ (- a t) (- z t)))))
84.0ms
(/ (- a t) (- z t))
176.0ms
(- y (/ y (/ (- a t) (- z t))))
217.0ms
(/ y (/ (- a t) (- z t)))

simplify1.4s

Counts
239 → 239
Iterations
IterNodes
done5001
24291
1867
0319

prune1.4s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 4.4b

localize41.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ t (- z t))
0.0b
(- (/ a (- z t)) (/ t (- z t)))
2.7b
(- y (/ y (- (/ a (- z t)) (/ t (- z t)))))
3.3b
(/ y (- (/ a (- z t)) (/ t (- z t))))

rewrite474.0ms

Algorithm
rewrite-expression-head
Rules
187×*-un-lft-identity
160×times-frac
140×add-sqr-sqrt
65×distribute-lft-out--
47×add-cube-cbrt
36×difference-of-squares
26×associate-/r/
23×associate-/r*
15×distribute-rgt-out--
14×flip3-- flip--
12×div-inv
8×add-cbrt-cube add-exp-log add-log-exp
6×associate-/l*
4×pow1
2×cbrt-undiv clear-num sub-neg frac-2neg diff-log div-exp frac-sub sub-div
Counts
4 → 172
Calls
4 calls:
11.0ms
(/ t (- z t))
131.0ms
(- (/ a (- z t)) (/ t (- z t)))
190.0ms
(- y (/ y (- (/ a (- z t)) (/ t (- z t)))))
133.0ms
(/ y (- (/ a (- z t)) (/ t (- z t))))

series499.0ms

Counts
4 → 12
Calls
4 calls:
71.0ms
(/ t (- z t))
124.0ms
(- (/ a (- z t)) (/ t (- z t)))
135.0ms
(- y (/ y (- (/ a (- z t)) (/ t (- z t)))))
170.0ms
(/ y (- (/ a (- z t)) (/ t (- z t))))

simplify1.3s

Counts
184 → 184
Iterations
IterNodes
done5000
22063
1545
0264

prune1.3s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 4.4b

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ a (- z t)) (/ t (- z t)))
0.6b
(/ 1 (/ (- (/ a (- z t)) (/ t (- z t))) y))
3.3b
(/ (- (/ a (- z t)) (/ t (- z t))) y)
5.6b
(- y (/ 1 (/ (- (/ a (- z t)) (/ t (- z t))) y)))

rewrite858.0ms

Algorithm
rewrite-expression-head
Rules
756×times-frac
656×*-un-lft-identity
494×add-sqr-sqrt
208×add-cube-cbrt
206×distribute-lft-out--
107×difference-of-squares
70×associate-/r/
61×associate-/r*
52×distribute-rgt-out--
41×div-inv
37×flip3-- flip--
21×associate-/l*
17×add-exp-log
11×add-cbrt-cube
8×div-exp add-log-exp
5×pow1
4×cbrt-undiv associate-/l/
2×rec-exp clear-num sub-neg frac-2neg diff-log 1-exp frac-sub sub-div
1×div-sub pow-flip inv-pow
Counts
4 → 397
Calls
4 calls:
123.0ms
(- (/ a (- z t)) (/ t (- z t)))
168.0ms
(/ 1 (/ (- (/ a (- z t)) (/ t (- z t))) y))
255.0ms
(/ (- (/ a (- z t)) (/ t (- z t))) y)
269.0ms
(- y (/ 1 (/ (- (/ a (- z t)) (/ t (- z t))) y)))

series702.0ms

Counts
4 → 12
Calls
4 calls:
90.0ms
(- (/ a (- z t)) (/ t (- z t)))
274.0ms
(/ 1 (/ (- (/ a (- z t)) (/ t (- z t))) y))
158.0ms
(/ (- (/ a (- z t)) (/ t (- z t))) y)
181.0ms
(- y (/ 1 (/ (- (/ a (- z t)) (/ t (- z t))) y)))

simplify1.1s

Counts
409 → 409
Iterations
IterNodes
done5001
11474
0525

prune1.7s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 4.4b

regimes732.0ms

Accuracy

10.2% (4.7b remaining)

Error of 8.4b against oracle of 3.7b and baseline of 8.9b

bsearch67.0ms

Steps
ItersRangePoint
3
4.0356565631473004e-100
5.070879917928193e-100
4.776220601035188e-100
3
-7.713673533084189e-160
-5.677852690405708e-160
-7.329630304780208e-160

simplify7.0ms

Iterations
IterNodes
done38
138
031

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.1s7334×body80valid
137.0ms453×body640valid
79.0ms263×body1280valid
70.0ms394×body320valid
63.0ms251×body160valid
7.0ms18×body2560valid