Details

Time bar (total: 4.7s)

analyze259.0ms (5.5%)

Algorithm
1×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
0%99.9%0.1%4
25%74.9%0.1%5
25%74.9%0.1%6
31.2%50%18.8%7
34.3%43.7%22%8
45.3%26.5%28.2%9
46.8%23.4%29.8%10
48.8%14%37.2%11
49.8%12.1%38.1%12
52.8%7.1%40.1%13
53.3%6.1%40.6%14
Compiler

Compiled 20 to 12 computations (40% saved)

sample21.0ms (0.4%)

Algorithm
1×intervals
Results
11.0ms256×body128valid
1.0ms19×body128invalid
Compiler

Compiled 39 to 25 computations (35.9% saved)

simplify282.0ms (6%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (175.0ms)

IterNodesCost
0491520
1491520

prune4.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.1b
Counts
2 → 2
Compiler

Compiled 41 to 29 computations (29.3% saved)

localize11.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.2b
(*.f64 x.re (*.f64 (*.f64 x.re x.im) 3))
0.3b
(*.f64 (*.f64 x.re x.im) 3)

rewrite66.0ms (1.4%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
16×pow1_binary64_3208 add-exp-log_binary64_3185 add-cbrt-cube_binary64_3183
9×pow-prod-down_binary64_3218 prod-exp_binary64_3196 cbrt-unprod_binary64_3180
4×add-cube-cbrt_binary64_3182 add-sqr-sqrt_binary64_3169 *-un-lft-identity_binary64_3147 associate-*l*_binary64_3088 associate-*r*_binary64_3087
2×add-log-exp_binary64_3186 *-commutative_binary64_3078
Counts
2 → 39
Calls

2 calls:

10.0ms
(*.f64 x.re (*.f64 (*.f64 x.re x.im) 3))
9.0ms
(*.f64 (*.f64 x.re x.im) 3)
Compiler

Compiled 659 to 379 computations (42.5% saved)

series156.0ms (3.3%)

Error
0.1b
Counts
2 → 12
Calls

2 calls:

85.0ms
(*.f64 x.re (*.f64 (*.f64 x.re x.im) 3))
61.0ms
(*.f64 (*.f64 x.re x.im) 3)
Compiler

Compiled 396 to 315 computations (20.5% saved)

simplify84.0ms (1.8%)

Algorithm
1×egg-herbie
Counts
51 → 51
Iterations

Useful iterations: 0 (73.0ms)

IterNodesCost
05029605

prune54.0ms (1.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New47451
Fresh011
Picked011
Done000
Total47653
Error
0.0b
Counts
53 → 6
Compiler

Compiled 770 to 527 computations (31.6% saved)

localize9.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.2b
(*.f64 x.re (*.f64 (*.f64 (*.f64 x.im x.re) (sqrt.f64 3)) (sqrt.f64 3)))
0.3b
(*.f64 (*.f64 (*.f64 x.im x.re) (sqrt.f64 3)) (sqrt.f64 3))
0.4b
(*.f64 (*.f64 x.im x.re) (sqrt.f64 3))

rewrite153.0ms (3.3%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
31×pow1_binary64_3208 add-exp-log_binary64_3185 add-cbrt-cube_binary64_3183
19×pow-prod-down_binary64_3218 prod-exp_binary64_3196 cbrt-unprod_binary64_3180
13×associate-*r*_binary64_3087
8×add-cube-cbrt_binary64_3182 add-sqr-sqrt_binary64_3169 *-un-lft-identity_binary64_3147
6×sqrt-prod_binary64_3163
5×associate-*l*_binary64_3088
3×add-log-exp_binary64_3186 *-commutative_binary64_3078
Counts
3 → 69
Calls

3 calls:

11.0ms
(*.f64 x.re (*.f64 (*.f64 (*.f64 x.im x.re) (sqrt.f64 3)) (sqrt.f64 3)))
11.0ms
(*.f64 (*.f64 (*.f64 x.im x.re) (sqrt.f64 3)) (sqrt.f64 3))
7.0ms
(*.f64 (*.f64 x.im x.re) (sqrt.f64 3))
Compiler

Compiled 1547 to 1066 computations (31.1% saved)

series432.0ms (9.3%)

Error
0.0b
Counts
3 → 18
Calls

3 calls:

156.0ms
(*.f64 x.re (*.f64 (*.f64 (*.f64 x.im x.re) (sqrt.f64 3)) (sqrt.f64 3)))
154.0ms
(*.f64 (*.f64 (*.f64 x.im x.re) (sqrt.f64 3)) (sqrt.f64 3))
105.0ms
(*.f64 (*.f64 x.im x.re) (sqrt.f64 3))
Compiler

Compiled 774 to 650 computations (16% saved)

simplify91.0ms (1.9%)

Algorithm
1×egg-herbie
Counts
87 → 87
Iterations

Useful iterations: 0 (73.0ms)

IterNodesCost
051861069

prune109.0ms (2.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New85287
Fresh134
Picked101
Done011
Total87693
Error
0.0b
Counts
93 → 6
Compiler

Compiled 1421 to 1040 computations (26.8% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.2b
(*.f64 x.re (*.f64 x.im (*.f64 x.re 3)))
0.2b
(*.f64 x.im (*.f64 x.re 3))

rewrite60.0ms (1.3%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
16×pow1_binary64_3208 add-exp-log_binary64_3185 add-cbrt-cube_binary64_3183
9×pow-prod-down_binary64_3218 prod-exp_binary64_3196 cbrt-unprod_binary64_3180
6×associate-*l*_binary64_3088
4×add-cube-cbrt_binary64_3182 add-sqr-sqrt_binary64_3169 *-un-lft-identity_binary64_3147
2×add-log-exp_binary64_3186 associate-*r*_binary64_3087 *-commutative_binary64_3078
Counts
2 → 39
Calls

2 calls:

7.0ms
(*.f64 x.re (*.f64 x.im (*.f64 x.re 3)))
5.0ms
(*.f64 x.im (*.f64 x.re 3))
Compiler

Compiled 659 to 421 computations (36.1% saved)

series172.0ms (3.7%)

Error
0.0b
Counts
2 → 12
Calls

2 calls:

95.0ms
(*.f64 x.re (*.f64 x.im (*.f64 x.re 3)))
69.0ms
(*.f64 x.im (*.f64 x.re 3))
Compiler

Compiled 396 to 315 computations (20.5% saved)

simplify55.0ms (1.2%)

Algorithm
1×egg-herbie
Counts
51 → 51
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
05077601

prune47.0ms (1%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New51051
Fresh044
Picked011
Done011
Total51657
Error
0.0b
Counts
57 → 6
Compiler

Compiled 757 to 514 computations (32.1% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b
(*.f64 (cbrt.f64 x.re) (cbrt.f64 x.re))
0.6b
(cbrt.f64 x.re)
0.6b
(cbrt.f64 x.re)
0.6b
(cbrt.f64 x.re)

rewrite100.0ms (2.1%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
25×cbrt-prod_binary64_3178
23×add-sqr-sqrt_binary64_3169
15×add-cube-cbrt_binary64_3182 *-un-lft-identity_binary64_3147
11×pow1_binary64_3208
9×pow1/3_binary64_3229
6×add-exp-log_binary64_3185 swap-sqr_binary64_3114 associate-*l*_binary64_3088 associate-*r*_binary64_3087
4×add-log-exp_binary64_3186 add-cbrt-cube_binary64_3183 unswap-sqr_binary64_3115
2×pow-prod-down_binary64_3218 pow-prod-up_binary64_3217 pow-sqr_binary64_3120
1×pow2_binary64_3228 pow-plus_binary64_3210 prod-exp_binary64_3196 cbrt-unprod_binary64_3180 *-commutative_binary64_3078
Counts
4 → 73
Calls

4 calls:

6.0ms
(*.f64 (cbrt.f64 x.re) (cbrt.f64 x.re))
1.0ms
(cbrt.f64 x.re)
1.0ms
(cbrt.f64 x.re)
1.0ms
(cbrt.f64 x.re)
Compiler

Compiled 1670 to 672 computations (59.8% saved)

series403.0ms (8.6%)

Error
0.0b
Counts
4 → 12
Calls

4 calls:

114.0ms
(*.f64 (cbrt.f64 x.re) (cbrt.f64 x.re))
98.0ms
(cbrt.f64 x.re)
89.0ms
(cbrt.f64 x.re)
89.0ms
(cbrt.f64 x.re)
Compiler

Compiled 735 to 527 computations (28.3% saved)

simplify85.0ms (1.8%)

Algorithm
1×egg-herbie
Counts
85 → 85
Iterations

Useful iterations: 0 (72.0ms)

IterNodesCost
04874647
14874647

prune95.0ms (2%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New85085
Fresh033
Picked011
Done022
Total85691
Error
0.0b
Counts
91 → 6
Compiler

Compiled 1743 to 817 computations (53.1% saved)

regimes224.0ms (4.8%)

Accuracy

Total 0.2b remaining (97.8%)

Threshold costs 0.2b (97.8%)

Compiler

Compiled 2121 to 1632 computations (23.1% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02420
12420

end0.0ms (0%)

sample1.7s (35.9%)

Algorithm
1×intervals
Results
417.0ms8000×body128valid
27.0ms538×body128invalid
Compiler

Compiled 741 to 568 computations (23.3% saved)

Profiling

Loading profile data...