Details

Time bar (total: 2.6s)

analyze94.0ms (3.6%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0107
1107
011
111
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%50%0%3
50%25%25%4
62.5%12.5%25%5
68.7%6.2%25%6
71.8%3.1%25%7
73.4%1.6%25%8
74.2%0.8%25%9
74.6%0.4%25%10
74.8%0.2%25%11
74.9%0.1%25%12
74.9%0%25.1%13
74.9%0%25.1%14
Compiler

Compiled 6 to 5 computations (16.7% saved)

sample15.0ms (0.6%)

Algorithm
1×intervals
Results
8.0ms256×body128valid
Compiler

Compiled 11 to 10 computations (9.1% saved)

simplify7.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0107
1107

prune2.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112
Error
0.2b
Counts
2 → 1
Compiler

Compiled 10 to 8 computations (20% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite21.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Error
0.1b
Rules
6×pow1_binary64_7982 add-exp-log_binary64_7959 add-cbrt-cube_binary64_7957
3×pow-prod-down_binary64_7992 prod-exp_binary64_7970 cbrt-unprod_binary64_7954 associate-*r*_binary64_7861
2×add-cube-cbrt_binary64_7956 add-sqr-sqrt_binary64_7943 *-un-lft-identity_binary64_7921
1×add-log-exp_binary64_7960 associate-*l*_binary64_7862 *-commutative_binary64_7852
Counts
1 → 18
Calls

1 calls:

5.0ms
(*.f64 (*.f64 x 3) x)
Compiler

Compiled 184 to 119 computations (35.3% saved)

series28.0ms (1.1%)

Error
0.1b
Counts
1 → 3
Calls

1 calls:

25.0ms
(*.f64 (*.f64 x 3) x)
Compiler

Compiled 45 to 43 computations (4.4% saved)

simplify61.0ms (2.4%)

Algorithm
1×egg-herbie
Counts
21 → 21
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
04931168
14931168

prune21.0ms (0.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New16521
Fresh000
Picked011
Done000
Total16622
Error
0.0b
Counts
22 → 6
Compiler

Compiled 213 to 135 computations (36.6% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite20.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
6×pow1_binary64_7982 add-exp-log_binary64_7959 add-cbrt-cube_binary64_7957
3×pow-prod-down_binary64_7992 prod-exp_binary64_7970 cbrt-unprod_binary64_7954 add-sqr-sqrt_binary64_7943 associate-*l*_binary64_7862
2×add-cube-cbrt_binary64_7956 *-un-lft-identity_binary64_7921
1×add-log-exp_binary64_7960 unswap-sqr_binary64_7889 associate-*r*_binary64_7861 *-commutative_binary64_7852
Counts
1 → 19
Calls

1 calls:

6.0ms
(*.f64 3 (*.f64 x x))
Compiler

Compiled 193 to 113 computations (41.5% saved)

series23.0ms (0.9%)

Error
0.0b
Counts
1 → 3
Calls

1 calls:

21.0ms
(*.f64 3 (*.f64 x x))
Compiler

Compiled 45 to 43 computations (4.4% saved)

simplify61.0ms (2.4%)

Algorithm
1×egg-herbie
Counts
22 → 22
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
04886180
14886180

prune18.0ms (0.7%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New20222
Fresh134
Picked011
Done011
Total21728
Error
0.0b
Counts
28 → 7
Compiler

Compiled 221 to 146 computations (33.9% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.2b
(*.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)) (*.f64 (*.f64 x x) (cbrt.f64 3)))
0.3b
(*.f64 (*.f64 x x) (cbrt.f64 3))

rewrite83.0ms (3.2%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
28×pow1_binary64_7982 add-exp-log_binary64_7959
18×pow-prod-down_binary64_7992 prod-exp_binary64_7970 cbrt-unprod_binary64_7954
16×add-cbrt-cube_binary64_7957
7×associate-*r*_binary64_7861
6×add-sqr-sqrt_binary64_7943
4×add-cube-cbrt_binary64_7956 *-un-lft-identity_binary64_7921 cbrt-prod_binary64_7952
2×add-log-exp_binary64_7960 unswap-sqr_binary64_7889 associate-*l*_binary64_7862 *-commutative_binary64_7852
Counts
2 → 51
Calls

2 calls:

13.0ms
(*.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)) (*.f64 (*.f64 x x) (cbrt.f64 3)))
7.0ms
(*.f64 (*.f64 x x) (cbrt.f64 3))
Compiler

Compiled 940 to 700 computations (25.5% saved)

series111.0ms (4.3%)

Error
0.0b
Counts
2 → 6
Calls

2 calls:

67.0ms
(*.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)) (*.f64 (*.f64 x x) (cbrt.f64 3)))
39.0ms
(*.f64 (*.f64 x x) (cbrt.f64 3))
Compiler

Compiled 180 to 175 computations (2.8% saved)

simplify85.0ms (3.3%)

Algorithm
1×egg-herbie
Counts
57 → 57
Iterations

Useful iterations: 0 (73.0ms)

IterNodesCost
05140533

prune53.0ms (2%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New55257
Fresh134
Picked011
Done112
Total57764
Error
0b
Counts
64 → 7
Compiler

Compiled 714 to 540 computations (24.4% saved)

localize9.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.1b
(*.f64 x (cbrt.f64 (sqrt.f64 3)))
0.2b
(*.f64 x (*.f64 x (cbrt.f64 (sqrt.f64 3))))
0.2b
(*.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)) (*.f64 (*.f64 x (*.f64 x (cbrt.f64 (sqrt.f64 3)))) (cbrt.f64 (sqrt.f64 3))))
0.2b
(*.f64 (*.f64 x (*.f64 x (cbrt.f64 (sqrt.f64 3)))) (cbrt.f64 (sqrt.f64 3)))

rewrite212.0ms (8.2%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
52×pow1_binary64_7982 add-exp-log_binary64_7959
34×pow-prod-down_binary64_7992 prod-exp_binary64_7970 cbrt-unprod_binary64_7954
30×add-cbrt-cube_binary64_7957
20×associate-*r*_binary64_7861
18×add-sqr-sqrt_binary64_7943
14×cbrt-prod_binary64_7952
12×add-cube-cbrt_binary64_7956 *-un-lft-identity_binary64_7921
8×associate-*l*_binary64_7862
7×sqrt-prod_binary64_7937
4×add-log-exp_binary64_7960 *-commutative_binary64_7852
3×unswap-sqr_binary64_7889
Counts
4 → 105
Calls

4 calls:

17.0ms
(*.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)) (*.f64 (*.f64 x (*.f64 x (cbrt.f64 (sqrt.f64 3)))) (cbrt.f64 (sqrt.f64 3))))
11.0ms
(*.f64 (*.f64 x (*.f64 x (cbrt.f64 (sqrt.f64 3)))) (cbrt.f64 (sqrt.f64 3)))
9.0ms
(*.f64 x (cbrt.f64 (sqrt.f64 3)))
6.0ms
(*.f64 x (*.f64 x (cbrt.f64 (sqrt.f64 3))))
Compiler

Compiled 2557 to 2198 computations (14% saved)

series506.0ms (19.6%)

Error
0b
Counts
4 → 12
Calls

4 calls:

163.0ms
(*.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)) (*.f64 (*.f64 x (*.f64 x (cbrt.f64 (sqrt.f64 3)))) (cbrt.f64 (sqrt.f64 3))))
131.0ms
(*.f64 (*.f64 x (*.f64 x (cbrt.f64 (sqrt.f64 3)))) (cbrt.f64 (sqrt.f64 3)))
104.0ms
(*.f64 x (cbrt.f64 (sqrt.f64 3)))
95.0ms
(*.f64 x (*.f64 x (cbrt.f64 (sqrt.f64 3))))
Compiler

Compiled 603 to 583 computations (3.3% saved)

simplify67.0ms (2.6%)

Algorithm
1×egg-herbie
Counts
117 → 117
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
049211470
149211470

prune139.0ms (5.4%)

Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New1161117
Fresh134
Picked011
Done022
Total1177124
Error
0b
Counts
124 → 7
Compiler

Compiled 1994 to 1744 computations (12.5% saved)

regimes98.0ms (3.8%)

Accuracy

Total 0.2b remaining (99.7%)

Threshold costs 0.2b (99.7%)

Compiler

Compiled 860 to 708 computations (17.7% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
077
177

end0.0ms (0%)

sample839.0ms (32.4%)

Algorithm
1×intervals
Results
127.0ms8000×body128valid
Compiler

Compiled 435 to 359 computations (17.5% saved)

Profiling

Loading profile data...