Details

Time bar (total: 17.0s)

analyze42.0ms (0.2%)

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
50%50%0.1%6
62.4%31.2%6.3%7
71.8%21.9%6.3%8
76.5%14%9.5%9
80.4%10.1%9.5%10
82.3%6.6%11%11
84.1%4.9%11%12
85%3.2%11.8%13
85.8%2.4%11.8%14
Compiler

Compiled 6 to 6 computations (0% saved)

sample11.0ms (0.1%)

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

Compiled 11 to 13 computations (-18.2% saved)

simplify101.0ms (0.6%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
0167
1167

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 5 to 5 computations (0% saved)

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

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

rewrite6.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
6×add-exp-log_binary64_5913 add-cbrt-cube_binary64_5911 pow1_binary64_5936
3×pow-prod-down_binary64_5946 cbrt-unprod_binary64_5908 associate-*r*_binary64_5815 prod-exp_binary64_5924
2×add-cube-cbrt_binary64_5910 add-sqr-sqrt_binary64_5897 *-un-lft-identity_binary64_5875
1×associate-*l*_binary64_5816 *-commutative_binary64_5806 add-log-exp_binary64_5914
Counts
1 → 18
Calls

2 calls:

5.0ms
(*.f64 (*.f64 x 27) y)
0.0ms
(*.f64 (*.f64 x 27) y)

series53.0ms (0.3%)

Counts
1 → 6
Calls

1 calls:

53.0ms
(*.f64 (*.f64 x 27) y)
Compiler

Compiled 60 to 60 computations (0% saved)

simplify57.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
24 → 24
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
04888200
14888200

prune36.0ms (0.2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New141024
Fresh000
Picked000
Done011
Total141125
Error
0.0b
Counts
25 → 11
Compiler

Compiled 200 to 154 computations (23% saved)

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

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

rewrite6.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
6×add-exp-log_binary64_5913 add-cbrt-cube_binary64_5911 pow1_binary64_5936
3×pow-prod-down_binary64_5946 cbrt-unprod_binary64_5908 associate-*r*_binary64_5815 prod-exp_binary64_5924
2×add-cube-cbrt_binary64_5910 add-sqr-sqrt_binary64_5897 *-un-lft-identity_binary64_5875
1×associate-*l*_binary64_5816 *-commutative_binary64_5806 add-log-exp_binary64_5914
Counts
1 → 18
Calls

2 calls:

5.0ms
(*.f64 (*.f64 x 27) y)
0.0ms
(*.f64 (*.f64 x 27) y)

series54.0ms (0.3%)

Counts
1 → 6
Calls

1 calls:

54.0ms
(*.f64 (*.f64 x 27) y)
Compiler

Compiled 84 to 84 computations (0% saved)

simplify59.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
24 → 24
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
04888200
14888200

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

0.5b
(*.f64 x (*.f64 27 y))
0.5b
(*.f64 x (*.f64 27 y))

rewrite6.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
6×add-exp-log_binary64_5913 add-cbrt-cube_binary64_5911 pow1_binary64_5936
3×pow-prod-down_binary64_5946 cbrt-unprod_binary64_5908 associate-*l*_binary64_5816 prod-exp_binary64_5924
2×add-cube-cbrt_binary64_5910 add-sqr-sqrt_binary64_5897 *-un-lft-identity_binary64_5875
1×associate-*r*_binary64_5815 *-commutative_binary64_5806 add-log-exp_binary64_5914
Counts
1 → 18
Calls

2 calls:

5.0ms
(*.f64 x (*.f64 27 y))
0.0ms
(*.f64 x (*.f64 27 y))

series54.0ms (0.3%)

Counts
1 → 6
Calls

1 calls:

54.0ms
(*.f64 x (*.f64 27 y))
Compiler

Compiled 60 to 60 computations (0% saved)

simplify60.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
24 → 24
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
04915198
14915198

localize7.0ms (0%)

Local error

Found 6 expressions with local error:

7.4b
(log.f64 (*.f64 (*.f64 x 27) y))
2.6b
(exp.f64 (log.f64 (*.f64 (*.f64 x 27) y)))
0.2b
(*.f64 (*.f64 x 27) y)
0.2b
(*.f64 (*.f64 x 27) y)
2.6b
(exp.f64 (log.f64 (*.f64 (*.f64 x 27) y)))
7.4b
(log.f64 (*.f64 (*.f64 x 27) y))

rewrite16.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
20×pow1_binary64_5936
14×add-exp-log_binary64_5913
9×pow-prod-down_binary64_5946
8×add-cbrt-cube_binary64_5911
6×prod-exp_binary64_5924 log-pow_binary64_5964 exp-prod_binary64_5927
5×add-cube-cbrt_binary64_5910 add-sqr-sqrt_binary64_5897 *-un-lft-identity_binary64_5875
3×rem-log-exp_binary64_5916 cbrt-unprod_binary64_5908 associate-*r*_binary64_5815 add-log-exp_binary64_5914
2×log-prod_binary64_5961
1×rem-exp-log_binary64_5915 associate-*l*_binary64_5816 exp-sum_binary64_5921 *-commutative_binary64_5806
Counts
3 → 47
Calls

6 calls:

5.0ms
(*.f64 (*.f64 x 27) y)
5.0ms
(exp.f64 (log.f64 (*.f64 (*.f64 x 27) y)))
4.0ms
(log.f64 (*.f64 (*.f64 x 27) y))
0.0ms
(*.f64 (*.f64 x 27) y)
0.0ms
(exp.f64 (log.f64 (*.f64 (*.f64 x 27) y)))

series373.0ms (2.2%)

Counts
3 → 18
Calls

3 calls:

168.0ms
(exp.f64 (log.f64 (*.f64 (*.f64 x 27) y)))
149.0ms
(log.f64 (*.f64 (*.f64 x 27) y))
55.0ms
(*.f64 (*.f64 x 27) y)
Compiler

Compiled 308 to 308 computations (0% saved)

simplify56.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
65 → 65
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
05404546

localize7.0ms (0%)

Local error

Found 6 expressions with local error:

32.1b
(cbrt.f64 (*.f64 19683 (pow.f64 (*.f64 x y) 3)))
0.2b
(*.f64 19683 (pow.f64 (*.f64 x y) 3))
0.2b
(pow.f64 (*.f64 x y) 3)
0.2b
(pow.f64 (*.f64 x y) 3)
0.2b
(*.f64 19683 (pow.f64 (*.f64 x y) 3))
32.1b
(cbrt.f64 (*.f64 19683 (pow.f64 (*.f64 x y) 3)))

rewrite16.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
14×add-exp-log_binary64_5913
9×add-sqr-sqrt_binary64_5897
8×associate-*r*_binary64_5815 add-cbrt-cube_binary64_5911
6×add-cube-cbrt_binary64_5910 *-un-lft-identity_binary64_5875 pow1_binary64_5936 prod-exp_binary64_5924
4×pow-exp_binary64_5943
3×pow-unpow_binary64_5952 associate-*l*_binary64_5816 sqr-pow_binary64_5847 add-log-exp_binary64_5914
2×pow-pow_binary64_5947 cube-prod_binary64_5903 rem-cube-cbrt_binary64_5898 cbrt-unprod_binary64_5908 unpow3_binary64_5941 unpow-prod-down_binary64_5954 unswap-sqr_binary64_5843 cube-mult_binary64_5905 pow-to-exp_binary64_5944
1×cbrt-prod_binary64_5906 pow-prod-down_binary64_5946 *-commutative_binary64_5806 pow1/3_binary64_5957
Counts
3 → 57
Calls

6 calls:

6.0ms
(*.f64 19683 (pow.f64 (*.f64 x y) 3))
4.0ms
(pow.f64 (*.f64 x y) 3)
3.0ms
(cbrt.f64 (*.f64 19683 (pow.f64 (*.f64 x y) 3)))
0.0ms
(pow.f64 (*.f64 x y) 3)
0.0ms
(cbrt.f64 (*.f64 19683 (pow.f64 (*.f64 x y) 3)))

series286.0ms (1.7%)

Counts
3 → 18
Calls

3 calls:

121.0ms
(*.f64 19683 (pow.f64 (*.f64 x y) 3))
86.0ms
(cbrt.f64 (*.f64 19683 (pow.f64 (*.f64 x y) 3)))
79.0ms
(pow.f64 (*.f64 x y) 3)
Compiler

Compiled 320 to 320 computations (0% saved)

simplify50.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
75 → 75
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
04928724
14928724

localize7.0ms (0%)

Local error

Found 8 expressions with local error:

7.4b
(sqrt.f64 (*.f64 (*.f64 x 27) y))
0.3b
(*.f64 (sqrt.f64 (*.f64 (*.f64 x 27) y)) (sqrt.f64 (*.f64 (*.f64 x 27) y)))
0.2b
(*.f64 (*.f64 x 27) y)
0.2b
(*.f64 (*.f64 x 27) y)
0.2b
(*.f64 (*.f64 x 27) y)
0.3b
(*.f64 (sqrt.f64 (*.f64 (*.f64 x 27) y)) (sqrt.f64 (*.f64 (*.f64 x 27) y)))
7.4b
(sqrt.f64 (*.f64 (*.f64 x 27) y))
7.4b
(sqrt.f64 (*.f64 (*.f64 x 27) y))

rewrite32.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
148×pow1_binary64_5936
80×pow-prod-down_binary64_5946
66×sqrt-pow1_binary64_5893
17×pow-prod-up_binary64_5945
14×pow1/2_binary64_5955
11×add-exp-log_binary64_5913 pow-sqr_binary64_5848 add-sqr-sqrt_binary64_5897 add-cbrt-cube_binary64_5911
9×add-cube-cbrt_binary64_5910 *-un-lft-identity_binary64_5875
7×associate-*r*_binary64_5815
6×sqrt-prod_binary64_5891
5×associate-*l*_binary64_5816
4×cbrt-unprod_binary64_5908 prod-exp_binary64_5924 add-log-exp_binary64_5914 swap-sqr_binary64_5842
2×*-commutative_binary64_5806
1×rem-square-sqrt_binary64_5887 pow-plus_binary64_5938 pow2_binary64_5956 unswap-sqr_binary64_5843 sqrt-unprod_binary64_5895
Counts
4 → 108
Calls

8 calls:

12.0ms
(*.f64 (sqrt.f64 (*.f64 (*.f64 x 27) y)) (sqrt.f64 (*.f64 (*.f64 x 27) y)))
5.0ms
(*.f64 (*.f64 x 27) y)
3.0ms
(sqrt.f64 (*.f64 (*.f64 x 27) y))
3.0ms
(sqrt.f64 (*.f64 (*.f64 x 27) y))
0.0ms
(*.f64 (*.f64 x 27) y)

series246.0ms (1.4%)

Counts
4 → 24
Calls

4 calls:

98.0ms
(*.f64 (sqrt.f64 (*.f64 (*.f64 x 27) y)) (sqrt.f64 (*.f64 (*.f64 x 27) y)))
54.0ms
(*.f64 (*.f64 x 27) y)
48.0ms
(sqrt.f64 (*.f64 (*.f64 x 27) y))
45.0ms
(sqrt.f64 (*.f64 (*.f64 x 27) y))
Compiler

Compiled 728 to 634 computations (12.9% saved)

simplify84.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 0 (67.0ms)

IterNodesCost
04919963
14919963

prune1.2s (6.9%)

Pruning

91 alts after pruning (85 fresh and 6 done)

PrunedKeptTotal
New24080320
Fresh055
Picked000
Done066
Total24091331
Error
0.0b
Counts
331 → 91
Compiler

Compiled 2892 to 2203 computations (23.8% saved)

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

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

rewrite7.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
6×add-exp-log_binary64_5913 add-cbrt-cube_binary64_5911 pow1_binary64_5936
3×pow-prod-down_binary64_5946 cbrt-unprod_binary64_5908 associate-*r*_binary64_5815 prod-exp_binary64_5924
2×add-cube-cbrt_binary64_5910 add-sqr-sqrt_binary64_5897 *-un-lft-identity_binary64_5875
1×associate-*l*_binary64_5816 *-commutative_binary64_5806 add-log-exp_binary64_5914
Counts
1 → 18
Calls

2 calls:

5.0ms
(*.f64 (*.f64 x 27) y)
0.0ms
(*.f64 (*.f64 x 27) y)

series56.0ms (0.3%)

Counts
1 → 6
Calls

1 calls:

56.0ms
(*.f64 (*.f64 x 27) y)
Compiler

Compiled 108 to 108 computations (0% saved)

simplify59.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
24 → 24
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
04888200
14888200

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

0.5b
(*.f64 x (*.f64 27 y))
0.5b
(*.f64 x (*.f64 27 y))

rewrite6.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
6×add-exp-log_binary64_5913 add-cbrt-cube_binary64_5911 pow1_binary64_5936
3×pow-prod-down_binary64_5946 cbrt-unprod_binary64_5908 associate-*l*_binary64_5816 prod-exp_binary64_5924
2×add-cube-cbrt_binary64_5910 add-sqr-sqrt_binary64_5897 *-un-lft-identity_binary64_5875
1×associate-*r*_binary64_5815 *-commutative_binary64_5806 add-log-exp_binary64_5914
Counts
1 → 18
Calls

2 calls:

5.0ms
(*.f64 x (*.f64 27 y))
0.0ms
(*.f64 x (*.f64 27 y))

series53.0ms (0.3%)

Counts
1 → 6
Calls

1 calls:

53.0ms
(*.f64 x (*.f64 27 y))
Compiler

Compiled 84 to 84 computations (0% saved)

simplify61.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
24 → 24
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
04915198
14915198

localize8.0ms (0%)

Local error

Found 8 expressions with local error:

7.4b
(sqrt.f64 (*.f64 (*.f64 x 27) y))
0.3b
(*.f64 (sqrt.f64 (*.f64 (*.f64 x 27) y)) (*.f64 1 (sqrt.f64 (*.f64 (*.f64 x 27) y))))
0.2b
(*.f64 (*.f64 x 27) y)
0.2b
(*.f64 (*.f64 x 27) y)
0.2b
(*.f64 (*.f64 x 27) y)
0.3b
(*.f64 (sqrt.f64 (*.f64 (*.f64 x 27) y)) (*.f64 1 (sqrt.f64 (*.f64 (*.f64 x 27) y))))
7.4b
(sqrt.f64 (*.f64 (*.f64 x 27) y))
7.4b
(sqrt.f64 (*.f64 (*.f64 x 27) y))

rewrite28.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
26×pow1_binary64_5936
16×add-exp-log_binary64_5913
14×add-cbrt-cube_binary64_5911
12×pow-prod-down_binary64_5946
8×prod-exp_binary64_5924
7×*-un-lft-identity_binary64_5875
6×add-cube-cbrt_binary64_5910 cbrt-unprod_binary64_5908 add-sqr-sqrt_binary64_5897 sqrt-pow1_binary64_5893
5×associate-*l*_binary64_5816
4×associate-*r*_binary64_5815 add-log-exp_binary64_5914
3×sqrt-prod_binary64_5891
2×pow1/2_binary64_5955 *-commutative_binary64_5806
1×1-exp_binary64_5919 swap-sqr_binary64_5842
Counts
4 → 63
Calls

8 calls:

12.0ms
(*.f64 (sqrt.f64 (*.f64 (*.f64 x 27) y)) (*.f64 1 (sqrt.f64 (*.f64 (*.f64 x 27) y))))
5.0ms
(*.f64 (*.f64 x 27) y)
4.0ms
(sqrt.f64 (*.f64 (*.f64 x 27) y))
3.0ms
(sqrt.f64 (*.f64 (*.f64 x 27) y))
0.0ms
(*.f64 (*.f64 x 27) y)

series238.0ms (1.4%)

Counts
4 → 24
Calls

4 calls:

95.0ms
(*.f64 (sqrt.f64 (*.f64 (*.f64 x 27) y)) (*.f64 1 (sqrt.f64 (*.f64 (*.f64 x 27) y))))
50.0ms
(*.f64 (*.f64 x 27) y)
48.0ms
(sqrt.f64 (*.f64 (*.f64 x 27) y))
45.0ms
(sqrt.f64 (*.f64 (*.f64 x 27) y))
Compiler

Compiled 800 to 706 computations (11.8% saved)

simplify74.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
87 → 87
Iterations

Useful iterations: 0 (59.0ms)

IterNodesCost
04969786
14969786

localize8.0ms (0%)

Local error

Found 8 expressions with local error:

2.8b
(log.f64 (exp.f64 (*.f64 (*.f64 x 27) y)))
0.2b
(*.f64 (*.f64 x 27) y)
0.1b
(exp.f64 (log.f64 (log.f64 (exp.f64 (*.f64 (*.f64 x 27) y)))))
0.0b
(exp.f64 (*.f64 (*.f64 x 27) y))
0.0b
(exp.f64 (*.f64 (*.f64 x 27) y))
0.1b
(exp.f64 (log.f64 (log.f64 (exp.f64 (*.f64 (*.f64 x 27) y)))))
0.2b
(*.f64 (*.f64 x 27) y)
2.8b
(log.f64 (exp.f64 (*.f64 (*.f64 x 27) y)))

rewrite17.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
12×pow1_binary64_5936
9×add-exp-log_binary64_5913 add-cbrt-cube_binary64_5911 log-prod_binary64_5961
8×add-cube-cbrt_binary64_5910 add-sqr-sqrt_binary64_5897 *-un-lft-identity_binary64_5875 add-log-exp_binary64_5914
7×log-pow_binary64_5964 exp-prod_binary64_5927
6×exp-sum_binary64_5921
3×pow-prod-down_binary64_5946 cbrt-unprod_binary64_5908 exp-to-pow_binary64_5937 associate-*r*_binary64_5815 prod-exp_binary64_5924
2×rem-exp-log_binary64_5915
1×rem-log-exp_binary64_5916 associate-*l*_binary64_5816 *-commutative_binary64_5806
Counts
4 → 60
Calls

8 calls:

7.0ms
(*.f64 (*.f64 x 27) y)
2.0ms
(exp.f64 (log.f64 (log.f64 (exp.f64 (*.f64 (*.f64 x 27) y)))))
2.0ms
(exp.f64 (*.f64 (*.f64 x 27) y))
2.0ms
(log.f64 (exp.f64 (*.f64 (*.f64 x 27) y)))
0.0ms
(exp.f64 (*.f64 (*.f64 x 27) y))

series561.0ms (3.3%)

Counts
4 → 26
Calls

4 calls:

306.0ms
(exp.f64 (log.f64 (log.f64 (exp.f64 (*.f64 (*.f64 x 27) y)))))
168.0ms
(log.f64 (exp.f64 (*.f64 (*.f64 x 27) y)))
57.0ms
(*.f64 (*.f64 x 27) y)
29.0ms
(exp.f64 (*.f64 (*.f64 x 27) y))
Compiler

Compiled 452 to 452 computations (0% saved)

simplify62.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
86 → 86
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
04943740
14943740

localize11.0ms (0.1%)

Local error

Found 8 expressions with local error:

1.0b
(cbrt.f64 19683)
0.2b
(pow.f64 (*.f64 x y) 3)
0.2b
(*.f64 (*.f64 (cbrt.f64 19683) (cbrt.f64 19683)) (*.f64 (pow.f64 (*.f64 x y) 3) (cbrt.f64 19683)))
0.1b
(*.f64 (pow.f64 (*.f64 x y) 3) (cbrt.f64 19683))
1.0b
(cbrt.f64 19683)
1.0b
(cbrt.f64 19683)
1.0b
(cbrt.f64 19683)
32.1b
(cbrt.f64 (*.f64 (*.f64 (cbrt.f64 19683) (cbrt.f64 19683)) (*.f64 (pow.f64 (*.f64 x y) 3) (cbrt.f64 19683))))

rewrite14.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
10×cbrt-prod_binary64_5906
7×add-cube-cbrt_binary64_5910 add-sqr-sqrt_binary64_5897 *-un-lft-identity_binary64_5875
4×add-exp-log_binary64_5913 add-cbrt-cube_binary64_5911 pow1_binary64_5936 pow1/3_binary64_5957 add-log-exp_binary64_5914
Counts
4 → 42
Calls

8 calls:

8.0ms
(cbrt.f64 (*.f64 (*.f64 (cbrt.f64 19683) (cbrt.f64 19683)) (*.f64 (pow.f64 (*.f64 x y) 3) (cbrt.f64 19683))))
1.0ms
(cbrt.f64 19683)
1.0ms
(cbrt.f64 19683)
1.0ms
(cbrt.f64 19683)
0.0ms
(*.f64 (pow.f64 (*.f64 x y) 3) (cbrt.f64 19683))

series111.0ms (0.7%)

Counts
4 → 6
Calls

4 calls:

110.0ms
(cbrt.f64 (*.f64 (*.f64 (cbrt.f64 19683) (cbrt.f64 19683)) (*.f64 (pow.f64 (*.f64 x y) 3) (cbrt.f64 19683))))
0.0ms
(cbrt.f64 19683)
0.0ms
(cbrt.f64 19683)
0.0ms
(cbrt.f64 19683)
Compiler

Compiled 92 to 92 computations (0% saved)

simplify106.0ms (0.6%)

Algorithm
1×egg-herbie
Counts
48 → 48
Iterations

Useful iterations: 0 (95.0ms)

IterNodesCost
04755388
14755388

prune2.5s (14.5%)

Pruning

156 alts after pruning (145 fresh and 11 done)

PrunedKeptTotal
New19871269
Fresh67480
Picked000
Done01111
Total204156360
Error
0.0b
Counts
360 → 156
Compiler

Compiled 4473 to 3685 computations (17.6% saved)

localize7.0ms (0%)

Local error

Found 2 expressions with local error:

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

rewrite7.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
6×add-exp-log_binary64_5913 add-cbrt-cube_binary64_5911 pow1_binary64_5936
3×pow-prod-down_binary64_5946 cbrt-unprod_binary64_5908 associate-*r*_binary64_5815 prod-exp_binary64_5924
2×add-cube-cbrt_binary64_5910 add-sqr-sqrt_binary64_5897 *-un-lft-identity_binary64_5875
1×associate-*l*_binary64_5816 *-commutative_binary64_5806 add-log-exp_binary64_5914
Counts
1 → 18
Calls

2 calls:

5.0ms
(*.f64 (*.f64 x 27) y)
0.0ms
(*.f64 (*.f64 x 27) y)

series55.0ms (0.3%)

Counts
1 → 6
Calls

1 calls:

55.0ms
(*.f64 (*.f64 x 27) y)
Compiler

Compiled 132 to 132 computations (0% saved)

simplify57.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
24 → 24
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
04888200
14888200

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

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

rewrite6.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
6×add-exp-log_binary64_5913 add-cbrt-cube_binary64_5911 pow1_binary64_5936
3×pow-prod-down_binary64_5946 cbrt-unprod_binary64_5908 associate-*r*_binary64_5815 prod-exp_binary64_5924
2×add-cube-cbrt_binary64_5910 add-sqr-sqrt_binary64_5897 *-un-lft-identity_binary64_5875
1×associate-*l*_binary64_5816 *-commutative_binary64_5806 add-log-exp_binary64_5914
Counts
1 → 18
Calls

2 calls:

5.0ms
(*.f64 (*.f64 x 27) y)
0.0ms
(*.f64 (*.f64 x 27) y)

series55.0ms (0.3%)

Counts
1 → 6
Calls

1 calls:

55.0ms
(*.f64 (*.f64 x 27) y)
Compiler

Compiled 84 to 84 computations (0% saved)

simplify60.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
24 → 24
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
04888200
14888200

localize11.0ms (0.1%)

Local error

Found 6 expressions with local error:

7.4b
(log.f64 (*.f64 (*.f64 x 27) y))
2.6b
(exp.f64 (log.f64 (*.f64 (*.f64 x 27) y)))
0.2b
(*.f64 (*.f64 x 27) y)
0.2b
(*.f64 (*.f64 x 27) y)
2.6b
(exp.f64 (log.f64 (*.f64 (*.f64 x 27) y)))
7.4b
(log.f64 (*.f64 (*.f64 x 27) y))

rewrite17.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
20×pow1_binary64_5936
14×add-exp-log_binary64_5913
9×pow-prod-down_binary64_5946
8×add-cbrt-cube_binary64_5911
6×prod-exp_binary64_5924 log-pow_binary64_5964 exp-prod_binary64_5927
5×add-cube-cbrt_binary64_5910 add-sqr-sqrt_binary64_5897 *-un-lft-identity_binary64_5875
3×rem-log-exp_binary64_5916 cbrt-unprod_binary64_5908 associate-*r*_binary64_5815 add-log-exp_binary64_5914
2×log-prod_binary64_5961
1×rem-exp-log_binary64_5915 associate-*l*_binary64_5816 exp-sum_binary64_5921 *-commutative_binary64_5806
Counts
3 → 47
Calls

6 calls:

5.0ms
(*.f64 (*.f64 x 27) y)
5.0ms
(exp.f64 (log.f64 (*.f64 (*.f64 x 27) y)))
4.0ms
(log.f64 (*.f64 (*.f64 x 27) y))
0.0ms
(*.f64 (*.f64 x 27) y)
0.0ms
(exp.f64 (log.f64 (*.f64 (*.f64 x 27) y)))

series367.0ms (2.2%)

Counts
3 → 18
Calls

3 calls:

179.0ms
(exp.f64 (log.f64 (*.f64 (*.f64 x 27) y)))
134.0ms
(log.f64 (*.f64 (*.f64 x 27) y))
53.0ms
(*.f64 (*.f64 x 27) y)
Compiler

Compiled 380 to 380 computations (0% saved)

simplify57.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
65 → 65
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
05404546

localize12.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.3b
(*.f64 19683 (pow.f64 (*.f64 x y) 2))
0.2b
(pow.f64 (*.f64 x y) 2)
0.2b
(pow.f64 (*.f64 x y) 3)
0.1b
(*.f64 (*.f64 19683 (pow.f64 (*.f64 x y) 2)) (cbrt.f64 (pow.f64 (*.f64 x y) 3)))
0.2b
(pow.f64 (*.f64 x y) 2)
0.3b
(*.f64 19683 (pow.f64 (*.f64 x y) 2))
32.0b
(cbrt.f64 (pow.f64 (*.f64 x y) 3))
32.1b
(cbrt.f64 (*.f64 (*.f64 19683 (pow.f64 (*.f64 x y) 2)) (cbrt.f64 (pow.f64 (*.f64 x y) 3))))

rewrite21.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
15×add-exp-log_binary64_5913
12×add-sqr-sqrt_binary64_5897
9×cbrt-prod_binary64_5906
8×add-cube-cbrt_binary64_5910 *-un-lft-identity_binary64_5875
7×pow1_binary64_5936
6×associate-*r*_binary64_5815 add-cbrt-cube_binary64_5911 prod-exp_binary64_5924
4×sqr-pow_binary64_5847 pow-exp_binary64_5943 add-log-exp_binary64_5914
3×pow-unpow_binary64_5952 associate-*l*_binary64_5816 unpow-prod-down_binary64_5954 unswap-sqr_binary64_5843 unpow2_binary64_5940
2×pow-pow_binary64_5947 pow1/3_binary64_5957 pow-to-exp_binary64_5944
1×cube-prod_binary64_5903 pow-prod-down_binary64_5946 cbrt-unprod_binary64_5908 unpow3_binary64_5941 rem-cbrt-cube_binary64_5899 *-commutative_binary64_5806 cube-mult_binary64_5905
Counts
4 → 69
Calls

8 calls:

6.0ms
(cbrt.f64 (*.f64 (*.f64 19683 (pow.f64 (*.f64 x y) 2)) (cbrt.f64 (pow.f64 (*.f64 x y) 3))))
5.0ms
(*.f64 19683 (pow.f64 (*.f64 x y) 2))
4.0ms
(pow.f64 (*.f64 x y) 2)
2.0ms
(cbrt.f64 (pow.f64 (*.f64 x y) 3))
0.0ms
(*.f64 (*.f64 19683 (pow.f64 (*.f64 x y) 2)) (cbrt.f64 (pow.f64 (*.f64 x y) 3)))

series368.0ms (2.2%)

Counts
4 → 24
Calls

4 calls:

155.0ms
(cbrt.f64 (*.f64 (*.f64 19683 (pow.f64 (*.f64 x y) 2)) (cbrt.f64 (pow.f64 (*.f64 x y) 3))))
95.0ms
(*.f64 19683 (pow.f64 (*.f64 x y) 2))
62.0ms
(pow.f64 (*.f64 x y) 2)
55.0ms
(cbrt.f64 (pow.f64 (*.f64 x y) 3))
Compiler

Compiled 672 to 592 computations (11.9% saved)

simplify83.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
93 → 93
Iterations

Useful iterations: 0 (67.0ms)

IterNodesCost
04900919
14900919

localize10.0ms (0.1%)

Local error

Found 8 expressions with local error:

1.3b
(log.f64 (exp.f64 (*.f64 (*.f64 (*.f64 x 27) (sqrt.f64 y)) (sqrt.f64 y))))
0.2b
(*.f64 (*.f64 (*.f64 x 27) (sqrt.f64 y)) (sqrt.f64 y))
0.2b
(*.f64 (*.f64 x 27) (sqrt.f64 y))
0.1b
(exp.f64 (log.f64 (log.f64 (exp.f64 (*.f64 (*.f64 (*.f64 x 27) (sqrt.f64 y)) (sqrt.f64 y))))))
0.1b
(exp.f64 (log.f64 (log.f64 (exp.f64 (*.f64 (*.f64 (*.f64 x 27) (sqrt.f64 y)) (sqrt.f64 y))))))
0.2b
(*.f64 (*.f64 x 27) (sqrt.f64 y))
0.2b
(*.f64 (*.f64 (*.f64 x 27) (sqrt.f64 y)) (sqrt.f64 y))
1.3b
(log.f64 (exp.f64 (*.f64 (*.f64 (*.f64 x 27) (sqrt.f64 y)) (sqrt.f64 y))))

rewrite26.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
21×pow1_binary64_5936
18×add-exp-log_binary64_5913 add-cbrt-cube_binary64_5911
12×associate-*r*_binary64_5815
11×add-cube-cbrt_binary64_5910 add-sqr-sqrt_binary64_5897 *-un-lft-identity_binary64_5875
9×pow-prod-down_binary64_5946 cbrt-unprod_binary64_5908 prod-exp_binary64_5924 log-prod_binary64_5961
7×log-pow_binary64_5964
6×sqrt-prod_binary64_5891 exp-sum_binary64_5921 add-log-exp_binary64_5914 exp-prod_binary64_5927
2×exp-to-pow_binary64_5937 associate-*l*_binary64_5816 *-commutative_binary64_5806
1×rem-exp-log_binary64_5915 rem-log-exp_binary64_5916
Counts
4 → 77
Calls

8 calls:

9.0ms
(*.f64 (*.f64 (*.f64 x 27) (sqrt.f64 y)) (sqrt.f64 y))
6.0ms
(*.f64 (*.f64 x 27) (sqrt.f64 y))
2.0ms
(exp.f64 (log.f64 (log.f64 (exp.f64 (*.f64 (*.f64 (*.f64 x 27) (sqrt.f64 y)) (sqrt.f64 y))))))
2.0ms
(log.f64 (exp.f64 (*.f64 (*.f64 (*.f64 x 27) (sqrt.f64 y)) (sqrt.f64 y))))
0.0ms
(exp.f64 (log.f64 (log.f64 (exp.f64 (*.f64 (*.f64 (*.f64 x 27) (sqrt.f64 y)) (sqrt.f64 y))))))

series561.0ms (3.3%)

Counts
4 → 24
Calls

4 calls:

290.0ms
(exp.f64 (log.f64 (log.f64 (exp.f64 (*.f64 (*.f64 (*.f64 x 27) (sqrt.f64 y)) (sqrt.f64 y))))))
161.0ms
(log.f64 (exp.f64 (*.f64 (*.f64 (*.f64 x 27) (sqrt.f64 y)) (sqrt.f64 y))))
59.0ms
(*.f64 (*.f64 x 27) (sqrt.f64 y))
52.0ms
(*.f64 (*.f64 (*.f64 x 27) (sqrt.f64 y)) (sqrt.f64 y))
Compiler

Compiled 562 to 532 computations (5.3% saved)

simplify93.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
101 → 101
Iterations

Useful iterations: 0 (75.0ms)

IterNodesCost
04988987
14988987

prune3.0s (17.6%)

Pruning

224 alts after pruning (208 fresh and 16 done)

PrunedKeptTotal
New23374307
Fresh6134140
Picked000
Done01616
Total239224463
Error
0.0b
Counts
463 → 224
Compiler

Compiled 2391 to 1597 computations (33.2% saved)

simplify122.0ms (0.7%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (22.0ms)

IterNodesCost
011848289
111848289

regimes1.3s (7.7%)

Compiler

Compiled 12084 to 10342 computations (14.4% saved)

bsearch0.0ms (0%)

regimes20.0ms (0.1%)

Compiler

Compiled 20 to 36 computations (-80% saved)

bsearch0.0ms (0%)

regimes15.0ms (0.1%)

Accuracy

Total 0.3b remaining (97.7%)

Threshold costs 0.3b (97.7%)

Compiler

Compiled 10 to 26 computations (-160% saved)

bsearch2.0ms (0%)

Compiler

Compiled 12 to 16 computations (-33.3% saved)

simplify4.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01416
11416

end0.0ms (0%)

sample3.8s (22.3%)

Algorithm
1×intervals
Results
155.0ms8000×body128valid
2.0ms91×body128invalid
Compiler

Compiled 3058 to 2635 computations (13.8% saved)

Pareto

0.0

Profiling

Loading profile data...