Details

Time bar (total: 5.5s)

sample119.0ms

Algorithm
intervals
Results
47.0ms108×body1280valid
22.0ms292×body80valid
20.0ms74×body640valid
7.0ms34×body320valid
2.0ms17×body160valid

simplify61.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0154
1304
2664
31394
42714
55204
614914
750014

prune2.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: 0.0b

Counts
2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (cos x) (/ (sinh y) y))
0.0b
(sinh y)

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt
13×associate-*r*
10×add-cube-cbrt *-un-lft-identity times-frac
7×add-exp-log add-cbrt-cube
4×pow1
3×associate-*l*
2×expm1-log1p-u prod-exp cbrt-unprod log1p-expm1-u add-log-exp unswap-sqr
1×cbrt-undiv sinh-def associate-*r/ div-exp pow-prod-down *-commutative div-inv
Counts
2 → 44
Calls
2 calls:
7.0ms
(* (cos x) (/ (sinh y) y))
1.0ms
(sinh y)

series151.0ms

Counts
2 → 6
Calls
2 calls:
89.0ms
(* (cos x) (/ (sinh y) y))
62.0ms
(sinh y)

simplify39.0ms

Algorithm
egg-herbie
Counts
50 → 50
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
0281286
11153252
25001234

prune106.0ms

Filtered
50 candidates to 38 candidates (76.0%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New48250
Fresh000
Picked011
Done000
Total48351

Merged error: 0.0b

Counts
51 → 3

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b
(sinh y)
0.0b
(sqrt (/ (sinh y) y))
0.0b
(sqrt (/ (sinh y) y))
0.0b
(* (* (cos x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
39×sqrt-prod
32×add-sqr-sqrt
29×times-frac
26×add-cube-cbrt *-un-lft-identity
16×associate-*r*
11×pow1
9×add-exp-log add-cbrt-cube
6×sqrt-div
4×expm1-log1p-u rem-sqrt-square log1p-expm1-u add-log-exp
3×associate-*r/ pow-prod-down prod-exp cbrt-unprod div-inv
2×sqrt-pow1 pow1/2
1×frac-times sinh-def associate-*l* associate-*l/ *-commutative
Counts
4 → 100
Calls
4 calls:
1.0ms
(sinh y)
3.0ms
(sqrt (/ (sinh y) y))
3.0ms
(sqrt (/ (sinh y) y))
12.0ms
(* (* (cos x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))

series347.0ms

Counts
4 → 12
Calls
4 calls:
68.0ms
(sinh y)
80.0ms
(sqrt (/ (sinh y) y))
83.0ms
(sqrt (/ (sinh y) y))
116.0ms
(* (* (cos x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))

simplify86.0ms

Algorithm
egg-herbie
Counts
112 → 112
Iterations

Useful iterations: 2 (74.0ms)

IterNodesCost
08061154
133891001
25001954

prune347.0ms

Filtered
112 candidates to 92 candidates (82.1%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1102112
Fresh101
Picked101
Done011
Total1123115

Merged error: 0b

Counts
115 → 3

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (/ (sinh y) y))
0.0b
(sqrt (/ (sinh y) y))
0.0b
(sqrt (/ (sinh y) y))
0.0b
(* (* (cos x) (sqrt (/ (sinh y) y))) (sqrt (sqrt (/ (sinh y) y))))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
68×sqrt-prod
43×add-sqr-sqrt
39×times-frac
34×add-cube-cbrt *-un-lft-identity
19×associate-*r*
12×pow1
9×add-exp-log sqrt-div add-cbrt-cube
6×rem-sqrt-square
4×expm1-log1p-u log1p-expm1-u div-inv add-log-exp
3×sqrt-pow1 pow1/2 associate-*r/ pow-prod-down prod-exp cbrt-unprod
1×frac-times associate-*l* associate-*l/ *-commutative
Counts
4 → 120
Calls
4 calls:
3.0ms
(sqrt (/ (sinh y) y))
3.0ms
(sqrt (/ (sinh y) y))
3.0ms
(sqrt (/ (sinh y) y))
13.0ms
(* (* (cos x) (sqrt (/ (sinh y) y))) (sqrt (sqrt (/ (sinh y) y))))

series587.0ms

Counts
4 → 12
Calls
4 calls:
77.0ms
(sqrt (/ (sinh y) y))
77.0ms
(sqrt (/ (sinh y) y))
77.0ms
(sqrt (/ (sinh y) y))
355.0ms
(* (* (cos x) (sqrt (/ (sinh y) y))) (sqrt (sqrt (/ (sinh y) y))))

simplify49.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (30.0ms)

IterNodesCost
013701847
150021681

prune600.0ms

Filtered
132 candidates to 114 candidates (86.4%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1320132
Fresh011
Picked011
Done011
Total1323135

Merged error: 0b

Counts
135 → 3

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(sinh y)
0.0b
(exp (+ (log (cos x)) (log (/ (sinh y) y))))
1.2b
(log (cos x))
2.7b
(log (/ (sinh y) y))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
17×*-un-lft-identity
16×log-prod
13×add-sqr-sqrt add-cube-cbrt
10×pow1
9×times-frac
8×add-exp-log
7×exp-prod
6×log-pow
5×add-log-exp
4×expm1-log1p-u add-cbrt-cube log1p-expm1-u distribute-lft-out
3×rem-log-exp
2×log-div rem-exp-log
1×sinh-def associate-+r- exp-diff div-exp exp-sum sum-log div-inv
Counts
4 → 70
Calls
4 calls:
1.0ms
(sinh y)
5.0ms
(exp (+ (log (cos x)) (log (/ (sinh y) y))))
2.0ms
(log (cos x))
3.0ms
(log (/ (sinh y) y))

series501.0ms

Counts
4 → 12
Calls
4 calls:
66.0ms
(sinh y)
140.0ms
(exp (+ (log (cos x)) (log (/ (sinh y) y))))
86.0ms
(log (cos x))
208.0ms
(log (/ (sinh y) y))

simplify89.0ms

Algorithm
egg-herbie
Counts
82 → 82
Iterations

Useful iterations: 3 (82.0ms)

IterNodesCost
0327464
1857413
23293379
35001378

prune216.0ms

Filtered
82 candidates to 61 candidates (74.4%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New82082
Fresh000
Picked011
Done022
Total82385

Merged error: 0b

Counts
85 → 3

regimes84.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
074
174

end0.0ms

sample2.0s

Algorithm
intervals
Results
802.0ms2970×body1280valid
413.0ms2511×body640valid
313.0ms8572×body80valid
141.0ms1203×body320valid
45.0ms585×body160valid