Details

Time bar (total: 4.3s)

analyze410.0ms (9.5%)

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.5%)

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

Compiled 11 to 14 computations (-27.3% saved)

simplify11.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
0177
1177

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 10 to 10 computations (0% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite24.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
6×add-exp-log_binary64_19894 add-cbrt-cube_binary64_19892
3×add-cube-cbrt_binary64_19891 add-sqr-sqrt_binary64_19878 times-frac_binary64_19862 *-un-lft-identity_binary64_19856 associate-/r*_binary64_19800
2×div-exp_binary64_19907 cbrt-undiv_binary64_19890
1×pow1_binary64_19917 prod-exp_binary64_19905 add-log-exp_binary64_19895 cbrt-unprod_binary64_19889 frac-2neg_binary64_19867 clear-num_binary64_19855 div-inv_binary64_19853 associate-/l*_binary64_19801
Counts
1 → 21
Calls

1 calls:

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

Compiled 214 to 74 computations (65.4% saved)

series101.0ms (2.3%)

Error
7.1b
Counts
1 → 9
Calls

1 calls:

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

Compiled 135 to 95 computations (29.6% saved)

simplify110.0ms (2.6%)

Algorithm
1×egg-herbie
Counts
30 → 30
Iterations

Useful iterations: 0 (102.0ms)

IterNodesCost
04671261
14671261

prune25.0ms (0.6%)

Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New23730
Fresh000
Picked101
Done000
Total24731
Error
0.0b
Counts
31 → 7
Compiler

Compiled 280 to 99 computations (64.6% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 z)
0.6b
(cbrt.f64 z)
0.6b
(cbrt.f64 z)
5.1b
(*.f64 (/.f64 x (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 y (cbrt.f64 z)))

rewrite96.0ms (2.2%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
38×add-sqr-sqrt_binary64_19878
28×times-frac_binary64_19862
25×add-exp-log_binary64_19894
22×add-cube-cbrt_binary64_19891 *-un-lft-identity_binary64_19856 associate-*r*_binary64_19796
20×cbrt-prod_binary64_19887
18×add-cbrt-cube_binary64_19892
8×prod-exp_binary64_19905 cbrt-unprod_binary64_19889
7×div-exp_binary64_19907 cbrt-undiv_binary64_19890 associate-*l*_binary64_19797
6×pow1_binary64_19917 unswap-sqr_binary64_19824
4×add-log-exp_binary64_19895
3×pow1/3_binary64_19938
2×div-inv_binary64_19853
1×pow-prod-down_binary64_19927 frac-times_binary64_19866 associate-*l/_binary64_19799 associate-*r/_binary64_19798 *-commutative_binary64_19787
Counts
4 → 92
Calls

4 calls:

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

Compiled 1799 to 345 computations (80.8% saved)

series347.0ms (8.1%)

Error
0.0b
Counts
4 → 18
Calls

4 calls:

120.0ms
(*.f64 (/.f64 x (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 y (cbrt.f64 z)))
78.0ms
(cbrt.f64 z)
71.0ms
(cbrt.f64 z)
69.0ms
(cbrt.f64 z)
Compiler

Compiled 552 to 388 computations (29.7% saved)

simplify71.0ms (1.7%)

Algorithm
1×egg-herbie
Counts
110 → 110
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
049761251
149761251

prune75.0ms (1.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New1082110
Fresh156
Picked011
Done000
Total1098117
Error
0.0b
Counts
117 → 8
Compiler

Compiled 1622 to 483 computations (70.2% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite62.0ms (1.4%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
75×times-frac_binary64_19862
43×add-cube-cbrt_binary64_19891 add-sqr-sqrt_binary64_19878 *-un-lft-identity_binary64_19856
13×associate-/r*_binary64_19800
6×add-exp-log_binary64_19894 add-cbrt-cube_binary64_19892
5×div-inv_binary64_19853
3×div-exp_binary64_19907 cbrt-undiv_binary64_19890 associate-/l*_binary64_19801
1×pow1_binary64_19917 add-log-exp_binary64_19895 frac-2neg_binary64_19867 clear-num_binary64_19855 associate-/r/_binary64_19802
Counts
1 → 70
Calls

1 calls:

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

Compiled 1011 to 286 computations (71.7% saved)

series94.0ms (2.2%)

Error
0.0b
Counts
1 → 9
Calls

1 calls:

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

Compiled 135 to 95 computations (29.6% saved)

simplify111.0ms (2.6%)

Algorithm
1×egg-herbie
Counts
79 → 79
Iterations

Useful iterations: 0 (93.0ms)

IterNodesCost
050701244

prune48.0ms (1.1%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New77279
Fresh336
Picked011
Done011
Total80787
Error
0b
Counts
87 → 7
Compiler

Compiled 1003 to 236 computations (76.5% saved)

localize15.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 z)
0.6b
(cbrt.f64 z)
0.6b
(cbrt.f64 z)
5.1b
(*.f64 (/.f64 x (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 y (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z))) (cbrt.f64 (cbrt.f64 z)))))

rewrite111.0ms (2.6%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
58×add-exp-log_binary64_19894
38×add-cbrt-cube_binary64_19892
25×prod-exp_binary64_19905 cbrt-unprod_binary64_19889
17×div-exp_binary64_19907 cbrt-undiv_binary64_19890
15×add-sqr-sqrt_binary64_19878
11×add-cube-cbrt_binary64_19891 *-un-lft-identity_binary64_19856
9×cbrt-prod_binary64_19887
7×times-frac_binary64_19862 associate-*l*_binary64_19797 associate-*r*_binary64_19796
6×pow1_binary64_19917
4×add-log-exp_binary64_19895
3×pow1/3_binary64_19938
2×unswap-sqr_binary64_19824 div-inv_binary64_19853
1×pow-prod-down_binary64_19927 frac-times_binary64_19866 associate-*l/_binary64_19799 associate-*r/_binary64_19798 *-commutative_binary64_19787
Counts
4 → 85
Calls

4 calls:

19.0ms
(*.f64 (/.f64 x (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 y (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z))) (cbrt.f64 (cbrt.f64 z)))))
1.0ms
(cbrt.f64 z)
1.0ms
(cbrt.f64 z)
1.0ms
(cbrt.f64 z)
Compiler

Compiled 2647 to 364 computations (86.2% saved)

series358.0ms (8.3%)

Error
0b
Counts
4 → 18
Calls

4 calls:

129.0ms
(*.f64 (/.f64 x (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 y (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z))) (cbrt.f64 (cbrt.f64 z)))))
76.0ms
(cbrt.f64 z)
72.0ms
(cbrt.f64 z)
70.0ms
(cbrt.f64 z)
Compiler

Compiled 795 to 479 computations (39.7% saved)

simplify93.0ms (2.2%)

Algorithm
1×egg-herbie
Counts
103 → 103
Iterations

Useful iterations: 0 (73.0ms)

IterNodesCost
05101898

prune71.0ms (1.6%)

Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New1030103
Fresh044
Picked011
Done022
Total1037110
Error
0b
Counts
110 → 7
Compiler

Compiled 1695 to 399 computations (76.5% saved)

regimes677.0ms (15.8%)

Accuracy

Total 0.3b remaining (99.6%)

Threshold costs 0.3b (99.6%)

Compiler

Compiled 3603 to 2321 computations (35.6% saved)

bsearch2.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
03274
13274
Compiler

Compiled 102 to 50 computations (51% saved)

end0.0ms (0%)

sample1.3s (31%)

Algorithm
1×intervals
Results
184.0ms8000×body128valid
15.0ms728×body128invalid
Compiler

Compiled 753 to 476 computations (36.8% saved)

Profiling

Loading profile data...