Details

Time bar (total: 10.6s)

sample78.0ms

Algorithm
intervals
Results
24.0ms73×body1280valid
15.0ms70×body640valid
13.0ms273×body80valid
5.0ms13×body160valid
4.0ms29×body320valid

simplify19.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0257
1507
2777
3967
41127
51277
61417
71417

prune6.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 1.0b

Counts
2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (/ (cos th) (sqrt 2.0)) (* a2 a2))
0.6b
(* (/ (cos th) (sqrt 2.0)) (* a1 a1))
0.7b
(/ (cos th) (sqrt 2.0))
0.7b
(/ (cos th) (sqrt 2.0))

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
160×add-sqr-sqrt
92×times-frac
76×add-cube-cbrt *-un-lft-identity
58×sqrt-prod
50×associate-*l*
38×unswap-sqr
36×associate-*r*
32×add-exp-log add-cbrt-cube
24×associate-*l/ associate-/r*
14×pow1
12×swap-sqr prod-exp cbrt-unprod associate-/l*
10×*-commutative
6×cbrt-undiv div-exp pow-prod-down
4×frac-2neg clear-num div-inv add-log-exp
Counts
4 → 242
Calls
4 calls:
18.0ms
(* (/ (cos th) (sqrt 2.0)) (* a2 a2))
21.0ms
(* (/ (cos th) (sqrt 2.0)) (* a1 a1))
4.0ms
(/ (cos th) (sqrt 2.0))
5.0ms
(/ (cos th) (sqrt 2.0))

series388.0ms

Counts
4 → 12
Calls
4 calls:
129.0ms
(* (/ (cos th) (sqrt 2.0)) (* a2 a2))
130.0ms
(* (/ (cos th) (sqrt 2.0)) (* a1 a1))
60.0ms
(/ (cos th) (sqrt 2.0))
68.0ms
(/ (cos th) (sqrt 2.0))

simplify116.0ms

Algorithm
egg-herbie
Counts
254 → 254
Iterations

Useful iterations: 2 (91.0ms)

IterNodesCost
07481822
141551670
250021662

prune456.0ms

Filtered
254 candidates to 150 candidates (59.1%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New24212254
Fresh000
Picked101
Done000
Total24312255

Merged error: 0b

Counts
255 → 12

localize13.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (/ (* (cos th) a1) (sqrt 2.0)) a1)
0.3b
(* (/ (cos th) (sqrt 2.0)) (* a2 a2))
0.4b
(/ (* (cos th) a1) (sqrt 2.0))
0.7b
(/ (cos th) (sqrt 2.0))

rewrite72.0ms

Algorithm
rewrite-expression-head
Rules
222×add-sqr-sqrt
194×times-frac
143×associate-*l*
136×add-cube-cbrt *-un-lft-identity
109×sqrt-prod
63×associate-*r*
40×unswap-sqr
33×associate-*l/
32×add-exp-log add-cbrt-cube
30×associate-/l*
24×associate-/r*
20×*-commutative
11×pow1 prod-exp cbrt-unprod
7×cbrt-undiv div-exp
6×swap-sqr
4×frac-2neg pow-prod-down clear-num div-inv add-log-exp
Counts
4 → 345
Calls
4 calls:
21.0ms
(* (/ (* (cos th) a1) (sqrt 2.0)) a1)
17.0ms
(* (/ (cos th) (sqrt 2.0)) (* a2 a2))
9.0ms
(/ (* (cos th) a1) (sqrt 2.0))
8.0ms
(/ (cos th) (sqrt 2.0))

series419.0ms

Counts
4 → 12
Calls
4 calls:
119.0ms
(* (/ (* (cos th) a1) (sqrt 2.0)) a1)
119.0ms
(* (/ (cos th) (sqrt 2.0)) (* a2 a2))
114.0ms
(/ (* (cos th) a1) (sqrt 2.0))
67.0ms
(/ (cos th) (sqrt 2.0))

simplify61.0ms

Algorithm
egg-herbie
Counts
357 → 357
Iterations

Useful iterations: 1 (28.0ms)

IterNodesCost
09752579
150012408

prune682.0ms

Filtered
357 candidates to 224 candidates (62.7%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New3489357
Fresh9211
Picked101
Done000
Total35811369

Merged error: 0b

Counts
369 → 11

localize17.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (/ (* (cos th) a1) (sqrt 2.0)) a1)
0.2b
(* (/ (* (cos th) a2) (sqrt 2.0)) a2)
0.4b
(/ (* (cos th) a2) (sqrt 2.0))
0.4b
(/ (* (cos th) a1) (sqrt 2.0))

rewrite87.0ms

Algorithm
rewrite-expression-head
Rules
296×times-frac
284×add-sqr-sqrt
236×associate-*l*
196×add-cube-cbrt *-un-lft-identity
160×sqrt-prod
90×associate-*r*
48×associate-/l*
42×associate-*l/ unswap-sqr
32×add-exp-log add-cbrt-cube
30×*-commutative
24×associate-/r*
10×prod-exp cbrt-unprod
8×pow1 cbrt-undiv div-exp
4×frac-2neg clear-num div-inv add-log-exp
2×pow-prod-down
Counts
4 → 448
Calls
4 calls:
21.0ms
(* (/ (* (cos th) a1) (sqrt 2.0)) a1)
21.0ms
(* (/ (* (cos th) a2) (sqrt 2.0)) a2)
9.0ms
(/ (* (cos th) a2) (sqrt 2.0))
9.0ms
(/ (* (cos th) a1) (sqrt 2.0))

series466.0ms

Counts
4 → 12
Calls
4 calls:
118.0ms
(* (/ (* (cos th) a1) (sqrt 2.0)) a1)
126.0ms
(* (/ (* (cos th) a2) (sqrt 2.0)) a2)
110.0ms
(/ (* (cos th) a2) (sqrt 2.0))
111.0ms
(/ (* (cos th) a1) (sqrt 2.0))

simplify72.0ms

Algorithm
egg-herbie
Counts
460 → 460
Iterations

Useful iterations: 1 (31.0ms)

IterNodesCost
011243338
150013220

prune991.0ms

Filtered
460 candidates to 324 candidates (70.4%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New4537460
Fresh7310
Picked101
Done000
Total46110471

Merged error: 0b

Counts
471 → 10

localize20.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (cos th) (cbrt (sqrt 2.0)))
0.2b
(* (/ a2 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (* (/ (cos th) (cbrt (sqrt 2.0))) a2))
0.2b
(* (/ (cos th) (cbrt (sqrt 2.0))) a2)
0.4b
(/ (* (cos th) a1) (sqrt 2.0))

rewrite282.0ms

Algorithm
rewrite-expression-head
Rules
1530×add-sqr-sqrt
1266×cbrt-prod
1162×associate-/r*
814×associate-*l/
735×frac-times
672×sqrt-prod
625×add-cube-cbrt *-un-lft-identity
427×times-frac
393×unswap-sqr
387×associate-*l*
241×associate-*r*
234×swap-sqr
216×associate-/l*
111×add-cbrt-cube
69×frac-2neg clear-num
62×cbrt-unprod
52×add-exp-log
38×cbrt-undiv
34×*-commutative
21×prod-exp
15×associate-*r/
13×div-exp
11×pow1
5×div-inv
4×pow-prod-down add-log-exp
Counts
4 → 1331
Calls
4 calls:
5.0ms
(/ (cos th) (cbrt (sqrt 2.0)))
119.0ms
(* (/ a2 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (* (/ (cos th) (cbrt (sqrt 2.0))) a2))
11.0ms
(* (/ (cos th) (cbrt (sqrt 2.0))) a2)
9.0ms
(/ (* (cos th) a1) (sqrt 2.0))

series798.0ms

Counts
4 → 12
Calls
4 calls:
256.0ms
(/ (cos th) (cbrt (sqrt 2.0)))
116.0ms
(* (/ a2 (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (* (/ (cos th) (cbrt (sqrt 2.0))) a2))
308.0ms
(* (/ (cos th) (cbrt (sqrt 2.0))) a2)
118.0ms
(/ (* (cos th) a1) (sqrt 2.0))

simplify517.0ms

Algorithm
egg-herbie
Counts
1343 → 1343
Iterations

Useful iterations: 1 (89.0ms)

IterNodesCost
0450224052
1500323367

prune2.5s

Filtered
1343 candidates to 658 candidates (49.0%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New133941343
Fresh549
Picked101
Done000
Total134581353

Merged error: 0b

Counts
1353 → 8

regimes221.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02527
12527

end0.0ms

sample2.2s

Algorithm
intervals
Results
810.0ms2467×body1280valid
464.0ms2108×body640valid
409.0ms7899×body80valid
162.0ms1045×body320valid
58.0ms550×body160valid