Details

Time bar (total: 3.3s)

analyze530.0ms (15.9%)

Algorithm
1×search
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
12.5%87.4%0.1%7
18.7%81.1%0.1%8
34.3%65.5%0.1%9
39%60.8%0.1%10
41.3%58.5%0.1%11
52.7%47.2%0.1%12
54%45.7%0.2%13
55.3%43.8%0.9%14
Compiler

Compiled 16 to 10 computations (37.5% saved)

sample31.0ms (0.9%)

Algorithm
1×intervals
Results
7.0ms191×body128valid
6.0ms18×body2048valid
2.0ms20×body1024valid
2.0ms17×body512valid
1.0ms41×body128invalid
1.0ms8×body512invalid
1.0ms10×body256valid
0.0ms7×body256invalid
0.0ms3×body1024invalid
Compiler

Compiled 31 to 22 computations (29% saved)

simplify359.0ms (10.8%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (197.0ms)

IterNodesCost
064427

prune4.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 2
Compiler

Compiled 25 to 19 computations (24% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b
(*.f64 y (-.f64 x z))

rewrite12.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
7×add-sqr-sqrt_binary64_11893
5×associate-*r*_binary64_11814 *-un-lft-identity_binary64_11872
3×add-exp-log_binary64_11907 associate-*l*_binary64_11815 add-cbrt-cube_binary64_11905 pow1_binary64_11930 add-cube-cbrt_binary64_11904
2×sub-neg_binary64_11865 associate-*r/_binary64_11816
1×distribute-lft-out--_binary64_11826 distribute-lft-in_binary64_11823 flip--_binary64_11847 prod-exp_binary64_11918 distribute-rgt-in_binary64_11824 pow-prod-down_binary64_11940 difference-of-squares_binary64_11841 flip3--_binary64_11876 cbrt-unprod_binary64_11902 unswap-sqr_binary64_11840 add-log-exp_binary64_11908 *-commutative_binary64_11805
Counts
1 → 24
Calls

1 calls:

11.0ms
(*.f64 y (-.f64 x z))

series64.0ms (1.9%)

Counts
1 → 3
Calls

1 calls:

64.0ms
(*.f64 y (-.f64 x z))

simplify54.0ms (1.6%)

Algorithm
1×egg-herbie
Counts
27 → 27
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
05388254

prune18.0ms (0.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New25227
Fresh101
Picked011
Done000
Total26329

Merged error: 0b

Counts
29 → 3
Compiler

Compiled 278 to 86 computations (69.1% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b
(+.f64 (*.f64 y x) (*.f64 y (neg.f64 z)))

rewrite5.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
3×add-log-exp_binary64_11908
1×sum-log_binary64_11960 add-exp-log_binary64_11907 add-sqr-sqrt_binary64_11893 add-cbrt-cube_binary64_11905 distribute-rgt-neg-out_binary64_11834 flip-+_binary64_11846 pow1_binary64_11930 +-commutative_binary64_11804 unsub-neg_binary64_11866 distribute-lft-out_binary64_11825 add-cube-cbrt_binary64_11904 *-un-lft-identity_binary64_11872 flip3-+_binary64_11875
Counts
1 → 13
Calls

1 calls:

4.0ms
(+.f64 (*.f64 y x) (*.f64 y (neg.f64 z)))

series70.0ms (2.1%)

Counts
1 → 3
Calls

1 calls:

70.0ms
(+.f64 (*.f64 y x) (*.f64 y (neg.f64 z)))

simplify69.0ms (2.1%)

Algorithm
1×egg-herbie
Counts
16 → 16
Iterations

Useful iterations: 0 (62.0ms)

IterNodesCost
04990170
14990170

prune11.0ms (0.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New16016
Fresh011
Picked011
Done011
Total16319

Merged error: 0b

Counts
19 → 3
Compiler

Compiled 177 to 55 computations (68.9% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b
(*.f64 (cbrt.f64 (-.f64 x z)) (cbrt.f64 (-.f64 x z)))
0.6b
(cbrt.f64 (-.f64 x z))
0.6b
(cbrt.f64 (-.f64 x z))
0.6b
(cbrt.f64 (-.f64 x z))

rewrite33.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
43×cbrt-prod_binary64_11900
37×add-sqr-sqrt_binary64_11893
35×*-un-lft-identity_binary64_11872
18×cbrt-div_binary64_11901
15×add-cube-cbrt_binary64_11904
11×pow1_binary64_11930
10×swap-sqr_binary64_11839
9×pow1/3_binary64_11951 distribute-lft-out--_binary64_11826 flip--_binary64_11847 flip3--_binary64_11876
8×associate-*l*_binary64_11815 associate-*r*_binary64_11814
7×difference-of-squares_binary64_11841
6×add-exp-log_binary64_11907
4×add-cbrt-cube_binary64_11905 frac-times_binary64_11882 unswap-sqr_binary64_11840 add-log-exp_binary64_11908
2×associate-*r/_binary64_11816 pow-sqr_binary64_11845 associate-*l/_binary64_11817 pow-prod-down_binary64_11940 pow-prod-up_binary64_11939
1×pow2_binary64_11950 prod-exp_binary64_11918 cbrt-unprod_binary64_11902 pow-plus_binary64_11932 *-commutative_binary64_11805
Counts
4 → 101
Calls

4 calls:

12.0ms
(*.f64 (cbrt.f64 (-.f64 x z)) (cbrt.f64 (-.f64 x z)))
4.0ms
(cbrt.f64 (-.f64 x z))
3.0ms
(cbrt.f64 (-.f64 x z))
3.0ms
(cbrt.f64 (-.f64 x z))

series899.0ms (27%)

Counts
4 → 12
Calls

4 calls:

248.0ms
(*.f64 (cbrt.f64 (-.f64 x z)) (cbrt.f64 (-.f64 x z)))
224.0ms
(cbrt.f64 (-.f64 x z))
218.0ms
(cbrt.f64 (-.f64 x z))
208.0ms
(cbrt.f64 (-.f64 x z))

simplify56.0ms (1.7%)

Algorithm
1×egg-herbie
Counts
113 → 113
Iterations

Useful iterations: 0 (34.0ms)

IterNodesCost
049521654
149521654

prune91.0ms (2.7%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1130113
Fresh000
Picked011
Done022
Total1133116

Merged error: 0b

Counts
116 → 3
Compiler

Compiled 2429 to 643 computations (73.5% saved)

regimes60.0ms (1.8%)

Compiler

Compiled 372 to 244 computations (34.4% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03510
13510

end0.0ms (0%)

sample947.0ms (28.4%)

Algorithm
1×intervals
Results
209.0ms5777×body128valid
99.0ms832×body1024valid
74.0ms482×body2048valid
51.0ms570×body512valid
48.0ms1342×body128invalid
26.0ms282×body512invalid
23.0ms191×body1024invalid
21.0ms339×body256valid
14.0ms213×body256invalid
Compiler

Compiled 112 to 76 computations (32.1% saved)

Profiling

Loading profile data...