Details

Time bar (total: 3.8s)

analyze417.0ms (10.9%)

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)

sample22.0ms (0.6%)

Algorithm
1×intervals
Results
6.0ms256×body128valid
0.0ms18×body128invalid
Compiler

Compiled 11 to 14 computations (-27.3% saved)

simplify7.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.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
6.0b
Counts
2 → 1
Compiler

Compiled 10 to 10 computations (0% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite29.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
6×add-exp-log_binary64_17848 add-cbrt-cube_binary64_17846
3×add-cube-cbrt_binary64_17845 add-sqr-sqrt_binary64_17832 times-frac_binary64_17816 *-un-lft-identity_binary64_17810 associate-/r*_binary64_17754
2×div-exp_binary64_17861 cbrt-undiv_binary64_17844
1×pow1_binary64_17871 prod-exp_binary64_17859 add-log-exp_binary64_17849 cbrt-unprod_binary64_17843 frac-2neg_binary64_17821 clear-num_binary64_17809 div-inv_binary64_17807 associate-/l*_binary64_17755
Counts
1 → 21
Calls

1 calls:

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

Compiled 214 to 74 computations (65.4% saved)

series94.0ms (2.5%)

Error
6.0b
Counts
1 → 9
Calls

1 calls:

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

Compiled 135 to 95 computations (29.6% saved)

simplify113.0ms (2.9%)

Algorithm
1×egg-herbie
Counts
30 → 30
Iterations

Useful iterations: 0 (104.0ms)

IterNodesCost
04671261
14671261

prune27.0ms (0.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New23730
Fresh000
Picked011
Done000
Total23831
Error
0.0b
Counts
31 → 8
Compiler

Compiled 291 to 100 computations (65.6% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite40.0ms (1%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
23×add-exp-log_binary64_17848
13×add-cbrt-cube_binary64_17846 associate-*r*_binary64_17750
12×prod-exp_binary64_17859
9×times-frac_binary64_17816
8×add-cube-cbrt_binary64_17845 add-sqr-sqrt_binary64_17832 *-un-lft-identity_binary64_17810
6×pow1_binary64_17871 cbrt-unprod_binary64_17843
4×div-exp_binary64_17861
3×pow-prod-down_binary64_17881
2×1-exp_binary64_17854 rec-exp_binary64_17860 cbrt-undiv_binary64_17844
1×add-log-exp_binary64_17849 un-div-inv_binary64_17808 associate-*r/_binary64_17752 associate-*l*_binary64_17751 div-inv_binary64_17807 *-commutative_binary64_17741
Counts
1 → 38
Calls

1 calls:

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

Compiled 517 to 274 computations (47% saved)

series92.0ms (2.4%)

Error
0.0b
Counts
1 → 9
Calls

1 calls:

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

Compiled 135 to 95 computations (29.6% saved)

simplify87.0ms (2.3%)

Algorithm
1×egg-herbie
Counts
47 → 47
Iterations

Useful iterations: 0 (77.0ms)

IterNodesCost
04964423
14964423

prune31.0ms (0.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New46147
Fresh066
Picked011
Done101
Total47855
Error
0.0b
Counts
55 → 8
Compiler

Compiled 482 to 184 computations (61.8% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.5b
(/.f64 1 (/.f64 z (*.f64 x y)))
5.8b
(/.f64 z (*.f64 x y))

rewrite69.0ms (1.8%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
36×times-frac_binary64_17816
28×add-exp-log_binary64_17848
20×add-cube-cbrt_binary64_17845 add-sqr-sqrt_binary64_17832 *-un-lft-identity_binary64_17810
16×add-cbrt-cube_binary64_17846
14×div-exp_binary64_17861
8×associate-/r*_binary64_17754
7×cbrt-undiv_binary64_17844
6×div-inv_binary64_17807 associate-/l*_binary64_17755
4×prod-exp_binary64_17859
3×pow1_binary64_17871 1-exp_binary64_17854 rec-exp_binary64_17860
2×add-log-exp_binary64_17849 cbrt-unprod_binary64_17843 frac-2neg_binary64_17821 clear-num_binary64_17809
1×inv-pow_binary64_17895 pow-flip_binary64_17884 associate-/r/_binary64_17756
Counts
2 → 77
Calls

2 calls:

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

Compiled 1051 to 440 computations (58.1% saved)

series198.0ms (5.1%)

Error
0.0b
Counts
2 → 18
Calls

2 calls:

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

Compiled 324 to 240 computations (25.9% saved)

simplify96.0ms (2.5%)

Algorithm
1×egg-herbie
Counts
95 → 95
Iterations

Useful iterations: 0 (79.0ms)

IterNodesCost
053051041

prune57.0ms (1.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New93295
Fresh336
Picked011
Done101
Total976103
Error
0b
Counts
103 → 6
Compiler

Compiled 975 to 337 computations (65.4% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.5b
(/.f64 1 (/.f64 (/.f64 z x) y))
5.7b
(/.f64 (/.f64 z x) y)

rewrite255.0ms (6.6%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
468×times-frac_binary64_17816
228×add-cube-cbrt_binary64_17845 add-sqr-sqrt_binary64_17832 *-un-lft-identity_binary64_17810
46×associate-/r*_binary64_17754
28×add-exp-log_binary64_17848
22×div-inv_binary64_17807
18×div-exp_binary64_17861
16×add-cbrt-cube_binary64_17846 associate-/l*_binary64_17755
9×cbrt-undiv_binary64_17844
3×pow1_binary64_17871 1-exp_binary64_17854 rec-exp_binary64_17860
2×add-log-exp_binary64_17849 frac-2neg_binary64_17821 clear-num_binary64_17809
1×associate-/l/_binary64_17757 inv-pow_binary64_17895 pow-flip_binary64_17884 associate-/r/_binary64_17756
Counts
2 → 270
Calls

2 calls:

13.0ms
(/.f64 1 (/.f64 (/.f64 z x) y))
6.0ms
(/.f64 (/.f64 z x) y)
Compiler

Compiled 5234 to 1976 computations (62.2% saved)

series198.0ms (5.2%)

Error
0b
Counts
2 → 18
Calls

2 calls:

99.0ms
(/.f64 (/.f64 z x) y)
93.0ms
(/.f64 1 (/.f64 (/.f64 z x) y))
Compiler

Compiled 324 to 240 computations (25.9% saved)

simplify171.0ms (4.5%)

Algorithm
1×egg-herbie
Counts
288 → 288
Iterations

Useful iterations: 0 (113.0ms)

IterNodesCost
052515617

prune169.0ms (4.4%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New2880288
Fresh044
Picked011
Done011
Total2886294
Error
0b
Counts
294 → 6
Compiler

Compiled 4415 to 1107 computations (74.9% saved)

regimes585.0ms (15.2%)

Accuracy

Total 0.6b remaining (99.6%)

Threshold costs 0.6b (99.6%)

Compiler

Compiled 1448 to 1208 computations (16.6% saved)

bsearch1.0ms (0%)

Compiler

Compiled 3 to 4 computations (-33.3% saved)

simplify11.0ms (0.3%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02883
12883
Compiler

Compiled 114 to 58 computations (49.1% saved)

end0.0ms (0%)

sample1.0s (27.3%)

Algorithm
1×intervals
Results
194.0ms8000×body128valid
14.0ms681×body128invalid
Compiler

Compiled 325 to 251 computations (22.8% saved)

Profiling

Loading profile data...