Details

Time bar (total: 7.2s)

sample31.0ms

Algorithm
intervals
Results
11.0ms280×body80valid

simplify2.1s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01011
12111
23411
35511
48711
512711
615711
717411
820011
924611
1031611
1143111
1262111
1379611
14103811
15122611
16139611
17158811
18177611
19194611
20213811
21232611
22249611
23268811
24287611
25304611
26323811
27342611
28359611
29378811
30397611
31414611
32433811
33452611
34469611
35489011
done500011

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 1.5b

Counts
2 → 1

localize9.0ms

Local error

Found 2 expressions with local error:

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

rewrite35.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))
21.0ms
(* y (/ (- z t) (- z a)))

series29.0ms

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

simplify713.0ms

Counts
108 → 108
Iterations

Useful iterations: done (710.0ms)

IterNodesCost
01381319
13541247
210511165
333851165
done50001163

prune123.0ms

Filtered
73 candidates to 108 candidates (-47.9%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1053108
Fresh000
Picked011
Done000
Total1054109

Merged error: 0b

Counts
109 → 4

localize10.0ms

Local error

Found 2 expressions with local error:

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

rewrite28.0ms

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

series25.0ms

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

simplify434.0ms

Counts
89 → 89
Iterations

Useful iterations: 2 (88.0ms)

IterNodesCost
0130977
1303931
21176857
done5000857

prune110.0ms

Filtered
64 candidates to 89 candidates (-39.1%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New89089
Fresh022
Picked011
Done011
Total89493

Merged error: 0b

Counts
93 → 4

localize8.0ms

Local error

Found 1 expressions with local error:

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

rewrite11.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:
10.0ms
(/ (* y (- z t)) (- z a))

series18.0ms

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

simplify764.0ms

Counts
32 → 32
Iterations

Useful iterations: done (763.0ms)

IterNodesCost
075382
1212369
2733315
33330315
done5000313

prune36.0ms

Filtered
22 candidates to 32 candidates (-45.5%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New32032
Fresh011
Picked011
Done022
Total32436

Merged error: 0b

Counts
36 → 4

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite77.0ms

Algorithm
rewrite-expression-head
Rules
120×add-sqr-sqrt
103×sqrt-prod
100×*-un-lft-identity
79×times-frac
65×pow1
40×add-cube-cbrt
38×pow-prod-down
35×associate-*r*
30×distribute-lft-out-- difference-of-squares
20×sqrt-pow1 pow1/2
18×add-exp-log add-cbrt-cube
9×prod-exp cbrt-unprod
8×pow-prod-up
7×sqrt-div associate-*l*
6×sqrt-unprod associate-*r/ associate-/r/ pow-sqr unswap-sqr
4×rem-sqrt-square add-log-exp
3×flip3-- flip-- div-inv
2×pow-plus *-commutative
1×pow2 frac-times swap-sqr associate-*l/ rem-square-sqrt
Counts
4 → 194
Calls
4 calls:
19.0ms
(* (sqrt y) (sqrt (/ (- z t) (- z a))))
28.0ms
(* (* (sqrt y) (sqrt (/ (- z t) (- z a)))) (* (sqrt y) (sqrt (/ (- z t) (- z a)))))
9.0ms
(sqrt (/ (- z t) (- z a)))
9.0ms
(sqrt (/ (- z t) (- z a)))

series143.0ms

Counts
4 → 12
Calls
4 calls:
45.0ms
(* (sqrt y) (sqrt (/ (- z t) (- z a))))
29.0ms
(* (* (sqrt y) (sqrt (/ (- z t) (- z a)))) (* (sqrt y) (sqrt (/ (- z t) (- z a)))))
32.0ms
(sqrt (/ (- z t) (- z a)))
38.0ms
(sqrt (/ (- z t) (- z a)))

simplify528.0ms

Counts
206 → 206
Iterations

Useful iterations: done (522.0ms)

IterNodesCost
02153308
14512699
213902435
done50002427

prune163.0ms

Filtered
123 candidates to 206 candidates (-67.5%)
Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New2060206
Fresh000
Picked011
Done033
Total2064210

Merged error: 0b

Counts
210 → 4

regimes810.0ms

Accuracy

11.9% (1.3b remaining)

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

bsearch49.0ms

Steps
ItersRangePoint
8
8.823290829098732e-167
9.251068586094155e-163
7.587971749448708e-165
10
-5.390869519443976e+66
-4.406867185516592e+52
-5.008763887330839e+52

simplify2.0ms

Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
02443
13241
done3241

end0.0ms

sample874.0ms

Algorithm
intervals
Results
344.0ms8754×body80valid
0.0ms2×body1280valid

Profiling

Loading profile data...