Details

Time bar (total: 12.5s)

sample290.0ms

Algorithm
intervals
Results
206.0ms210×body5120exit
36.0ms78×body1280valid
11.0ms50×body640valid
6.0ms6×body2560valid
5.0ms91×body80valid
4.0ms152×body80nan
3.0ms21×body320valid
1.0ms10×body160valid

simplify140.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0113
1143
2163
3183
4193
5243
6433
7643
81473
913613
1050013

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

Counts
2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

38.2b
(fmod (cosh c) (log1p a))

rewrite1.0ms

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

series2.0ms

Counts
1 → 3
Calls
1 calls:
2.0ms
(fmod (cosh c) (log1p a))

simplify102.0ms

Algorithm
egg-herbie
Counts
10 → 10
Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
01949
12442
22942
33642
45642
511542
656442
7183842
8500142

prune36.0ms

Filtered
10 candidates to 7 candidates (70.0%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New5510
Fresh000
Picked011
Done000
Total5611

Merged error: 33.7b

Counts
11 → 6

localize9.0ms

Local error

Found 3 expressions with local error:

0.5b
(log (fmod (cosh c) (log1p a)))
0.6b
(exp (log (fmod (cosh c) (log1p a))))
38.2b
(fmod (cosh c) (log1p a))

rewrite5.0ms

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

series23.0ms

Counts
3 → 9
Calls
3 calls:
19.0ms
(log (fmod (cosh c) (log1p a)))
2.0ms
(exp (log (fmod (cosh c) (log1p a))))
2.0ms
(fmod (cosh c) (log1p a))

simplify84.0ms

Algorithm
egg-herbie
Counts
43 → 43
Iterations

Useful iterations: 3 (6.0ms)

IterNodesCost
055234
181206
2103200
3150194
4295194
5724194
62472194
75001194

prune109.0ms

Filtered
43 candidates to 23 candidates (53.5%)
Pruning

12 alts after pruning (10 fresh and 2 done)

PrunedKeptTotal
New35843
Fresh224
Picked011
Done011
Total371249

Merged error: 33.7b

Counts
49 → 12

localize10.0ms

Local error

Found 3 expressions with local error:

0.5b
(log (fmod (cosh c) (log1p a)))
0.7b
(pow E (log (fmod (cosh c) (log1p a))))
38.2b
(fmod (cosh c) (log1p a))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×pow1 log-prod
5×add-exp-log
4×pow-unpow
3×unpow-prod-up unpow-prod-down add-cbrt-cube add-log-exp
2×pow-exp log-pow
1×pow-to-exp e-exp-1 pow-pow rem-log-exp sqr-pow
Counts
3 → 41
Calls
3 calls:
1.0ms
(log (fmod (cosh c) (log1p a)))
3.0ms
(pow E (log (fmod (cosh c) (log1p a))))
1.0ms
(fmod (cosh c) (log1p a))

series67.0ms

Counts
3 → 9
Calls
3 calls:
22.0ms
(log (fmod (cosh c) (log1p a)))
42.0ms
(pow E (log (fmod (cosh c) (log1p a))))
2.0ms
(fmod (cosh c) (log1p a))

simplify201.0ms

Algorithm
egg-herbie
Counts
50 → 50
Iterations

Useful iterations: 3 (33.0ms)

IterNodesCost
0102318
1285273
2967269
34847255
45001255

prune122.0ms

Filtered
50 candidates to 25 candidates (50.0%)
Pruning

13 alts after pruning (11 fresh and 2 done)

PrunedKeptTotal
New41950
Fresh729
Picked011
Done112
Total491362

Merged error: 33.7b

Counts
62 → 13

localize16.0ms

Local error

Found 4 expressions with local error:

0.7b
(pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))
38.2b
(fmod (cosh c) (log1p a))
38.2b
(fmod (cosh c) (log1p a))
38.2b
(fmod (cosh c) (log1p a))

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
7×add-sqr-sqrt add-cube-cbrt pow-unpow *-un-lft-identity
6×pow1
5×add-log-exp
4×add-exp-log cbrt-prod add-cbrt-cube
3×unpow-prod-down pow-pow
1×pow-to-exp exp-prod exp-to-pow pow-exp log-pow sqr-pow
Counts
4 → 44
Calls
4 calls:
4.0ms
(pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))
1.0ms
(fmod (cosh c) (log1p a))
1.0ms
(fmod (cosh c) (log1p a))
1.0ms
(fmod (cosh c) (log1p a))

series137.0ms

Counts
4 → 12
Calls
4 calls:
131.0ms
(pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))
2.0ms
(fmod (cosh c) (log1p a))
2.0ms
(fmod (cosh c) (log1p a))
2.0ms
(fmod (cosh c) (log1p a))

simplify119.0ms

Algorithm
egg-herbie
Counts
56 → 56
Iterations

Useful iterations: 3 (27.0ms)

IterNodesCost
097662
1260589
2858583
33857579
45001579

prune151.0ms

Filtered
56 candidates to 36 candidates (64.3%)
Pruning

15 alts after pruning (13 fresh and 2 done)

PrunedKeptTotal
New53356
Fresh01010
Picked101
Done022
Total541569

Merged error: 33.7b

Counts
69 → 15

regimes328.0ms

Accuracy

0% (0.0b remaining)

Error of 34.5b against oracle of 34.4b and baseline of 34.5b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0105
1125
2125

end0.0ms

sample10.5s

Algorithm
intervals
Results
8.0s7624×body5120exit
1.1s2347×body1280valid
374.0ms1584×body640valid
162.0ms5260×body80nan
154.0ms135×body2560valid
132.0ms2726×body80valid
117.0ms805×body320valid
42.0ms391×body160valid
20.0ms12×body5120valid

Profiling

Loading profile data...