Details

Time bar (total: 7.0s)

sample36.0ms

Algorithm
intervals
Results
11.0ms280×body80valid

simplify2.1s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01011
11811
23311
35811
49211
513411
616111
718611
824111
931111
1042611
1161511
1279011
13101311
14120411
15137411
16157011
17176111
18193111
19212711
20231811
21248811
22268411
23286811
24303711
25322911
26341311
27358211
28377411
29395811
30412711
31431911
32450311
33467211
34486611
done500011

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 11.6b

Counts
2 → 1

localize8.0ms

Local error

Found 1 expressions with local error:

11.9b
(/ (* y (- z t)) (- z a))

rewrite16.0ms

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

series18.0ms

Counts
1 → 3
Calls
1 calls:
18.0ms
(/ (* y (- z t)) (- z a))

simplify761.0ms

Counts
32 → 32
Iterations

Useful iterations: done (760.0ms)

IterNodesCost
075382
1212369
2733315
33331315
done5000313

prune57.0ms

Filtered
23 candidates to 32 candidates (-39.1%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New29332
Fresh000
Picked101
Done000
Total30333

Merged error: 0.0b

Counts
33 → 3

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (- z t) (- z a))
2.2b
(* y (/ (- z t) (- z a)))

rewrite32.0ms

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

series28.0ms

Counts
2 → 6
Calls
2 calls:
10.0ms
(/ (- z t) (- z a))
18.0ms
(* y (/ (- z t) (- z a)))

simplify709.0ms

Counts
108 → 108
Iterations

Useful iterations: done (706.0ms)

IterNodesCost
01381319
13541247
210511165
333841165
done50001163

prune98.0ms

Filtered
72 candidates to 108 candidates (-50.0%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1071108
Fresh112
Picked011
Done000
Total1083111

Merged error: 0b

Counts
111 → 3

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ 1 (- z a))
12.0b
(* (* y (- z t)) (/ 1 (- z a)))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
35×add-sqr-sqrt *-un-lft-identity
30×times-frac
28×add-exp-log
21×add-cube-cbrt associate-*r*
16×add-cbrt-cube
12×prod-exp
8×pow1
7×distribute-lft-out-- difference-of-squares
6×div-exp cbrt-unprod
5×associate-*r/ associate-/r*
4×flip3-- associate-/r/ flip--
3×cbrt-undiv rec-exp 1-exp pow-prod-down associate-/l*
2×frac-times associate-*l/ div-inv add-log-exp
1×pow-flip frac-2neg associate-*l* clear-num un-div-inv *-commutative inv-pow
Counts
2 → 91
Calls
2 calls:
6.0ms
(/ 1 (- z a))
15.0ms
(* (* y (- z t)) (/ 1 (- z a)))

series23.0ms

Counts
2 → 6
Calls
2 calls:
5.0ms
(/ 1 (- z a))
18.0ms
(* (* y (- z t)) (/ 1 (- z a)))

simplify498.0ms

Counts
97 → 97
Iterations

Useful iterations: 2 (128.0ms)

IterNodesCost
01371156
1387982
21543814
done5001814

prune70.0ms

Filtered
49 candidates to 97 candidates (-98.0%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New97097
Fresh011
Picked011
Done011
Total973100

Merged error: 0b

Counts
100 → 3

localize11.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* y (sqrt (/ (- z t) (- z a)))) (sqrt (/ (- z t) (- z a))))
0.1b
(* y (sqrt (/ (- z t) (- z a))))
2.9b
(sqrt (/ (- z t) (- z a)))
2.9b
(sqrt (/ (- z t) (- z a)))

rewrite76.0ms

Algorithm
rewrite-expression-head
Rules
144×add-sqr-sqrt
131×*-un-lft-identity
126×sqrt-prod
103×times-frac
68×associate-*r*
51×add-cube-cbrt
40×distribute-lft-out-- difference-of-squares
13×pow1
11×add-exp-log add-cbrt-cube
8×associate-/r/
7×sqrt-div
4×rem-sqrt-square flip3-- associate-*r/ associate-*l* pow-prod-down prod-exp flip-- cbrt-unprod div-inv add-log-exp
3×unswap-sqr
2×sqrt-pow1 pow1/2 *-commutative
1×frac-times associate-*l/
Counts
4 → 190
Calls
4 calls:
26.0ms
(* (* y (sqrt (/ (- z t) (- z a)))) (sqrt (/ (- z t) (- z a))))
17.0ms
(* y (sqrt (/ (- z t) (- z a))))
9.0ms
(sqrt (/ (- z t) (- z a)))
10.0ms
(sqrt (/ (- z t) (- z a)))

series106.0ms

Counts
4 → 12
Calls
4 calls:
18.0ms
(* (* y (sqrt (/ (- z t) (- z a)))) (sqrt (/ (- z t) (- z a))))
28.0ms
(* y (sqrt (/ (- z t) (- z a))))
30.0ms
(sqrt (/ (- z t) (- z a)))
31.0ms
(sqrt (/ (- z t) (- z a)))

simplify791.0ms

Counts
202 → 202
Iterations

Useful iterations: 2 (123.0ms)

IterNodesCost
02103308
14652920
212632708
332122708
done50012708

prune372.0ms

Filtered
135 candidates to 202 candidates (-49.6%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New2020202
Fresh000
Picked011
Done022
Total2023205

Merged error: 0b

Counts
205 → 3

regimes300.0ms

Accuracy

0% (1.5b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01011
11211
done1211

end0.0ms

sample865.0ms

Algorithm
intervals
Results
346.0ms8751×body80valid
0.0ms2×body1280valid
0.0ms3×body160valid

Profiling

Loading profile data...