Details

Time bar (total: 6.0s)

sample35.0ms

Algorithm
intervals
Results
13.0ms256×body80valid

simplify1.1s

Counts
1 → 1
Iterations

Useful iterations: 6 (386.0ms)

IterNodesCost
01317
12517
25917
313317
435417
583615
6388813
done500013

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: 1.4b

Counts
2 → 2

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (* z (/ z y)) (/ t 2.0))
0.1b
(* z (/ z y))
9.6b
(/ z (- (* z (/ z y)) (/ t 2.0)))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
19×add-cube-cbrt *-un-lft-identity times-frac
13×associate-*r*
10×add-exp-log add-cbrt-cube
5×pow1 add-log-exp
3×associate-*r/ associate-*l* associate-/r* associate-/r/ associate-/l*
2×cbrt-undiv flip3-- div-exp prod-exp frac-sub flip-- cbrt-unprod div-inv unswap-sqr
1×sub-neg frac-2neg diff-log pow-prod-down clear-num *-commutative
Counts
3 → 75
Calls
3 calls:
7.0ms
(- (* z (/ z y)) (/ t 2.0))
7.0ms
(* z (/ z y))
9.0ms
(/ z (- (* z (/ z y)) (/ t 2.0)))

series27.0ms

Counts
3 → 9
Calls
3 calls:
8.0ms
(- (* z (/ z y)) (/ t 2.0))
4.0ms
(* z (/ z y))
15.0ms
(/ z (- (* z (/ z y)) (/ t 2.0)))

simplify714.0ms

Counts
84 → 84
Iterations

Useful iterations: done (712.0ms)

IterNodesCost
01301070
13131035
2929944
32933930
done5000929

prune126.0ms

Filtered
64 candidates to 84 candidates (-31.3%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New80484
Fresh101
Picked011
Done000
Total81586

Merged error: 1.4b

Counts
86 → 5

localize18.0ms

Local error

Found 4 expressions with local error:

9.6b
(/ z (- (* (* z (* (cbrt (/ z y)) (cbrt (/ z y)))) (cbrt (/ z y))) (/ t 2.0)))
16.3b
(cbrt (/ z y))
16.3b
(cbrt (/ z y))
16.3b
(cbrt (/ z y))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
39×cbrt-prod
36×times-frac
33×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
15×cbrt-div
9×associate-*r/ associate-/r/
7×frac-sub
6×add-exp-log add-cbrt-cube
5×frac-times associate-*l/
4×pow1 div-inv add-log-exp
3×pow1/3 associate-/r* associate-/l*
1×cbrt-undiv flip3-- frac-2neg div-exp clear-num flip--
Counts
4 → 102
Calls
4 calls:
21.0ms
(/ z (- (* (* z (* (cbrt (/ z y)) (cbrt (/ z y)))) (cbrt (/ z y))) (/ t 2.0)))
3.0ms
(cbrt (/ z y))
3.0ms
(cbrt (/ z y))
3.0ms
(cbrt (/ z y))

series55.0ms

Counts
4 → 12
Calls
4 calls:
12.0ms
(/ z (- (* (* z (* (cbrt (/ z y)) (cbrt (/ z y)))) (cbrt (/ z y))) (/ t 2.0)))
14.0ms
(cbrt (/ z y))
14.0ms
(cbrt (/ z y))
15.0ms
(cbrt (/ z y))

simplify712.0ms

Counts
114 → 114
Iterations

Useful iterations: done (709.0ms)

IterNodesCost
01721942
13511895
29011311
325611288
done50011286

prune142.0ms

Filtered
95 candidates to 114 candidates (-20.0%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New1140114
Fresh033
Picked011
Done011
Total1145119

Merged error: 1.4b

Counts
119 → 5

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (/ (* z z) y) (/ t 2.0))
6.2b
(/ (* z z) y)
9.6b
(/ z (- (/ (* z z) y) (/ t 2.0)))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
68×add-sqr-sqrt
47×times-frac
28×*-un-lft-identity
20×difference-of-squares
18×add-cube-cbrt
11×associate-/r*
10×add-exp-log add-cbrt-cube
5×distribute-lft-out-- add-log-exp
4×associate-/l*
3×pow1 cbrt-undiv div-exp associate-/r/
2×flip3-- frac-2neg clear-num frac-sub flip-- div-inv
1×sub-neg diff-log prod-exp cbrt-unprod
Counts
3 → 89
Calls
3 calls:
15.0ms
(- (/ (* z z) y) (/ t 2.0))
5.0ms
(/ (* z z) y)
14.0ms
(/ z (- (/ (* z z) y) (/ t 2.0)))

series23.0ms

Counts
3 → 9
Calls
3 calls:
8.0ms
(- (/ (* z z) y) (/ t 2.0))
4.0ms
(/ (* z z) y)
11.0ms
(/ z (- (/ (* z z) y) (/ t 2.0)))

simplify730.0ms

Counts
98 → 98
Iterations

Useful iterations: done (727.0ms)

IterNodesCost
01561502
13221466
28611380
328131371
done50001370

prune129.0ms

Filtered
74 candidates to 98 candidates (-32.4%)
Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New97198
Fresh022
Picked011
Done022
Total976103

Merged error: 1.2b

Counts
103 → 6

localize12.0ms

Local error

Found 4 expressions with local error:

0.1b
(* z (/ z y))
0.2b
(pow (/ z (- (* z (/ z y)) (/ t 2.0))) 3)
9.6b
(/ z (- (* z (/ z y)) (/ t 2.0)))
28.0b
(cbrt (pow (/ z (- (* z (/ z y)) (/ t 2.0))) 3))

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
55×add-sqr-sqrt times-frac
50×add-cube-cbrt *-un-lft-identity
38×cbrt-prod
32×unpow-prod-down cube-prod
15×associate-/r/
14×add-exp-log add-cbrt-cube
13×associate-*r*
7×pow1
6×associate-*r/ div-inv
5×flip3-- frac-sub flip--
4×add-log-exp
3×cbrt-undiv pow-unpow div-exp associate-*l* associate-/r* associate-/l*
2×cube-div cube-mult unpow3 pow-exp prod-exp cbrt-unprod rem-cube-cbrt unswap-sqr sqr-pow
1×pow-to-exp cbrt-div pow-pow frac-2neg pow1/3 pow-prod-down clear-num *-commutative rem-cbrt-cube
Counts
4 → 162
Calls
4 calls:
7.0ms
(* z (/ z y))
13.0ms
(pow (/ z (- (* z (/ z y)) (/ t 2.0))) 3)
10.0ms
(/ z (- (* z (/ z y)) (/ t 2.0)))
12.0ms
(cbrt (pow (/ z (- (* z (/ z y)) (/ t 2.0))) 3))

series52.0ms

Counts
4 → 12
Calls
4 calls:
4.0ms
(* z (/ z y))
20.0ms
(pow (/ z (- (* z (/ z y)) (/ t 2.0))) 3)
15.0ms
(/ z (- (* z (/ z y)) (/ t 2.0)))
13.0ms
(cbrt (pow (/ z (- (* z (/ z y)) (/ t 2.0))) 3))

simplify552.0ms

Counts
174 → 174
Iterations

Useful iterations: done (546.0ms)

IterNodesCost
02113501
15913123
219492856
done50002765

prune208.0ms

Filtered
107 candidates to 174 candidates (-62.6%)
Pruning

6 alts after pruning (2 fresh and 4 done)

PrunedKeptTotal
New1740174
Fresh022
Picked011
Done033
Total1746180

Merged error: 1.2b

Counts
180 → 6

regimes258.0ms

Accuracy

0% (0.5b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01113
11213
done1213

end0.0ms

sample850.0ms

Algorithm
intervals
Results
434.0ms8000×body80valid

Profiling

Loading profile data...