Details

Time bar (total: 36.1s)

sample1.5s

Algorithm
intervals
Results
711.0ms287×body5120exit
203.0ms109×body2560valid
65.0ms92×body1280nan
65.0ms74×body1280valid
41.0ms98×body640nan
38.0ms37×body640valid
28.0ms280×body80nan
13.0ms47×body320nan
9.0ms23×body320valid
3.0ms16×body160nan
1.0ms6×body160valid
1.0ms7×body80valid

simplify48.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0166
1246
2436
3916
42576
512776
650016

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: 60.9b

Counts
2 → 1

localize11.0ms

Local error

Found 2 expressions with local error:

1.5b
(acos (pow (fmod (cosh a) (* a a)) (log1p a)))
59.1b
(fmod (cosh a) (* a a))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
2×pow1 add-exp-log add-sqr-sqrt add-cube-cbrt *-un-lft-identity add-cbrt-cube add-log-exp
1×acos-asin
Counts
2 → 15
Calls
2 calls:
2.0ms
(acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1.0ms
(fmod (cosh a) (* a a))

series12.0ms

Counts
2 → 6
Calls
2 calls:
3.0ms
(acos (pow (fmod (cosh a) (* a a)) (log1p a)))
9.0ms
(fmod (cosh a) (* a a))

simplify86.0ms

Algorithm
egg-herbie
Counts
21 → 21
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
044144
172124
2156124
3405124
41938124
55002124

prune77.0ms

Filtered
21 candidates to 16 candidates (76.2%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New16521
Fresh000
Picked101
Done000
Total17522

Merged error: 59.6b

Counts
22 → 5

localize12.0ms

Local error

Found 3 expressions with local error:

1.5b
(acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
10.4b
(log (exp (fmod (cosh a) (* a a))))
59.1b
(fmod (cosh a) (* a a))

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 log-pow
3×add-exp-log log-prod exp-prod add-cbrt-cube add-log-exp
1×acos-asin rem-log-exp
Counts
3 → 30
Calls
3 calls:
1.0ms
(acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
2.0ms
(log (exp (fmod (cosh a) (* a a))))
1.0ms
(fmod (cosh a) (* a a))

series7.0ms

Counts
3 → 9
Calls
3 calls:
3.0ms
(acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
2.0ms
(log (exp (fmod (cosh a) (* a a))))
2.0ms
(fmod (cosh a) (* a a))

simplify111.0ms

Algorithm
egg-herbie
Counts
39 → 39
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
073265
1107226
2221226
3590226
42934226
55002226

prune122.0ms

Filtered
39 candidates to 29 candidates (74.4%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New36339
Fresh134
Picked011
Done000
Total37744

Merged error: 59.6b

Counts
44 → 7

localize16.0ms

Local error

Found 4 expressions with local error:

10.4b
(log (exp (fmod (cosh a) (* a a))))
59.1b
(fmod (cosh a) (* a a))
59.1b
(fmod (cosh a) (* a a))
59.1b
(fmod (cosh a) (* a a))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
5×pow1
4×add-exp-log log-pow add-cbrt-cube add-log-exp
3×log-prod exp-prod
1×rem-log-exp
Counts
4 → 36
Calls
4 calls:
2.0ms
(log (exp (fmod (cosh a) (* a a))))
1.0ms
(fmod (cosh a) (* a a))
1.0ms
(fmod (cosh a) (* a a))
1.0ms
(fmod (cosh a) (* a a))

series7.0ms

Counts
4 → 12
Calls
4 calls:
2.0ms
(log (exp (fmod (cosh a) (* a a))))
2.0ms
(fmod (cosh a) (* a a))
2.0ms
(fmod (cosh a) (* a a))
2.0ms
(fmod (cosh a) (* a a))

simplify82.0ms

Algorithm
egg-herbie
Counts
48 → 48
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
052246
175212
2157212
3405212
41946212
55003212

prune200.0ms

Filtered
48 candidates to 34 candidates (70.8%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New47148
Fresh145
Picked011
Done101
Total49655

Merged error: 59.6b

Counts
55 → 6

localize14.0ms

Local error

Found 4 expressions with local error:

0.4b
(asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
0.9b
(- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
10.4b
(log (exp (fmod (cosh a) (* a a))))
59.1b
(fmod (cosh a) (* a a))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt
8×*-un-lft-identity
6×add-cube-cbrt add-log-exp
5×pow1
4×add-exp-log log-pow add-cbrt-cube
3×log-prod exp-prod
2×asin-acos difference-of-squares
1×sub-neg flip3-- times-frac diff-log rem-log-exp flip-- distribute-lft-out-- associate--r-
Counts
4 → 46
Calls
4 calls:
1.0ms
(asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
7.0ms
(- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
2.0ms
(log (exp (fmod (cosh a) (* a a))))
1.0ms
(fmod (cosh a) (* a a))

series40.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
33.0ms
(- (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
2.0ms
(log (exp (fmod (cosh a) (* a a))))
2.0ms
(fmod (cosh a) (* a a))

simplify141.0ms

Algorithm
egg-herbie
Counts
58 → 58
Iterations

Useful iterations: 4 (134.0ms)

IterNodesCost
0148533
1295476
2702474
32899474
45001472

prune160.0ms

Filtered
58 candidates to 42 candidates (72.4%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New55358
Fresh134
Picked101
Done011
Total57764

Merged error: 59.5b

Counts
64 → 7

regimes184.0ms

Accuracy

0% (0.4b remaining)

Error of 60.2b against oracle of 59.8b and baseline of 60.2b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01329
11329

end0.0ms

sample33.2s

Algorithm
intervals
Results
19.5s8092×body5120exit
5.7s3176×body2560valid
2.2s2503×body1280valid
2.0s2944×body1280nan
1.0s2558×body640nan
683.0ms8726×body80nan
608.0ms1228×body640valid
354.0ms1318×body320nan
216.0ms636×body320valid
113.0ms650×body160nan
76.0ms331×body160valid
14.0ms126×body80valid
7.0ms3×body5120nan
6.0ms5×body2560nan

Profiling

Loading profile data...