Details

Time bar (total: 4.5s)

analyze402.0ms (9%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03740
13740
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
18.7%81.1%0.1%7
21.8%78%0.1%8
27.3%67.1%5.6%9
41%50.3%8.7%10
43.9%47%9.1%11
48.3%38%13.7%12
56.3%27.4%16.2%13
58.2%25.4%16.4%14
Compiler

Compiled 8 to 7 computations (12.5% saved)

sample17.0ms (0.4%)

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

Compiled 15 to 16 computations (-6.7% saved)

simplify7.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
01310
11310

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 14 to 12 computations (14.3% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b
(+.f64 x (/.f64 (*.f64 y y) z))
9.4b
(/.f64 (*.f64 y y) z)

rewrite43.0ms (1%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
7×add-exp-log_binary64_25691 add-cbrt-cube_binary64_25689
6×*-un-lft-identity_binary64_25653
4×add-log-exp_binary64_25692 add-cube-cbrt_binary64_25688 add-sqr-sqrt_binary64_25675
3×times-frac_binary64_25659 associate-/r*_binary64_25597
2×pow1_binary64_25714 div-exp_binary64_25704 cbrt-undiv_binary64_25687
1×prod-exp_binary64_25702 cbrt-unprod_binary64_25686 frac-2neg_binary64_25664 clear-num_binary64_25652 div-inv_binary64_25650 associate-/l*_binary64_25598 sum-log_binary64_25744 flip3-+_binary64_25656 flip-+_binary64_25627 distribute-lft-out_binary64_25604 +-commutative_binary64_25583
Counts
2 → 33
Calls

2 calls:

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

Compiled 443 to 126 computations (71.6% saved)

series210.0ms (4.7%)

Error
3.1b
Counts
2 → 24
Calls

2 calls:

131.0ms
(+.f64 x (/.f64 (*.f64 y y) z))
67.0ms
(/.f64 (*.f64 y y) z)
Compiler

Compiled 365 to 324 computations (11.2% saved)

simplify84.0ms (1.9%)

Algorithm
1×egg-herbie
Counts
57 → 57
Iterations

Useful iterations: 0 (73.0ms)

IterNodesCost
04877551
14877551

prune42.0ms (0.9%)

Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New53457
Fresh000
Picked101
Done000
Total54458
Error
0.0b
Counts
58 → 4
Compiler

Compiled 545 to 136 computations (75% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b
(+.f64 x (/.f64 y (/.f64 z y)))
0.1b
(/.f64 y (/.f64 z y))

rewrite82.0ms (1.8%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
75×times-frac_binary64_25659
46×*-un-lft-identity_binary64_25653
44×add-cube-cbrt_binary64_25688 add-sqr-sqrt_binary64_25675
13×associate-/r*_binary64_25597
7×add-exp-log_binary64_25691 add-cbrt-cube_binary64_25689
5×div-inv_binary64_25650
4×add-log-exp_binary64_25692
3×div-exp_binary64_25704 cbrt-undiv_binary64_25687 associate-/l*_binary64_25598
2×pow1_binary64_25714
1×frac-2neg_binary64_25664 clear-num_binary64_25652 associate-/r/_binary64_25599 sum-log_binary64_25744 flip3-+_binary64_25656 flip-+_binary64_25627 distribute-lft-out_binary64_25604 +-commutative_binary64_25583
Counts
2 → 82
Calls

2 calls:

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

Compiled 1338 to 386 computations (71.2% saved)

series201.0ms (4.5%)

Error
0.0b
Counts
2 → 24
Calls

2 calls:

121.0ms
(+.f64 x (/.f64 y (/.f64 z y)))
67.0ms
(/.f64 y (/.f64 z y))
Compiler

Compiled 365 to 324 computations (11.2% saved)

simplify106.0ms (2.4%)

Algorithm
1×egg-herbie
Counts
106 → 106
Iterations

Useful iterations: 0 (87.0ms)

IterNodesCost
049581420
149581420

prune64.0ms (1.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1042106
Fresh213
Picked011
Done000
Total1064110
Error
0b
Counts
110 → 4
Compiler

Compiled 1306 to 318 computations (75.7% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b
(+.f64 x (/.f64 (/.f64 y z) (/.f64 1 y)))
0.2b
(/.f64 (/.f64 y z) (/.f64 1 y))

rewrite315.0ms (7%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
421×times-frac_binary64_25659
200×*-un-lft-identity_binary64_25653
198×add-cube-cbrt_binary64_25688 add-sqr-sqrt_binary64_25675
29×div-inv_binary64_25650
24×add-exp-log_binary64_25691
16×div-exp_binary64_25704
14×add-cbrt-cube_binary64_25689
13×associate-/l*_binary64_25598 associate-/r*_binary64_25597
8×cbrt-undiv_binary64_25687
4×add-log-exp_binary64_25692
2×pow1_binary64_25714 1-exp_binary64_25697 rec-exp_binary64_25703
1×frac-2neg_binary64_25664 clear-num_binary64_25652 associate-/l/_binary64_25600 associate-/r/_binary64_25599 sum-log_binary64_25744 flip3-+_binary64_25656 flip-+_binary64_25627 distribute-lft-out_binary64_25604 +-commutative_binary64_25583
Counts
2 → 231
Calls

2 calls:

45.0ms
(+.f64 x (/.f64 (/.f64 y z) (/.f64 1 y)))
12.0ms
(/.f64 (/.f64 y z) (/.f64 1 y))
Compiler

Compiled 5130 to 2449 computations (52.3% saved)

series195.0ms (4.4%)

Error
0b
Counts
2 → 24
Calls

2 calls:

125.0ms
(+.f64 x (/.f64 (/.f64 y z) (/.f64 1 y)))
60.0ms
(/.f64 (/.f64 y z) (/.f64 1 y))
Compiler

Compiled 365 to 324 computations (11.2% saved)

simplify117.0ms (2.6%)

Algorithm
1×egg-herbie
Counts
255 → 255
Iterations

Useful iterations: 0 (63.0ms)

IterNodesCost
049875061
149875061

prune183.0ms (4.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New2550255
Fresh022
Picked011
Done011
Total2554259
Error
0b
Counts
259 → 4
Compiler

Compiled 4138 to 1386 computations (66.5% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.4b
(*.f64 (cbrt.f64 (/.f64 z y)) (cbrt.f64 (/.f64 z y)))
11.0b
(cbrt.f64 (/.f64 z y))
11.0b
(cbrt.f64 (/.f64 z y))
11.0b
(cbrt.f64 (/.f64 z y))

rewrite151.0ms (3.4%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
103×cbrt-prod_binary64_25684
81×add-sqr-sqrt_binary64_25675
69×times-frac_binary64_25659
57×add-cube-cbrt_binary64_25688 *-un-lft-identity_binary64_25653
16×swap-sqr_binary64_25620 associate-*l*_binary64_25594 associate-*r*_binary64_25593
11×pow1_binary64_25714
9×pow1/3_binary64_25735 unswap-sqr_binary64_25621
7×cbrt-div_binary64_25685 div-inv_binary64_25650
6×add-exp-log_binary64_25691
4×add-log-exp_binary64_25692 add-cbrt-cube_binary64_25689
2×pow-prod-down_binary64_25724 pow-prod-up_binary64_25723 pow-sqr_binary64_25626
1×pow2_binary64_25734 pow-plus_binary64_25716 prod-exp_binary64_25702 cbrt-unprod_binary64_25686 frac-times_binary64_25663 associate-*l/_binary64_25596 associate-*r/_binary64_25595 *-commutative_binary64_25584
Counts
4 → 144
Calls

4 calls:

15.0ms
(*.f64 (cbrt.f64 (/.f64 z y)) (cbrt.f64 (/.f64 z y)))
2.0ms
(cbrt.f64 (/.f64 z y))
2.0ms
(cbrt.f64 (/.f64 z y))
2.0ms
(cbrt.f64 (/.f64 z y))
Compiler

Compiled 3787 to 844 computations (77.7% saved)

series891.0ms (19.9%)

Error
0b
Counts
4 → 24
Calls

4 calls:

272.0ms
(*.f64 (cbrt.f64 (/.f64 z y)) (cbrt.f64 (/.f64 z y)))
213.0ms
(cbrt.f64 (/.f64 z y))
192.0ms
(cbrt.f64 (/.f64 z y))
187.0ms
(cbrt.f64 (/.f64 z y))
Compiler

Compiled 1818 to 1244 computations (31.6% saved)

simplify114.0ms (2.6%)

Algorithm
1×egg-herbie
Counts
168 → 168
Iterations

Useful iterations: 0 (85.0ms)

IterNodesCost
051122369

prune136.0ms (3%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1680168
Fresh011
Picked011
Done022
Total1684172
Error
0b
Counts
172 → 4
Compiler

Compiled 3853 to 1014 computations (73.7% saved)

regimes250.0ms (5.6%)

Accuracy

Total 0.1b remaining (97.9%)

Threshold costs 0.1b (97.9%)

Compiler

Compiled 2250 to 1484 computations (34% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0810
1810

end0.0ms (0%)

sample839.0ms (18.7%)

Algorithm
1×intervals
Results
209.0ms8000×body128valid
23.0ms981×body128invalid
Compiler

Compiled 347 to 234 computations (32.6% saved)

Profiling

Loading profile data...