Details

Time bar (total: 15.7s)

sample464.0ms

Algorithm
intervals
Results
274.0ms100×body5120exit
118.0ms69×body1280valid
31.0ms48×body640valid
11.0ms99×body80valid
10.0ms25×body320valid
5.0ms1×body5120valid
3.0ms14×body160valid

simplify3.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
087

prune3.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: 31.7b

Counts
2 → 1

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(atan2 (expm1 (sin (expm1 a))) (atan a))
0.0b
(expm1 (sin (expm1 a)))
0.5b
(sin (expm1 a))
36.0b
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
4×pow1 add-exp-log add-sqr-sqrt add-cube-cbrt *-un-lft-identity add-cbrt-cube add-log-exp
Counts
4 → 28
Calls
4 calls:
1.0ms
(atan2 (expm1 (sin (expm1 a))) (atan a))
1.0ms
(expm1 (sin (expm1 a)))
2.0ms
(sin (expm1 a))
1.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

series64.0ms

Counts
4 → 12
Calls
4 calls:
2.0ms
(atan2 (expm1 (sin (expm1 a))) (atan a))
1.0ms
(expm1 (sin (expm1 a)))
59.0ms
(sin (expm1 a))
2.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

simplify124.0ms

Algorithm
egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
039248
144212
254212
368212
4114212
5228212
6919212
73184212
85001212

prune150.0ms

Filtered
40 candidates to 28 candidates (70.0%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New291140
Fresh000
Picked101
Done000
Total301141

Merged error: 30.6b

Counts
41 → 11

localize16.0ms

Local error

Found 4 expressions with local error:

0.3b
(log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
0.4b
(exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
0.5b
(sin (expm1 a))
36.0b
(fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)

rewrite7.0ms

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

series88.0ms

Counts
4 → 12
Calls
4 calls:
2.0ms
(log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
28.0ms
(exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
55.0ms
(sin (expm1 a))
2.0ms
(fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)

simplify101.0ms

Algorithm
egg-herbie
Counts
52 → 52
Iterations

Useful iterations: 7 (95.0ms)

IterNodesCost
063401
192342
2121342
3180342
4339342
5863342
63913342
75001338

prune192.0ms

Filtered
52 candidates to 34 candidates (65.4%)
Pruning

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New46652
Fresh1910
Picked101
Done000
Total481563

Merged error: 30.4b

Counts
63 → 15

localize22.0ms

Local error

Found 4 expressions with local error:

0.5b
(sin (expm1 a))
0.5b
(sin (expm1 a))
0.6b
(* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))
36.0b
(fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a)

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
18×unpow-prod-down
12×add-cube-cbrt *-un-lft-identity
10×add-exp-log sqr-pow
9×prod-exp unswap-sqr
7×swap-sqr associate-*r* associate-*l*
6×pow-to-exp pow-exp add-cbrt-cube
4×pow1 unpow1/2 add-log-exp
1×pow2 sqrt-unprod pow-prod-down rem-square-sqrt pow-sqr *-commutative pow-prod-up cbrt-unprod
Counts
4 → 75
Calls
4 calls:
2.0ms
(sin (expm1 a))
2.0ms
(sin (expm1 a))
10.0ms
(* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))
1.0ms
(fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a)

series142.0ms

Counts
4 → 12
Calls
4 calls:
53.0ms
(sin (expm1 a))
57.0ms
(sin (expm1 a))
28.0ms
(* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))
3.0ms
(fmod (log (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2))) a)

simplify227.0ms

Algorithm
egg-herbie
Counts
87 → 87
Iterations

Useful iterations: 2 (24.0ms)

IterNodesCost
01571048
1534830
24696773
35001773

prune295.0ms

Filtered
87 candidates to 46 candidates (52.9%)
Pruning

18 alts after pruning (17 fresh and 1 done)

PrunedKeptTotal
New82587
Fresh21214
Picked011
Done000
Total8418102

Merged error: 30.2b

Counts
102 → 18

localize18.0ms

Local error

Found 4 expressions with local error:

0.5b
(sin (expm1 a))
0.5b
(sin (expm1 a))
0.5b
(sin (expm1 a))
36.0b
(fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
4×pow1 add-exp-log add-sqr-sqrt add-cube-cbrt *-un-lft-identity add-cbrt-cube add-log-exp
Counts
4 → 28
Calls
4 calls:
2.0ms
(sin (expm1 a))
2.0ms
(sin (expm1 a))
2.0ms
(sin (expm1 a))
1.0ms
(fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)

series171.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(sin (expm1 a))
58.0ms
(sin (expm1 a))
57.0ms
(sin (expm1 a))
3.0ms
(fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)

simplify111.0ms

Algorithm
egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 3 (5.0ms)

IterNodesCost
029306
133256
241256
360245
497245
5191245
6787245
72686245
85001245

prune134.0ms

Filtered
40 candidates to 29 candidates (72.5%)
Pruning

22 alts after pruning (21 fresh and 1 done)

PrunedKeptTotal
New35540
Fresh01616
Picked101
Done011
Total362258

Merged error: 30.1b

Counts
58 → 22

regimes280.0ms

Accuracy

0% (1.7b remaining)

Error of 33.3b against oracle of 31.5b and baseline of 33.3b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01318

end0.0ms

sample13.0s

Algorithm
intervals
Results
6.9s2539×body5120exit
4.0s2275×body1280valid
1.2s1625×body640valid
314.0ms2845×body80valid
301.0ms827×body320valid
101.0ms425×body160valid
9.0ms2×body5120valid
2.0ms1×body2560valid

Profiling

Loading profile data...