Details

Time bar (total: 7.9s)

sample31.0ms

Algorithm
intervals
Results
11.0ms281×body80valid

simplify2.1s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01011
11711
23211
35711
49111
513111
615811
718411
824011
931111
1042311
1159711
1278711
13102311
14119511
15138511
16159411
17176711
18195011
19215911
20233211
21251511
22272411
23289711
24308011
25328411
26345711
27364011
28384411
29401911
30420211
31440611
32458111
33476411
34497011
done500011

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 10.1b

Counts
2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

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

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
10×*-un-lft-identity
8×add-sqr-sqrt
7×add-exp-log add-cbrt-cube
5×times-frac associate-/r*
4×add-cube-cbrt add-log-exp
2×pow1 cbrt-undiv flip3-- associate-*r/ div-exp associate-/r/ flip-- associate-/l/ distribute-lft-out-- difference-of-squares
1×+-commutative frac-2neg flip3-+ prod-exp clear-num sum-log cbrt-unprod flip-+ div-inv distribute-lft-out associate-/l*
Counts
2 → 41
Calls
2 calls:
8.0ms
(+ x (/ (* y (- z t)) (- a t)))
10.0ms
(/ (* y (- z t)) (- a t))

series53.0ms

Counts
2 → 6
Calls
2 calls:
35.0ms
(+ x (/ (* y (- z t)) (- a t)))
19.0ms
(/ (* y (- z t)) (- a t))

simplify941.0ms

Counts
47 → 47
Iterations

Useful iterations: done (940.0ms)

IterNodesCost
099629
1283587
2933529
34093529
done5000527

prune75.0ms

Filtered
35 candidates to 47 candidates (-34.3%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New44347
Fresh000
Picked011
Done000
Total44448

Merged error: 0.0b

Counts
48 → 4

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite67.0ms

Algorithm
rewrite-expression-head
Rules
218×times-frac
197×*-un-lft-identity
195×add-sqr-sqrt
91×add-cube-cbrt
52×distribute-lft-out-- difference-of-squares
36×associate-/r*
11×associate-/r/
10×add-exp-log add-cbrt-cube
8×associate-/l*
6×flip3-- flip-- div-inv
5×add-log-exp
4×cbrt-undiv div-exp
3×pow1
2×frac-2neg clear-num associate-/l/
1×+-commutative flip3-+ div-sub sum-log flip-+ distribute-lft-out
Counts
3 → 206
Calls
3 calls:
32.0ms
(+ x (/ y (/ (- a t) (- z t))))
9.0ms
(/ (- a t) (- z t))
13.0ms
(/ y (/ (- a t) (- z t)))

series84.0ms

Counts
3 → 9
Calls
3 calls:
39.0ms
(+ x (/ y (/ (- a t) (- z t))))
15.0ms
(/ (- a t) (- z t))
31.0ms
(/ y (/ (- a t) (- z t)))

simplify613.0ms

Counts
215 → 215
Iterations

Useful iterations: 2 (210.0ms)

IterNodesCost
02923733
17013484
227353378
done50013378

prune189.0ms

Filtered
145 candidates to 215 candidates (-48.3%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New2132215
Fresh112
Picked101
Done011
Total2154219

Merged error: 0b

Counts
219 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (/ 1 (/ (/ (- a t) (- z t)) y)))
0.0b
(/ (- a t) (- z t))
0.2b
(/ 1 (/ (/ (- a t) (- z t)) y))
2.1b
(/ (/ (- a t) (- z t)) y)

rewrite196.0ms

Algorithm
rewrite-expression-head
Rules
1181×times-frac
797×*-un-lft-identity
794×add-sqr-sqrt
450×add-cube-cbrt
172×distribute-lft-out-- difference-of-squares
105×associate-/r*
39×associate-/l*
35×associate-/r/
32×add-exp-log
24×div-inv
20×add-cbrt-cube
19×div-exp
18×flip3-- flip--
10×cbrt-undiv
6×add-log-exp
5×pow1
3×rec-exp frac-2neg 1-exp div-sub clear-num associate-/l/
2×distribute-lft-out
1×+-commutative pow-flip flip3-+ sum-log flip-+ inv-pow
Counts
4 → 624
Calls
4 calls:
79.0ms
(+ x (/ 1 (/ (/ (- a t) (- z t)) y)))
9.0ms
(/ (- a t) (- z t))
27.0ms
(/ 1 (/ (/ (- a t) (- z t)) y))
18.0ms
(/ (/ (- a t) (- z t)) y)

series118.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(+ x (/ 1 (/ (/ (- a t) (- z t)) y)))
11.0ms
(/ (- a t) (- z t))
38.0ms
(/ 1 (/ (/ (- a t) (- z t)) y))
20.0ms
(/ (/ (- a t) (- z t)) y)

simplify556.0ms

Counts
636 → 636
Iterations

Useful iterations: done (527.0ms)

IterNodesCost
072514223
1185012822
done500011582

prune340.0ms

Filtered
292 candidates to 636 candidates (-117.8%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New6360636
Fresh022
Picked011
Done011
Total6364640

Merged error: 0b

Counts
640 → 4

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
76×add-sqr-sqrt
71×*-un-lft-identity
51×times-frac
31×associate-*r*
27×add-cube-cbrt
22×distribute-lft-out-- difference-of-squares
10×add-exp-log add-cbrt-cube
5×pow1 associate-/r* associate-/l* add-log-exp
4×associate-/r/
3×flip3-- associate-*l* flip--
2×cbrt-undiv div-exp prod-exp cbrt-unprod div-inv associate-/l/ unswap-sqr
1×+-commutative frac-2neg flip3-+ div-sub associate-*r/ pow-prod-down clear-num sum-log *-commutative flip-+
Counts
3 → 113
Calls
3 calls:
3.0ms
(+ x (* y (/ (- z t) (- a t))))
9.0ms
(/ (- z t) (- a t))
16.0ms
(* y (/ (- z t) (- a t)))

series61.0ms

Counts
3 → 9
Calls
3 calls:
31.0ms
(+ x (* y (/ (- z t) (- a t))))
11.0ms
(/ (- z t) (- a t))
19.0ms
(* y (/ (- z t) (- a t)))

simplify913.0ms

Counts
122 → 122
Iterations

Useful iterations: done (910.0ms)

IterNodesCost
01621555
14241454
212781368
342301368
done50001366

prune98.0ms

Filtered
84 candidates to 122 candidates (-45.2%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1220122
Fresh011
Picked011
Done022
Total1224126

Merged error: 0b

Counts
126 → 4

regimes517.0ms

Accuracy

63.8% (0.5b remaining)

Error of 0.5b against oracle of 0.0b and baseline of 1.4b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02459
13159
done3159

end0.0ms

sample877.0ms

Algorithm
intervals
Results
358.0ms8728×body80valid
0.0ms1×body1280valid
0.0ms1×body320valid

Profiling

Loading profile data...