Details

Time bar (total: 14.7s)

sample383.0ms

Algorithm
intervals
Results
201.0ms81×body10240exit
118.0ms74×body1280valid
34.0ms50×body640valid
9.0ms93×body80valid
6.0ms21×body320valid
4.0ms18×body160valid

simplify2.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
087

prune4.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 32.6b

localize18.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.2b
(sin (expm1 a))
37.2b
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

rewrite2.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:
0.0ms
(atan2 (expm1 (sin (expm1 a))) (atan a))
0.0ms
(expm1 (sin (expm1 a)))
1.0ms
(sin (expm1 a))
0.0ms
(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

series62.0ms

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

simplify122.0ms

Algorithm
egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
039248
144212
254212
368212
4114212
5228212
6919212
73184212
85001212

prune160.0ms

Filtered
40 candidates to 28 candidates (70.0%)
Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 31.4b

localize16.0ms

Local error

Found 4 expressions with local error:

0.2b
(sin (expm1 a))
0.7b
(cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
1.0b
(pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
37.2b
(fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
10×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×unpow-prod-down cube-prod
5×pow1 add-exp-log add-cbrt-cube
4×add-log-exp
3×pow-unpow
2×cube-mult unpow3 sqr-pow
1×pow-to-exp pow-pow pow1/3 pow-exp rem-cbrt-cube rem-cube-cbrt
Counts
4 → 58
Calls
4 calls:
1.0ms
(sin (expm1 a))
1.0ms
(cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
1.0ms
(pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
0.0ms
(fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)

series95.0ms

Counts
4 → 12
Calls
4 calls:
58.0ms
(sin (expm1 a))
2.0ms
(cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
33.0ms
(pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
2.0ms
(fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)

simplify127.0ms

Algorithm
egg-herbie
Counts
70 → 70
Iterations

Useful iterations: 2 (15.0ms)

IterNodesCost
0112584
1390527
22787521
35001521

prune237.0ms

Filtered
70 candidates to 36 candidates (51.4%)
Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 31.1b

localize20.0ms

Local error

Found 4 expressions with local error:

0.7b
(cbrt (log (exp (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))))
1.0b
(pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
1.1b
(exp (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
37.2b
(fmod (cbrt (log (exp (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))) a)

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
24×exp-prod
16×cbrt-prod
14×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
13×log-pow
9×unpow-prod-down cube-prod
6×pow1
5×add-exp-log add-cbrt-cube add-log-exp
3×cube-mult pow-unpow unpow3 sqr-pow
1×pow-to-exp pow-pow pow1/3 pow-exp rem-exp-log rem-cube-cbrt
Counts
4 → 74
Calls
4 calls:
4.0ms
(cbrt (log (exp (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))))
1.0ms
(pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
4.0ms
(exp (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
0.0ms
(fmod (cbrt (log (exp (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))) a)

series102.0ms

Counts
4 → 12
Calls
4 calls:
2.0ms
(cbrt (log (exp (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))))
33.0ms
(pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
64.0ms
(exp (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
3.0ms
(fmod (cbrt (log (exp (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))) a)

simplify146.0ms

Algorithm
egg-herbie
Counts
86 → 86
Iterations

Useful iterations: 2 (19.0ms)

IterNodesCost
0148799
1461723
23192715
35003715

prune310.0ms

Filtered
86 candidates to 44 candidates (51.2%)
Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 31.0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.8b
(pow (exp (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) 3)
1.0b
(pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
1.1b
(exp (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
37.2b
(fmod (cbrt (log (cbrt (pow (exp (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) 3)))) a)

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
24×exp-prod
16×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
14×pow-pow
12×unpow-prod-down cube-prod
6×pow1 pow-unpow add-cbrt-cube
5×add-exp-log add-log-exp
4×cube-mult unpow3 sqr-pow
2×pow-to-exp pow-exp rem-cube-cbrt
1×rem-exp-log
Counts
4 → 85
Calls
4 calls:
6.0ms
(pow (exp (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) 3)
1.0ms
(pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
4.0ms
(exp (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
0.0ms
(fmod (cbrt (log (cbrt (pow (exp (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) 3)))) a)

series203.0ms

Counts
4 → 12
Calls
4 calls:
101.0ms
(pow (exp (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) 3)
33.0ms
(pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
65.0ms
(exp (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
3.0ms
(fmod (cbrt (log (cbrt (pow (exp (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) 3)))) a)

simplify38.0ms

Algorithm
egg-herbie
Counts
97 → 97
Iterations

Useful iterations: 2 (30.0ms)

IterNodesCost
0173896
1754791
25002779

prune328.0ms

Filtered
97 candidates to 55 candidates (56.7%)
Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 31.0b

regimes214.0ms

Accuracy

0% (1.7b remaining)

Error of 33.5b against oracle of 31.8b and baseline of 33.5b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01818

end0.0ms

sample12.0s

Algorithm
intervals
Results
6.3s2541×body10240exit
3.7s2256×body1280valid
1.2s1707×body640valid
269.0ms2794×body80valid
257.0ms812×body320valid
90.0ms424×body160valid
14.0ms3×body5120valid
8.0ms4×body2560valid