Details

Time bar (total: 12.3s)

analyze358.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
12.5%87.4%0.1%4
62.4%37.5%0.1%5
62.4%37.5%0.1%6
62.4%31.2%6.3%7
62.4%31.2%6.3%8
62.4%28.1%9.5%9
62.4%28.1%9.5%10
62.4%26.5%11%11
62.4%26.5%11%12
62.4%25.8%11.8%13
62.4%25.8%11.8%14

sample157.0ms

Algorithm
intervals
Results
59.0ms102×body1280valid
28.0ms83×body640valid
17.0ms48×body1280invalid
11.0ms47×body640invalid
10.0ms47×body320valid
5.0ms79×body80invalid
4.0ms21×body320invalid
2.0ms12×body160valid
2.0ms13×body160invalid
1.0ms12×body80valid

simplify205.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (69.0ms)

IterNodesCost
0575618

prune5.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 45.8b

Counts
2 → 1

localize15.0ms

Local error

Found 2 expressions with local error:

0.3b
(*.f64 (*.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
4.8b
(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
7×pow1_binary64_3088 add-cbrt-cube_binary64_3114 add-exp-log_binary64_3106 *-un-lft-identity_binary64_3142 add-sqr-sqrt_binary64_3127
5×associate-*r*_binary64_3201
4×add-log-exp_binary64_3107
3×cbrt-unprod_binary64_3111 pow-prod-down_binary64_3069 sub-neg_binary64_3146 add-cube-cbrt_binary64_3113 prod-exp_binary64_3093
2×distribute-lft-out--_binary64_3187 difference-of-squares_binary64_3171 associate-*r/_binary64_3203 flip--_binary64_3168 flip3--_binary64_3141
1×associate-*l*_binary64_3202 *-commutative_binary64_3210 distribute-rgt-in_binary64_3185 distribute-lft-in_binary64_3184 diff-log_binary64_3058
Counts
2 → 37
Calls
2 calls:
12.0ms
(*.f64 (*.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
7.0ms
(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

series94.0ms

Counts
2 → 6
Calls
2 calls:
74.0ms
(*.f64 (*.f64 1/2 (sin.f64 re)) (-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
20.0ms
(-.f64 (exp.f64 (neg.f64 im)) (exp.f64 im))

simplify67.0ms

Algorithm
egg-herbie
Counts
43 → 43
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
05231764

prune149.0ms

Filtered
29 candidates to 43 candidates (-48.3%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New38543
Fresh000
Picked101
Done000
Total39544

Merged error: 0.4b

Counts
44 → 5

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(-.f64 (*.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))
0.1b
(*.f64 1/60 (pow.f64 im 5))
0.1b
(*.f64 (pow.f64 im 3) -1/3)
0.1b
(*.f64 (*.f64 1/2 (sin.f64 re)) (+.f64 (*.f64 im -2) (-.f64 (*.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt_binary64_3127
19×add-exp-log_binary64_3106
16×associate-*l*_binary64_3202
13×add-cbrt-cube_binary64_3114 associate-*r*_binary64_3201
12×*-un-lft-identity_binary64_3142 add-cube-cbrt_binary64_3113
9×pow1_binary64_3088 prod-exp_binary64_3093
8×unpow-prod-down_binary64_3077
7×unswap-sqr_binary64_3170
6×add-log-exp_binary64_3107
5×cbrt-unprod_binary64_3111
4×sqr-pow_binary64_3174 cube-prod_binary64_3115
3×pow-prod-down_binary64_3069 *-commutative_binary64_3210
2×pow-exp_binary64_3066 pow-to-exp_binary64_3067 associate-*r/_binary64_3203
1×flip-+_binary64_3167 distribute-rgt-in_binary64_3185 sub-neg_binary64_3146 flip3-+_binary64_3140 distribute-lft-in_binary64_3184 flip--_binary64_3168 diff-log_binary64_3058 flip3--_binary64_3141 cube-mult_binary64_3117 unpow3_binary64_3086
Counts
4 → 89
Calls
4 calls:
5.0ms
(-.f64 (*.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))
6.0ms
(*.f64 1/60 (pow.f64 im 5))
10.0ms
(*.f64 (pow.f64 im 3) -1/3)
12.0ms
(*.f64 (*.f64 1/2 (sin.f64 re)) (+.f64 (*.f64 im -2) (-.f64 (*.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))))

series296.0ms

Counts
4 → 12
Calls
4 calls:
89.0ms
(-.f64 (*.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))
31.0ms
(*.f64 1/60 (pow.f64 im 5))
29.0ms
(*.f64 (pow.f64 im 3) -1/3)
147.0ms
(*.f64 (*.f64 1/2 (sin.f64 re)) (+.f64 (*.f64 im -2) (-.f64 (*.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))))

simplify80.0ms

Algorithm
egg-herbie
Counts
101 → 101
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
049571697
149571697

prune452.0ms

Filtered
67 candidates to 101 candidates (-50.7%)
Pruning

13 alts after pruning (12 fresh and 1 done)

PrunedKeptTotal
New938101
Fresh044
Picked011
Done000
Total9313106

Merged error: 0.3b

Counts
106 → 13

localize39.0ms

Local error

Found 4 expressions with local error:

0.5b
(*.f64 (cbrt.f64 (*.f64 1/2 (*.f64 (sin.f64 re) (+.f64 (*.f64 im -2) (-.f64 (*.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5))))))) (cbrt.f64 (*.f64 1/2 (*.f64 (sin.f64 re) (+.f64 (*.f64 im -2) (-.f64 (*.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5))))))))
11.9b
(cbrt.f64 (*.f64 1/2 (*.f64 (sin.f64 re) (+.f64 (*.f64 im -2) (-.f64 (*.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))))))
11.9b
(cbrt.f64 (*.f64 1/2 (*.f64 (sin.f64 re) (+.f64 (*.f64 im -2) (-.f64 (*.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))))))
11.9b
(cbrt.f64 (*.f64 1/2 (*.f64 (sin.f64 re) (+.f64 (*.f64 im -2) (-.f64 (*.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))))))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
38×associate-*r/_binary64_3203
18×cbrt-div_binary64_3110
11×pow1_binary64_3088
10×add-sqr-sqrt_binary64_3127
9×flip-+_binary64_3167 flip3-+_binary64_3140 pow1/3_binary64_3080
8×*-un-lft-identity_binary64_3142 add-cube-cbrt_binary64_3113
7×cbrt-prod_binary64_3109
6×add-exp-log_binary64_3106
4×associate-*l*_binary64_3202 frac-times_binary64_3134 add-cbrt-cube_binary64_3114 associate-*r*_binary64_3201 swap-sqr_binary64_3169 add-log-exp_binary64_3107
2×pow-prod-down_binary64_3069 associate-*l/_binary64_3204 pow-prod-up_binary64_3068 pow-sqr_binary64_3175
1×pow2_binary64_3079 cbrt-unprod_binary64_3111 unswap-sqr_binary64_3170 *-commutative_binary64_3210 prod-exp_binary64_3093 pow-plus_binary64_3083
Counts
4 → 72
Calls
4 calls:
9.0ms
(*.f64 (cbrt.f64 (*.f64 1/2 (*.f64 (sin.f64 re) (+.f64 (*.f64 im -2) (-.f64 (*.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5))))))) (cbrt.f64 (*.f64 1/2 (*.f64 (sin.f64 re) (+.f64 (*.f64 im -2) (-.f64 (*.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5))))))))
11.0ms
(cbrt.f64 (*.f64 1/2 (*.f64 (sin.f64 re) (+.f64 (*.f64 im -2) (-.f64 (*.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))))))
11.0ms
(cbrt.f64 (*.f64 1/2 (*.f64 (sin.f64 re) (+.f64 (*.f64 im -2) (-.f64 (*.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))))))
11.0ms
(cbrt.f64 (*.f64 1/2 (*.f64 (sin.f64 re) (+.f64 (*.f64 im -2) (-.f64 (*.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))))))

series1.5s

Counts
4 → 12
Calls
4 calls:
556.0ms
(*.f64 (cbrt.f64 (*.f64 1/2 (*.f64 (sin.f64 re) (+.f64 (*.f64 im -2) (-.f64 (*.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5))))))) (cbrt.f64 (*.f64 1/2 (*.f64 (sin.f64 re) (+.f64 (*.f64 im -2) (-.f64 (*.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5))))))))
318.0ms
(cbrt.f64 (*.f64 1/2 (*.f64 (sin.f64 re) (+.f64 (*.f64 im -2) (-.f64 (*.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))))))
318.0ms
(cbrt.f64 (*.f64 1/2 (*.f64 (sin.f64 re) (+.f64 (*.f64 im -2) (-.f64 (*.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))))))
320.0ms
(cbrt.f64 (*.f64 1/2 (*.f64 (sin.f64 re) (+.f64 (*.f64 im -2) (-.f64 (*.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))))))

simplify88.0ms

Algorithm
egg-herbie
Counts
84 → 84
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
050674279

prune626.0ms

Filtered
67 candidates to 84 candidates (-25.4%)
Pruning

15 alts after pruning (13 fresh and 2 done)

PrunedKeptTotal
New79584
Fresh3811
Picked011
Done011
Total821597

Merged error: 0.3b

Counts
97 → 15

localize44.0ms

Local error

Found 4 expressions with local error:

0.5b
(*.f64 (cbrt.f64 (*.f64 1/2 (*.f64 (sin.f64 re) (+.f64 (*.f64 im -2) (-.f64 (*.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5))))))) (cbrt.f64 (*.f64 1/2 (*.f64 (sin.f64 re) (+.f64 (*.f64 im -2) (-.f64 (*.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5))))))))
11.8b
(cbrt.f64 (*.f64 (sin.f64 re) (+.f64 (*.f64 im -2) (-.f64 (*.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5))))))
11.9b
(cbrt.f64 (*.f64 1/2 (*.f64 (sin.f64 re) (+.f64 (*.f64 im -2) (-.f64 (*.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))))))
11.9b
(cbrt.f64 (*.f64 1/2 (*.f64 (sin.f64 re) (+.f64 (*.f64 im -2) (-.f64 (*.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))))))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
36×associate-*r/_binary64_3203
18×cbrt-div_binary64_3110
11×pow1_binary64_3088
10×add-sqr-sqrt_binary64_3127
9×flip-+_binary64_3167 flip3-+_binary64_3140 pow1/3_binary64_3080
8×*-un-lft-identity_binary64_3142 add-cube-cbrt_binary64_3113
7×cbrt-prod_binary64_3109
6×add-exp-log_binary64_3106
4×associate-*l*_binary64_3202 frac-times_binary64_3134 add-cbrt-cube_binary64_3114 associate-*r*_binary64_3201 swap-sqr_binary64_3169 add-log-exp_binary64_3107
2×pow-prod-down_binary64_3069 associate-*l/_binary64_3204 pow-prod-up_binary64_3068 pow-sqr_binary64_3175
1×pow2_binary64_3079 cbrt-unprod_binary64_3111 unswap-sqr_binary64_3170 *-commutative_binary64_3210 prod-exp_binary64_3093 pow-plus_binary64_3083
Counts
4 → 72
Calls
4 calls:
9.0ms
(*.f64 (cbrt.f64 (*.f64 1/2 (*.f64 (sin.f64 re) (+.f64 (*.f64 im -2) (-.f64 (*.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5))))))) (cbrt.f64 (*.f64 1/2 (*.f64 (sin.f64 re) (+.f64 (*.f64 im -2) (-.f64 (*.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5))))))))
9.0ms
(cbrt.f64 (*.f64 (sin.f64 re) (+.f64 (*.f64 im -2) (-.f64 (*.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5))))))
11.0ms
(cbrt.f64 (*.f64 1/2 (*.f64 (sin.f64 re) (+.f64 (*.f64 im -2) (-.f64 (*.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))))))
11.0ms
(cbrt.f64 (*.f64 1/2 (*.f64 (sin.f64 re) (+.f64 (*.f64 im -2) (-.f64 (*.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))))))

series1.5s

Counts
4 → 12
Calls
4 calls:
558.0ms
(*.f64 (cbrt.f64 (*.f64 1/2 (*.f64 (sin.f64 re) (+.f64 (*.f64 im -2) (-.f64 (*.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5))))))) (cbrt.f64 (*.f64 1/2 (*.f64 (sin.f64 re) (+.f64 (*.f64 im -2) (-.f64 (*.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5))))))))
302.0ms
(cbrt.f64 (*.f64 (sin.f64 re) (+.f64 (*.f64 im -2) (-.f64 (*.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5))))))
319.0ms
(cbrt.f64 (*.f64 1/2 (*.f64 (sin.f64 re) (+.f64 (*.f64 im -2) (-.f64 (*.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))))))
322.0ms
(cbrt.f64 (*.f64 1/2 (*.f64 (sin.f64 re) (+.f64 (*.f64 im -2) (-.f64 (*.f64 (pow.f64 im 3) -1/3) (*.f64 1/60 (pow.f64 im 5)))))))

simplify91.0ms

Algorithm
egg-herbie
Counts
84 → 84
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
055764254

prune519.0ms

Filtered
67 candidates to 84 candidates (-25.4%)
Pruning

16 alts after pruning (13 fresh and 3 done)

PrunedKeptTotal
New81384
Fresh21012
Picked011
Done022
Total831699

Merged error: 0.3b

Counts
99 → 16

regimes958.0ms

Accuracy

0% (0.7b remaining)

Error of 0.8b against oracle of 0.1b and baseline of 0.8b

bsearch0.0ms

simplify4.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
05130
15130

end0.0ms

sample4.9s

Algorithm
intervals
Results
1.9s3301×body1280valid
1.0s2543×body640valid
524.0ms1490×body1280invalid
331.0ms1277×body640invalid
274.0ms1303×body320valid
155.0ms2429×body80invalid
108.0ms622×body320invalid
78.0ms594×body160valid
39.0ms325×body160invalid
18.0ms259×body80valid

Profiling

Loading profile data...