Details

Time bar (total: 2.9s)

analyze447.0ms (15.4%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03728
13728
033
133
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
0%99.9%0.1%5
0%99.9%0.1%6
31.2%68.6%0.1%7
37.4%62.4%0.1%8
40.6%57.7%1.7%9
54.6%41.3%4%10
59.3%36.7%4%11
61.6%32.6%5.8%12
68.3%22.7%9%13
71%20%9%14
Symmetry

(sort x y)

Compiler

Compiled 6 to 6 computations (0% saved)

sample27.0ms (0.9%)

Algorithm
1×intervals
Results
6.0ms256×body128valid
1.0ms23×body128invalid
Compiler

Compiled 11 to 14 computations (-27.3% saved)

simplify8.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
0177
1177

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 10 to 10 computations (0% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

4.9b
(/.f64 (*.f64 x y) z)

rewrite23.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
6×add-exp-log_binary64_15802 add-cbrt-cube_binary64_15800
3×add-cube-cbrt_binary64_15799 add-sqr-sqrt_binary64_15786 times-frac_binary64_15770 *-un-lft-identity_binary64_15764 associate-/r*_binary64_15708
2×div-exp_binary64_15815 cbrt-undiv_binary64_15798
1×pow1_binary64_15825 prod-exp_binary64_15813 add-log-exp_binary64_15803 cbrt-unprod_binary64_15797 frac-2neg_binary64_15775 clear-num_binary64_15763 div-inv_binary64_15761 associate-/l*_binary64_15709
Counts
1 → 21
Calls

1 calls:

4.0ms
(/.f64 (*.f64 x y) z)
Compiler

Compiled 214 to 74 computations (65.4% saved)

series99.0ms (3.4%)

Error
5.1b
Counts
1 → 9
Calls

1 calls:

95.0ms
(/.f64 (*.f64 x y) z)
Compiler

Compiled 135 to 95 computations (29.6% saved)

simplify109.0ms (3.7%)

Algorithm
1×egg-herbie
Counts
30 → 30
Iterations

Useful iterations: 0 (100.0ms)

IterNodesCost
04671261
14671261

prune24.0ms (0.8%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New24630
Fresh000
Picked011
Done000
Total24731
Error
0.0b
Counts
31 → 7
Compiler

Compiled 273 to 92 computations (66.3% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

4.3b
(*.f64 x (/.f64 y z))

rewrite27.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
14×add-sqr-sqrt_binary64_15786
13×associate-*r*_binary64_15704
10×times-frac_binary64_15770
9×add-cube-cbrt_binary64_15799 *-un-lft-identity_binary64_15764
6×add-exp-log_binary64_15802 add-cbrt-cube_binary64_15800
3×pow1_binary64_15825 associate-*l*_binary64_15705
2×prod-exp_binary64_15813 cbrt-unprod_binary64_15797 unswap-sqr_binary64_15732
1×pow-prod-down_binary64_15835 div-exp_binary64_15815 add-log-exp_binary64_15803 cbrt-undiv_binary64_15798 associate-*r/_binary64_15706 div-inv_binary64_15761 *-commutative_binary64_15695
Counts
1 → 32
Calls

1 calls:

7.0ms
(*.f64 x (/.f64 y z))
Compiler

Compiled 373 to 120 computations (67.8% saved)

series101.0ms (3.5%)

Error
0.0b
Counts
1 → 9
Calls

1 calls:

98.0ms
(*.f64 x (/.f64 y z))
Compiler

Compiled 135 to 95 computations (29.6% saved)

simplify101.0ms (3.5%)

Algorithm
1×egg-herbie
Counts
41 → 41
Iterations

Useful iterations: 0 (91.0ms)

IterNodesCost
04985390
14985390

prune23.0ms (0.8%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New40141
Fresh145
Picked011
Done011
Total41748
Error
0.0b
Counts
48 → 7
Compiler

Compiled 417 to 122 computations (70.7% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

4.6b
(/.f64 x (/.f64 z y))

rewrite58.0ms (2%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
75×times-frac_binary64_15770
43×add-cube-cbrt_binary64_15799 add-sqr-sqrt_binary64_15786 *-un-lft-identity_binary64_15764
13×associate-/r*_binary64_15708
6×add-exp-log_binary64_15802 add-cbrt-cube_binary64_15800
5×div-inv_binary64_15761
3×div-exp_binary64_15815 cbrt-undiv_binary64_15798 associate-/l*_binary64_15709
1×pow1_binary64_15825 add-log-exp_binary64_15803 frac-2neg_binary64_15775 clear-num_binary64_15763 associate-/r/_binary64_15710
Counts
1 → 70
Calls

1 calls:

7.0ms
(/.f64 x (/.f64 z y))
Compiler

Compiled 1011 to 286 computations (71.7% saved)

series99.0ms (3.4%)

Error
0.0b
Counts
1 → 9
Calls

1 calls:

95.0ms
(/.f64 x (/.f64 z y))
Compiler

Compiled 135 to 95 computations (29.6% saved)

simplify122.0ms (4.2%)

Algorithm
1×egg-herbie
Counts
79 → 79
Iterations

Useful iterations: 0 (105.0ms)

IterNodesCost
050701244

prune48.0ms (1.7%)

Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New77279
Fresh224
Picked011
Done022
Total79786
Error
0b
Counts
86 → 7
Compiler

Compiled 978 to 223 computations (77.2% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

5.0b
(*.f64 (*.f64 x y) (/.f64 1 z))

rewrite36.0ms (1.3%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
23×add-exp-log_binary64_15802
13×add-cbrt-cube_binary64_15800 associate-*r*_binary64_15704
12×prod-exp_binary64_15813
9×times-frac_binary64_15770
8×add-cube-cbrt_binary64_15799 add-sqr-sqrt_binary64_15786 *-un-lft-identity_binary64_15764
6×pow1_binary64_15825 cbrt-unprod_binary64_15797
4×div-exp_binary64_15815
3×pow-prod-down_binary64_15835
2×1-exp_binary64_15808 rec-exp_binary64_15814 cbrt-undiv_binary64_15798
1×add-log-exp_binary64_15803 un-div-inv_binary64_15762 associate-*r/_binary64_15706 associate-*l*_binary64_15705 div-inv_binary64_15761 *-commutative_binary64_15695
Counts
1 → 38
Calls

1 calls:

8.0ms
(*.f64 (*.f64 x y) (/.f64 1 z))
Compiler

Compiled 517 to 274 computations (47% saved)

series105.0ms (3.6%)

Error
0b
Counts
1 → 9
Calls

1 calls:

101.0ms
(*.f64 (*.f64 x y) (/.f64 1 z))
Compiler

Compiled 135 to 95 computations (29.6% saved)

simplify87.0ms (3%)

Algorithm
1×egg-herbie
Counts
47 → 47
Iterations

Useful iterations: 0 (76.0ms)

IterNodesCost
04964423
14964423

prune22.0ms (0.7%)

Pruning

7 alts after pruning (3 fresh and 4 done)

PrunedKeptTotal
New47047
Fresh033
Picked011
Done033
Total47754
Error
0b
Counts
54 → 7
Compiler

Compiled 407 to 132 computations (67.6% saved)

regimes301.0ms (10.4%)

Accuracy

Total 1.1b remaining (99.6%)

Threshold costs 0b (0%)

Compiler

Compiled 1226 to 938 computations (23.5% saved)

bsearch1.0ms (0%)

Compiler

Compiled 5 to 5 computations (0% saved)

simplify12.0ms (0.4%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03186
13186
Compiler

Compiled 118 to 48 computations (59.3% saved)

end0.0ms (0%)

sample1.0s (34.5%)

Algorithm
1×intervals
Results
193.0ms8000×body128valid
16.0ms762×body128invalid
Compiler

Compiled 288 to 200 computations (30.6% saved)

Profiling

Loading profile data...