Details

Time bar (total: 3.8m)

sample95.0ms

Algorithm
intervals
Results
40.0ms818×body80nan
17.0ms256×body80valid

simplify91.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
03810
112210
250910
3223710
4500110

prune4.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 1.2b

Counts
2 → 1

localize16.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 3.0 (/ x (* y 27.0)))
1.0b
(* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
2.6b
(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))
3.1b
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))

rewrite397.0ms

Algorithm
rewrite-expression-head
Rules
2284×times-frac
1696×add-sqr-sqrt
1653×associate-*r*
1274×associate-*l*
991×*-un-lft-identity
988×add-cube-cbrt
340×unswap-sqr
217×*-commutative
117×associate-/l*
95×associate-*l/
92×add-exp-log add-cbrt-cube
63×associate-/r*
54×associate-*r/
40×associate-/l/
39×prod-exp cbrt-unprod
30×div-inv
27×cbrt-undiv div-exp
12×sqrt-prod
10×pow1
9×clear-num
6×frac-2neg un-div-inv
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow-prod-down
Counts
4 → 1603
Calls
4 calls:
24.0ms
(* 3.0 (/ x (* y 27.0)))
8.0ms
(* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
45.0ms
(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))
159.0ms
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))

series191.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(* 3.0 (/ x (* y 27.0)))
18.0ms
(* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
37.0ms
(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))
114.0ms
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))

simplify250.0ms

Algorithm
egg-herbie
Counts
1615 → 1615
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
0500114907

prune5.4s

Filtered
1615 candidates to 1234 candidates (76.4%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New161321615
Fresh000
Picked101
Done000
Total161421616

Merged error: 0.0b

Counts
1616 → 2

localize23.0ms

Local error

Found 4 expressions with local error:

1.0b
(* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
1.0b
(/ (cbrt 1.0) (cbrt 3.0))
2.6b
(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))
3.1b
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))

rewrite667.0ms

Algorithm
rewrite-expression-head
Rules
2312×times-frac
1709×add-sqr-sqrt
1601×associate-*r*
1286×associate-*l*
1011×*-un-lft-identity
1009×add-cube-cbrt
335×unswap-sqr
212×*-commutative
122×associate-/l*
101×associate-*l/
92×add-cbrt-cube
88×cbrt-prod
85×add-exp-log
60×associate-/r*
40×associate-/l/
38×cbrt-unprod
36×associate-*r/
35×prod-exp
32×cbrt-undiv
30×div-inv
26×div-exp
12×sqrt-prod
8×pow1 clear-num
6×frac-2neg
4×expm1-log1p-u un-div-inv log1p-expm1-u add-log-exp
2×pow-prod-down
Counts
4 → 1624
Calls
4 calls:
14.0ms
(* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
6.0ms
(/ (cbrt 1.0) (cbrt 3.0))
49.0ms
(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))
156.0ms
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))

series284.0ms

Counts
4 → 10
Calls
4 calls:
136.0ms
(* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))
0.0ms
(/ (cbrt 1.0) (cbrt 3.0))
32.0ms
(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))
116.0ms
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))

simplify258.0ms

Algorithm
egg-herbie
Counts
1634 → 1634
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
0500115746

prune7.6s

Filtered
1634 candidates to 1268 candidates (77.6%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New163221634
Fresh101
Picked101
Done000
Total163421636

Merged error: 0b

Counts
1636 → 2

localize33.0ms

Local error

Found 4 expressions with local error:

1.0b
(cbrt 2.0)
1.0b
(cbrt 2.0)
2.0b
(* (/ (/ x (* (cbrt y) 27.0)) (cbrt 2.0)) (sqrt t))
4.5b
(* (/ (* 3.0 (/ 1 (* (cbrt y) (cbrt y)))) (* z (* (cbrt 2.0) (cbrt 2.0)))) (* (/ (/ x (* (cbrt y) 27.0)) (cbrt 2.0)) (sqrt t)))

rewrite25.3s

Algorithm
rewrite-expression-head
Rules
72130×add-sqr-sqrt
41160×times-frac
29475×unswap-sqr
24537×cbrt-prod
22985×associate-*r*
20900×*-un-lft-identity
20579×associate-/l*
17954×add-cube-cbrt
16546×associate-*l/
16185×frac-times
15464×associate-*l*
10298×associate-/r*
7358×associate-/l/
6408×swap-sqr
3227×add-cbrt-cube
3027×*-commutative
2855×associate-*r/
2232×cbrt-unprod
1833×sqrt-prod
1336×cbrt-undiv
938×add-exp-log
646×clear-num
562×frac-2neg
525×prod-exp
340×div-inv
310×div-exp
252×un-div-inv
30×rec-exp 1-exp
11×pow1
4×expm1-log1p-u pow-prod-down log1p-expm1-u add-log-exp
2×pow1/3
Counts
4 → 26599
Calls
4 calls:
1.0ms
(cbrt 2.0)
2.0ms
(cbrt 2.0)
96.0ms
(* (/ (/ x (* (cbrt y) 27.0)) (cbrt 2.0)) (sqrt t))
19.2s
(* (/ (* 3.0 (/ 1 (* (cbrt y) (cbrt y)))) (* z (* (cbrt 2.0) (cbrt 2.0)))) (* (/ (/ x (* (cbrt y) 27.0)) (cbrt 2.0)) (sqrt t)))

series617.0ms

Counts
4 → 8
Calls
4 calls:
0.0ms
(cbrt 2.0)
0.0ms
(cbrt 2.0)
380.0ms
(* (/ (/ x (* (cbrt y) 27.0)) (cbrt 2.0)) (sqrt t))
236.0ms
(* (/ (* 3.0 (/ 1 (* (cbrt y) (cbrt y)))) (* z (* (cbrt 2.0) (cbrt 2.0)))) (* (/ (/ x (* (cbrt y) 27.0)) (cbrt 2.0)) (sqrt t)))

simplify8.7s

Algorithm
egg-herbie
Counts
26607 → 26607
Iterations

Useful iterations: 0 (678.0ms)

IterNodesCost
023586805111

prune2.6m

Filtered
26607 candidates to 18185 candidates (68.3%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New26607026607
Fresh011
Picked011
Done000
Total26607226609

Merged error: 0b

Counts
26609 → 2

localize29.0ms

Local error

Found 4 expressions with local error:

2.6b
(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))
3.1b
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
3.1b
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
3.1b
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))

rewrite855.0ms

Algorithm
rewrite-expression-head
Rules
4496×times-frac
3357×add-sqr-sqrt
3202×associate-*r*
3108×associate-*l*
1905×*-un-lft-identity
1901×add-cube-cbrt
702×unswap-sqr
423×*-commutative
258×associate-*l/
220×associate-/l*
162×add-exp-log add-cbrt-cube
96×associate-/r*
80×associate-/l/
75×prod-exp cbrt-unprod
72×associate-*r/
56×div-inv
48×cbrt-undiv div-exp
36×sqrt-prod
12×clear-num
10×pow1
8×frac-2neg un-div-inv
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow-prod-down
Counts
4 → 2988
Calls
4 calls:
49.0ms
(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))
154.0ms
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
156.0ms
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
155.0ms
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))

series355.0ms

Counts
4 → 12
Calls
4 calls:
31.0ms
(/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))
112.0ms
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
103.0ms
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))
109.0ms
(* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))

simplify407.0ms

Algorithm
egg-herbie
Counts
3000 → 3000
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
0500225721

prune18.4s

Filtered
3000 candidates to 2375 candidates (79.2%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New300003000
Fresh000
Picked011
Done011
Total300023002

Merged error: 0b

Counts
3002 → 2

regimes270.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04131
14131

end0.0ms

sample2.3s

Algorithm
intervals
Results
1.1s23932×body80nan
416.0ms8000×body80valid