Details

Time bar (total: 3.2s)

analyze115.0ms (3.6%)

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
25%74.9%0.1%5
37.5%50%12.6%6
50%37.5%12.6%7
56.2%25%18.8%8
62.4%18.7%18.8%9
65.6%12.5%22%10
68.7%9.4%22%11
70.2%6.2%23.5%12
71.8%4.7%23.5%13
72.6%3.1%24.3%14
Compiler

Compiled 8 to 7 computations (12.5% saved)

sample23.0ms (0.7%)

Algorithm
1×intervals
Results
11.0ms256×body128valid
0.0ms2×body128invalid
Compiler

Compiled 15 to 15 computations (0% saved)

simplify181.0ms (5.6%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
03510
13510

prune4.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 9.2b

Counts
2 → 1
Compiler

Compiled 14 to 12 computations (14.3% saved)

localize9.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.1b
(*.f64 (*.f64 x 3) x)
9.0b
(*.f64 (*.f64 (*.f64 x 3) x) y)

rewrite29.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Rules
16×pow1_binary64_21963 add-cbrt-cube_binary64_21938 add-exp-log_binary64_21940
9×cbrt-unprod_binary64_21935 pow-prod-down_binary64_21973 prod-exp_binary64_21951
6×associate-*r*_binary64_21842
4×add-sqr-sqrt_binary64_21924 *-un-lft-identity_binary64_21902 add-cube-cbrt_binary64_21937
2×associate-*l*_binary64_21843 add-log-exp_binary64_21941 *-commutative_binary64_21833
Counts
2 → 39
Calls

2 calls:

14.0ms
(*.f64 (*.f64 (*.f64 x 3) x) y)
10.0ms
(*.f64 (*.f64 x 3) x)

series68.0ms (2.1%)

Counts
2 → 6
Calls

2 calls:

34.0ms
(*.f64 (*.f64 (*.f64 x 3) x) y)
33.0ms
(*.f64 (*.f64 x 3) x)

simplify113.0ms (3.5%)

Algorithm
1×egg-herbie
Counts
45 → 45
Iterations

Useful iterations: 0 (94.0ms)

IterNodesCost
05053442

prune72.0ms (2.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New39645
Fresh000
Picked011
Done000
Total39746

Merged error: 0.1b

Counts
46 → 7
Compiler

Compiled 523 to 347 computations (33.7% saved)

localize9.0ms (0.3%)

Local error

Found 1 expressions with local error:

0.3b
(*.f64 (*.f64 x 3) (*.f64 x y))

rewrite16.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
13×pow1_binary64_21963 add-cbrt-cube_binary64_21938 add-exp-log_binary64_21940
8×cbrt-unprod_binary64_21935 pow-prod-down_binary64_21973 prod-exp_binary64_21951
1×associate-*r*_binary64_21842 add-sqr-sqrt_binary64_21924 *-un-lft-identity_binary64_21902 add-cube-cbrt_binary64_21937 associate-*l*_binary64_21843 add-log-exp_binary64_21941 *-commutative_binary64_21833
Counts
1 → 22
Calls

1 calls:

12.0ms
(*.f64 (*.f64 x 3) (*.f64 x y))

series34.0ms (1.1%)

Counts
1 → 3
Calls

1 calls:

34.0ms
(*.f64 (*.f64 x 3) (*.f64 x y))

simplify116.0ms (3.6%)

Algorithm
1×egg-herbie
Counts
25 → 25
Iterations

Useful iterations: 0 (100.0ms)

IterNodesCost
04952283
14952283

prune46.0ms (1.4%)

Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New21425
Fresh145
Picked011
Done011
Total221032

Merged error: 0.0b

Counts
32 → 10
Compiler

Compiled 354 to 217 computations (38.7% saved)

localize9.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.2b
(*.f64 x (*.f64 3 (*.f64 x y)))
0.2b
(*.f64 3 (*.f64 x y))

rewrite27.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
16×pow1_binary64_21963 add-cbrt-cube_binary64_21938 add-exp-log_binary64_21940
9×cbrt-unprod_binary64_21935 pow-prod-down_binary64_21973 prod-exp_binary64_21951
6×associate-*l*_binary64_21843
4×add-sqr-sqrt_binary64_21924 *-un-lft-identity_binary64_21902 add-cube-cbrt_binary64_21937
2×associate-*r*_binary64_21842 add-log-exp_binary64_21941 *-commutative_binary64_21833
Counts
2 → 39
Calls

2 calls:

13.0ms
(*.f64 x (*.f64 3 (*.f64 x y)))
9.0ms
(*.f64 3 (*.f64 x y))

series60.0ms (1.9%)

Counts
2 → 6
Calls

2 calls:

32.0ms
(*.f64 x (*.f64 3 (*.f64 x y)))
28.0ms
(*.f64 3 (*.f64 x y))

simplify107.0ms (3.3%)

Algorithm
1×egg-herbie
Counts
45 → 45
Iterations

Useful iterations: 0 (88.0ms)

IterNodesCost
05208449

prune75.0ms (2.3%)

Pruning

11 alts after pruning (8 fresh and 3 done)

PrunedKeptTotal
New41445
Fresh347
Picked011
Done022
Total441155

Merged error: 0.0b

Counts
55 → 11
Compiler

Compiled 569 to 334 computations (41.3% saved)

localize17.0ms (0.5%)

Local error

Found 3 expressions with local error:

0.2b
(*.f64 x (*.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)) (*.f64 (*.f64 x y) (cbrt.f64 3))))
0.3b
(*.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)) (*.f64 (*.f64 x y) (cbrt.f64 3)))
0.3b
(*.f64 (*.f64 x y) (cbrt.f64 3))

rewrite86.0ms (2.7%)

Algorithm
1×rewrite-expression-head
Rules
58×pow1_binary64_21963 add-exp-log_binary64_21940
40×cbrt-unprod_binary64_21935 pow-prod-down_binary64_21973 prod-exp_binary64_21951
36×add-cbrt-cube_binary64_21938
8×associate-*r*_binary64_21842
6×add-sqr-sqrt_binary64_21924 *-un-lft-identity_binary64_21902 add-cube-cbrt_binary64_21937
5×associate-*l*_binary64_21843
3×cbrt-prod_binary64_21933 add-log-exp_binary64_21941 *-commutative_binary64_21833
Counts
3 → 82
Calls

3 calls:

29.0ms
(*.f64 x (*.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)) (*.f64 (*.f64 x y) (cbrt.f64 3))))
24.0ms
(*.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)) (*.f64 (*.f64 x y) (cbrt.f64 3)))
13.0ms
(*.f64 (*.f64 x y) (cbrt.f64 3))

series238.0ms (7.4%)

Counts
3 → 9
Calls

3 calls:

104.0ms
(*.f64 x (*.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)) (*.f64 (*.f64 x y) (cbrt.f64 3))))
89.0ms
(*.f64 (*.f64 (cbrt.f64 3) (cbrt.f64 3)) (*.f64 (*.f64 x y) (cbrt.f64 3)))
45.0ms
(*.f64 (*.f64 x y) (cbrt.f64 3))

simplify126.0ms (3.9%)

Algorithm
1×egg-herbie
Counts
91 → 91
Iterations

Useful iterations: 0 (93.0ms)

IterNodesCost
04963950
14963950

prune118.0ms (3.7%)

Pruning

9 alts after pruning (6 fresh and 3 done)

PrunedKeptTotal
New90191
Fresh257
Picked101
Done033
Total939102

Merged error: 0.0b

Counts
102 → 9
Compiler

Compiled 1124 to 728 computations (35.2% saved)

regimes251.0ms (7.8%)

Compiler

Compiled 1180 to 930 computations (21.2% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01010
11010

end0.0ms (0%)

sample1.3s (39.2%)

Algorithm
1×intervals
Results
352.0ms8000×body128valid
3.0ms81×body128invalid
Compiler

Compiled 310 to 246 computations (20.6% saved)

Profiling

Loading profile data...