Details

Time bar (total: 5.8s)

sample69.0ms

Algorithm
intervals
Results
29.0ms108×body1280valid
12.0ms74×body640valid
11.0ms292×body80valid
4.0ms34×body320valid
1.0ms17×body160valid

simplify72.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0154
1304
2664
31374
42624
54924
613904
748564
850014

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

localize10.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×prod-exp cbrt-unprod add-log-exp unswap-sqr
1×cbrt-undiv sinh-def associate-*r/ div-exp pow-prod-down *-commutative div-inv
Counts
2 → 40
Calls
2 calls:
7.0ms
(* (cos x) (/ (sinh y) y))
1.0ms
(sinh y)

series150.0ms

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

simplify42.0ms

Algorithm
egg-herbie
Counts
46 → 46
Iterations

Useful iterations: 2 (38.0ms)

IterNodesCost
0272274
11126241
25001223

prune93.0ms

Filtered
46 candidates to 34 candidates (73.9%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New44246
Fresh000
Picked011
Done000
Total44347

Merged error: 0.0b

Counts
47 → 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×rem-sqrt-square 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 → 92
Calls
4 calls:
1.0ms
(sinh y)
3.0ms
(sqrt (/ (sinh y) y))
3.0ms
(sqrt (/ (sinh y) y))
15.0ms
(* (* (cos x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))

series338.0ms

Counts
4 → 12
Calls
4 calls:
62.0ms
(sinh y)
80.0ms
(sqrt (/ (sinh y) y))
82.0ms
(sqrt (/ (sinh y) y))
112.0ms
(* (* (cos x) (sqrt (/ (sinh y) y))) (sqrt (/ (sinh y) y)))

simplify79.0ms

Algorithm
egg-herbie
Counts
104 → 104
Iterations

Useful iterations: 2 (69.0ms)

IterNodesCost
07671120
13298968
25001960

prune405.0ms

Filtered
104 candidates to 84 candidates (80.8%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1031104
Fresh011
Picked101
Done011
Total1043107

Merged error: 0b

Counts
107 → 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))))

rewrite30.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×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 → 112
Calls
4 calls:
7.0ms
(sqrt (/ (sinh y) y))
3.0ms
(sqrt (/ (sinh y) y))
3.0ms
(sqrt (/ (sinh y) y))
14.0ms
(* (* (cos x) (sqrt (/ (sinh y) y))) (sqrt (sqrt (/ (sinh y) y))))

series619.0ms

Counts
4 → 12
Calls
4 calls:
82.0ms
(sqrt (/ (sinh y) y))
82.0ms
(sqrt (/ (sinh y) y))
85.0ms
(sqrt (/ (sinh y) y))
369.0ms
(* (* (cos x) (sqrt (/ (sinh y) y))) (sqrt (sqrt (/ (sinh y) y))))

simplify49.0ms

Algorithm
egg-herbie
Counts
124 → 124
Iterations

Useful iterations: 1 (29.0ms)

IterNodesCost
013081807
150021642

prune605.0ms

Filtered
124 candidates to 106 candidates (85.5%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1240124
Fresh011
Picked011
Done011
Total1243127

Merged error: 0b

Counts
127 → 3

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (cos x) (/ (sinh y) y))
0.0b
(sinh y)
0.0b
(exp (log (* (cos x) (/ (sinh y) y))))
2.4b
(log (* (cos x) (/ (sinh y) y)))

rewrite20.0ms

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

series544.0ms

Counts
4 → 12
Calls
4 calls:
95.0ms
(* (cos x) (/ (sinh y) y))
85.0ms
(sinh y)
93.0ms
(exp (log (* (cos x) (/ (sinh y) y))))
270.0ms
(log (* (cos x) (/ (sinh y) y)))

simplify43.0ms

Algorithm
egg-herbie
Counts
81 → 81
Iterations

Useful iterations: 2 (36.0ms)

IterNodesCost
0330493
11369435
25001429

prune203.0ms

Filtered
81 candidates to 60 candidates (74.1%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New81081
Fresh000
Picked011
Done022
Total81384

Merged error: 0b

Counts
84 → 3

regimes92.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.3s

Algorithm
intervals
Results
826.0ms2970×body1280valid
522.0ms8572×body80valid
417.0ms2511×body640valid
144.0ms1203×body320valid
50.0ms585×body160valid