Details

Time bar (total: 4.0s)

analyze162.0ms (4.1%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05420
15420
022
122
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
37.5%62.4%0.1%6
50%37.5%12.6%7
56.2%31.2%12.6%8
62.4%18.7%18.8%9
65.6%15.6%18.8%10
68.7%9.4%22%11
70.2%7.8%22%12
71.8%4.7%23.5%13
72.6%3.9%23.5%14
Symmetry
Compiler

Compiled 8 to 7 computations (12.5% saved)

sample20.0ms (0.5%)

Algorithm
1×intervals
Results
5.0ms256×body128valid
0.0ms6×body128invalid
Compiler

Compiled 15 to 15 computations (0% saved)

simplify8.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
03510
13510

prune2.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Compiled 14 to 12 computations (14.3% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite53.0ms (1.3%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
16×pow1_binary64_21963 add-exp-log_binary64_21940 add-cbrt-cube_binary64_21938
9×pow-prod-down_binary64_21973 prod-exp_binary64_21951 cbrt-unprod_binary64_21935
6×associate-*r*_binary64_21842
4×add-cube-cbrt_binary64_21937 add-sqr-sqrt_binary64_21924 *-un-lft-identity_binary64_21902
2×add-log-exp_binary64_21941 associate-*l*_binary64_21843 *-commutative_binary64_21833
Counts
2 → 39
Calls

2 calls:

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

Compiled 503 to 300 computations (40.4% saved)

series139.0ms (3.5%)

Error
0.1b
Counts
2 → 12
Calls

2 calls:

78.0ms
(*.f64 (*.f64 (*.f64 x 3) y) y)
53.0ms
(*.f64 (*.f64 x 3) y)
Compiler

Compiled 252 to 207 computations (17.9% saved)

simplify52.0ms (1.3%)

Algorithm
1×egg-herbie
Counts
51 → 51
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
05058502

prune44.0ms (1.1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New45651
Fresh000
Picked011
Done000
Total45752
Error
0.0b
Counts
52 → 7
Compiler

Compiled 539 to 286 computations (46.9% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite44.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
16×pow1_binary64_21963 add-exp-log_binary64_21940 add-cbrt-cube_binary64_21938
9×pow-prod-down_binary64_21973 prod-exp_binary64_21951 cbrt-unprod_binary64_21935
4×add-cube-cbrt_binary64_21937 add-sqr-sqrt_binary64_21924 *-un-lft-identity_binary64_21902 associate-*l*_binary64_21843 associate-*r*_binary64_21842
2×add-log-exp_binary64_21941 *-commutative_binary64_21833
Counts
2 → 39
Calls

2 calls:

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

Compiled 503 to 262 computations (47.9% saved)

series127.0ms (3.2%)

Error
0.0b
Counts
2 → 12
Calls

2 calls:

66.0ms
(*.f64 (*.f64 3 (*.f64 x y)) y)
55.0ms
(*.f64 3 (*.f64 x y))
Compiler

Compiled 252 to 207 computations (17.9% saved)

simplify68.0ms (1.7%)

Algorithm
1×egg-herbie
Counts
51 → 51
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
04998503
14998503

prune35.0ms (0.9%)

Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New49251
Fresh145
Picked011
Done011
Total50858
Error
0.0b
Counts
58 → 8
Compiler

Compiled 552 to 293 computations (46.9% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

rewrite106.0ms (2.7%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
31×pow1_binary64_21963 add-exp-log_binary64_21940 add-cbrt-cube_binary64_21938
19×pow-prod-down_binary64_21973 prod-exp_binary64_21951 cbrt-unprod_binary64_21935
10×associate-*r*_binary64_21842
8×add-cube-cbrt_binary64_21937 add-sqr-sqrt_binary64_21924 *-un-lft-identity_binary64_21902 associate-*l*_binary64_21843
6×sqrt-prod_binary64_21918
3×add-log-exp_binary64_21941 *-commutative_binary64_21833
Counts
3 → 69
Calls

3 calls:

11.0ms
(*.f64 (*.f64 (sqrt.f64 3) (*.f64 (*.f64 x y) (sqrt.f64 3))) y)
10.0ms
(*.f64 (sqrt.f64 3) (*.f64 (*.f64 x y) (sqrt.f64 3)))
7.0ms
(*.f64 (*.f64 x y) (sqrt.f64 3))
Compiler

Compiled 1271 to 859 computations (32.4% saved)

series560.0ms (14.1%)

Error
0.0b
Counts
3 → 18
Calls

3 calls:

325.0ms
(*.f64 (sqrt.f64 3) (*.f64 (*.f64 x y) (sqrt.f64 3)))
131.0ms
(*.f64 (*.f64 (sqrt.f64 3) (*.f64 (*.f64 x y) (sqrt.f64 3))) y)
91.0ms
(*.f64 (*.f64 x y) (sqrt.f64 3))
Compiler

Compiled 558 to 488 computations (12.5% saved)

simplify76.0ms (1.9%)

Algorithm
1×egg-herbie
Counts
87 → 87
Iterations

Useful iterations: 0 (61.0ms)

IterNodesCost
04984895
14984895

prune66.0ms (1.7%)

Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New85287
Fresh145
Picked011
Done112
Total87895
Error
0.0b
Counts
95 → 8
Compiler

Compiled 1071 to 735 computations (31.4% saved)

localize13.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.2b
(*.f64 (*.f64 (*.f64 x y) (*.f64 (cbrt.f64 (sqrt.f64 3)) (cbrt.f64 (sqrt.f64 3)))) (cbrt.f64 (sqrt.f64 3)))
0.3b
(*.f64 (*.f64 x y) (*.f64 (cbrt.f64 (sqrt.f64 3)) (cbrt.f64 (sqrt.f64 3))))
0.3b
(*.f64 (sqrt.f64 3) (*.f64 (*.f64 (*.f64 x y) (*.f64 (cbrt.f64 (sqrt.f64 3)) (cbrt.f64 (sqrt.f64 3)))) (cbrt.f64 (sqrt.f64 3))))
1.0b
(*.f64 (cbrt.f64 (sqrt.f64 3)) (cbrt.f64 (sqrt.f64 3)))

rewrite309.0ms (7.8%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
66×pow1_binary64_21963
61×add-exp-log_binary64_21940
46×cbrt-prod_binary64_21933
43×add-sqr-sqrt_binary64_21924
42×pow-prod-down_binary64_21973
41×prod-exp_binary64_21951 cbrt-unprod_binary64_21935
37×add-cbrt-cube_binary64_21938
26×sqrt-prod_binary64_21918
21×add-cube-cbrt_binary64_21937 *-un-lft-identity_binary64_21902
20×associate-*r*_binary64_21842
17×associate-*l*_binary64_21843
11×swap-sqr_binary64_21869
9×unswap-sqr_binary64_21870
6×pow1/3_binary64_21984
4×add-log-exp_binary64_21941 *-commutative_binary64_21833
2×pow-prod-up_binary64_21972 pow-sqr_binary64_21875
1×pow2_binary64_21983 pow-plus_binary64_21965
Counts
4 → 144
Calls

4 calls:

21.0ms
(*.f64 (sqrt.f64 3) (*.f64 (*.f64 (*.f64 x y) (*.f64 (cbrt.f64 (sqrt.f64 3)) (cbrt.f64 (sqrt.f64 3)))) (cbrt.f64 (sqrt.f64 3))))
16.0ms
(*.f64 (*.f64 (*.f64 x y) (*.f64 (cbrt.f64 (sqrt.f64 3)) (cbrt.f64 (sqrt.f64 3)))) (cbrt.f64 (sqrt.f64 3)))
11.0ms
(*.f64 (*.f64 x y) (*.f64 (cbrt.f64 (sqrt.f64 3)) (cbrt.f64 (sqrt.f64 3))))
10.0ms
(*.f64 (cbrt.f64 (sqrt.f64 3)) (cbrt.f64 (sqrt.f64 3)))
Compiler

Compiled 4061 to 3323 computations (18.2% saved)

series511.0ms (12.9%)

Error
0.0b
Counts
4 → 18
Calls

4 calls:

270.0ms
(*.f64 (*.f64 x y) (*.f64 (cbrt.f64 (sqrt.f64 3)) (cbrt.f64 (sqrt.f64 3))))
131.0ms
(*.f64 (sqrt.f64 3) (*.f64 (*.f64 (*.f64 x y) (*.f64 (cbrt.f64 (sqrt.f64 3)) (cbrt.f64 (sqrt.f64 3)))) (cbrt.f64 (sqrt.f64 3))))
95.0ms
(*.f64 (*.f64 (*.f64 x y) (*.f64 (cbrt.f64 (sqrt.f64 3)) (cbrt.f64 (sqrt.f64 3)))) (cbrt.f64 (sqrt.f64 3)))
0.0ms
(*.f64 (cbrt.f64 (sqrt.f64 3)) (cbrt.f64 (sqrt.f64 3)))
Compiler

Compiled 720 to 627 computations (12.9% saved)

simplify77.0ms (1.9%)

Algorithm
1×egg-herbie
Counts
162 → 162
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
049521986
149521986

prune195.0ms (4.9%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New1611162
Fresh145
Picked101
Done022
Total1637170
Error
0.0b
Counts
170 → 7
Compiler

Compiled 2971 to 2367 computations (20.3% saved)

regimes281.0ms (7.1%)

Accuracy

Total 0.2b remaining (98.3%)

Threshold costs 0.2b (98.3%)

Compiler

Compiled 2566 to 2005 computations (21.9% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01010
11010
Removed

()

end0.0ms (0%)

sample1.0s (25.3%)

Algorithm
1×intervals
Results
178.0ms8000×body128valid
3.0ms157×body128invalid
Compiler

Compiled 595 to 468 computations (21.3% saved)

Profiling

Loading profile data...