Details

Time bar (total: 4.7s)

sample34.0ms

Algorithm
intervals
Results
17.0ms314×body80valid

simplify777.0ms

Counts
1 → 1
Iterations

Useful iterations: 7 (180.0ms)

IterNodesCost
01213
12213
24513
39813
419013
531913
648913
775311
8169511
done500011

prune7.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 0.0b

Counts
2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ 1.0 (* (- 0.75 (/ (- z x) y)) 4.0))
0.0b
(- 0.75 (/ (- z x) y))
0.0b
(/ (- z x) y)

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
26×add-sqr-sqrt
23×*-un-lft-identity
16×times-frac
13×add-cube-cbrt
7×add-log-exp
6×difference-of-squares
5×add-exp-log add-cbrt-cube associate-/l* distribute-lft-out--
3×pow1 associate-/r*
2×flip3-- div-sub flip-- associate-/l/
1×cbrt-undiv +-commutative sub-neg frac-2neg flip3-+ diff-log div-exp clear-num sum-log flip-+ div-inv associate--r-
Counts
3 → 65
Calls
3 calls:
3.0ms
(+ 1.0 (* (- 0.75 (/ (- z x) y)) 4.0))
10.0ms
(- 0.75 (/ (- z x) y))
7.0ms
(/ (- z x) y)

series21.0ms

Counts
3 → 9
Calls
3 calls:
9.0ms
(+ 1.0 (* (- 0.75 (/ (- z x) y)) 4.0))
6.0ms
(- 0.75 (/ (- z x) y))
7.0ms
(/ (- z x) y)

simplify738.0ms

Counts
74 → 74
Iterations

Useful iterations: done (736.0ms)

IterNodesCost
0131894
1322855
2845793
32946787
done5000778

prune88.0ms

Filtered
53 candidates to 74 candidates (-39.6%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New72274
Fresh000
Picked101
Done000
Total73275

Merged error: 0b

Counts
75 → 2

localize6.0ms

Local error

Found 1 expressions with local error:

0.3b
(/ (* 4.0 (- x z)) y)

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
6×add-exp-log add-cbrt-cube
3×add-sqr-sqrt add-cube-cbrt *-un-lft-identity times-frac associate-/r*
2×cbrt-undiv associate-*r/ div-exp associate-/l/
1×pow1 flip3-- frac-2neg prod-exp clear-num flip-- cbrt-unprod div-inv associate-/l* add-log-exp
Counts
1 → 23
Calls
1 calls:
8.0ms
(/ (* 4.0 (- x z)) y)

series9.0ms

Counts
1 → 3
Calls
1 calls:
9.0ms
(/ (* 4.0 (- x z)) y)

simplify723.0ms

Counts
26 → 26
Iterations

Useful iterations: done (722.0ms)

IterNodesCost
063276
1171258
2568219
32665213
done5000212

prune31.0ms

Filtered
18 candidates to 26 candidates (-44.4%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New26026
Fresh011
Picked011
Done000
Total26228

Merged error: 0b

Counts
28 → 2

localize17.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (/ (- z x) y)) (cbrt (/ (- z x) y)))
4.6b
(cbrt (/ (- z x) y))
4.6b
(cbrt (/ (- z x) y))
4.6b
(cbrt (/ (- z x) y))

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
157×cbrt-prod
141×add-sqr-sqrt
135×*-un-lft-identity
123×times-frac
75×add-cube-cbrt
28×swap-sqr
27×distribute-lft-out--
22×associate-*r* associate-*l*
21×difference-of-squares
11×pow1
9×pow1/3 unswap-sqr
7×cbrt-div div-inv
6×add-exp-log
4×add-cbrt-cube add-log-exp
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 frac-times pow-plus associate-*r/ associate-*l/ prod-exp *-commutative cbrt-unprod
Counts
4 → 186
Calls
4 calls:
23.0ms
(* (cbrt (/ (- z x) y)) (cbrt (/ (- z x) y)))
5.0ms
(cbrt (/ (- z x) y))
5.0ms
(cbrt (/ (- z x) y))
5.0ms
(cbrt (/ (- z x) y))

series161.0ms

Counts
4 → 12
Calls
4 calls:
53.0ms
(* (cbrt (/ (- z x) y)) (cbrt (/ (- z x) y)))
34.0ms
(cbrt (/ (- z x) y))
34.0ms
(cbrt (/ (- z x) y))
39.0ms
(cbrt (/ (- z x) y))

simplify848.0ms

Counts
198 → 198
Iterations

Useful iterations: done (841.0ms)

IterNodesCost
02403497
14473312
212743176
338893041
done50003020

prune223.0ms

Filtered
144 candidates to 198 candidates (-37.5%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1980198
Fresh000
Picked011
Done011
Total1982200

Merged error: 0b

Counts
200 → 2

regimes127.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
089
1109
done109

end0.0ms

sample831.0ms

Algorithm
intervals
Results
414.0ms10165×body80valid

Profiling

Loading profile data...