Details

Time bar (total: 3.1s)

analyze359.0ms (11.8%)

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
32.8%67.1%0.1%9
43.7%43.7%12.6%10
46.8%40.6%12.6%11
52.7%34.7%12.6%12
58.5%22.6%18.9%13
60.5%20.7%18.9%14
Compiler

Compiled 8 to 7 computations (12.5% saved)

sample16.0ms (0.5%)

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

Compiled 15 to 16 computations (-6.7% saved)

simplify6.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
01310
11310

prune2.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112
Error
0.1b
Counts
2 → 1
Compiler

Compiled 14 to 12 computations (14.3% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite35.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
7×pow1_binary64_139 add-exp-log_binary64_116 add-cbrt-cube_binary64_114
4×add-log-exp_binary64_117
3×pow-prod-down_binary64_149 prod-exp_binary64_127 add-cube-cbrt_binary64_113 cbrt-unprod_binary64_111 add-sqr-sqrt_binary64_100 *-un-lft-identity_binary64_78 associate-*r*_binary64_18
1×associate-*l*_binary64_19 *-commutative_binary64_9 sum-log_binary64_169 flip3-+_binary64_81 flip-+_binary64_52 +-commutative_binary64_8
Counts
2 → 29
Calls

2 calls:

5.0ms
(*.f64 (*.f64 y z) z)
3.0ms
(+.f64 x (*.f64 (*.f64 y z) z))
Compiler

Compiled 398 to 108 computations (72.9% saved)

series176.0ms (5.8%)

Error
0.0b
Counts
2 → 24
Calls

2 calls:

110.0ms
(+.f64 x (*.f64 (*.f64 y z) z))
54.0ms
(*.f64 (*.f64 y z) z)
Compiler

Compiled 373 to 330 computations (11.5% saved)

simplify103.0ms (3.4%)

Algorithm
1×egg-herbie
Counts
53 → 53
Iterations

Useful iterations: 0 (93.0ms)

IterNodesCost
04953505
14953505

prune32.0ms (1.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New50353
Fresh000
Picked011
Done000
Total50454
Error
0.0b
Counts
54 → 4
Compiler

Compiled 503 to 123 computations (75.5% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite29.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
7×pow1_binary64_139 add-exp-log_binary64_116 add-cbrt-cube_binary64_114
4×add-log-exp_binary64_117 add-sqr-sqrt_binary64_100
3×pow-prod-down_binary64_149 prod-exp_binary64_127 add-cube-cbrt_binary64_113 cbrt-unprod_binary64_111 *-un-lft-identity_binary64_78 associate-*r*_binary64_18
1×unswap-sqr_binary64_46 associate-*l*_binary64_19 *-commutative_binary64_9 sum-log_binary64_169 flip3-+_binary64_81 flip-+_binary64_52 +-commutative_binary64_8
Counts
2 → 30
Calls

2 calls:

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

Compiled 409 to 111 computations (72.9% saved)

series176.0ms (5.8%)

Error
0.0b
Counts
2 → 24
Calls

2 calls:

112.0ms
(+.f64 x (*.f64 (*.f64 z z) y))
54.0ms
(*.f64 (*.f64 z z) y)
Compiler

Compiled 373 to 330 computations (11.5% saved)

simplify75.0ms (2.5%)

Algorithm
1×egg-herbie
Counts
54 → 54
Iterations

Useful iterations: 0 (65.0ms)

IterNodesCost
04930519
14930519

prune26.0ms (0.8%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New53154
Fresh112
Picked011
Done011
Total54458
Error
0.0b
Counts
58 → 4
Compiler

Compiled 504 to 111 computations (78% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b
(+.f64 x (cbrt.f64 (pow.f64 (*.f64 (*.f64 z z) y) 3)))
0.1b
(pow.f64 (*.f64 (*.f64 z z) y) 3)
9.1b
(*.f64 (*.f64 z z) y)
28.4b
(cbrt.f64 (pow.f64 (*.f64 (*.f64 z z) y) 3))

rewrite88.0ms (2.9%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
15×pow1_binary64_139 add-exp-log_binary64_116 add-cbrt-cube_binary64_114
9×*-un-lft-identity_binary64_78
8×cbrt-prod_binary64_109 add-sqr-sqrt_binary64_100
7×add-cube-cbrt_binary64_113
6×add-log-exp_binary64_117 pow-prod-down_binary64_149 prod-exp_binary64_127 cbrt-unprod_binary64_111
3×associate-*r*_binary64_18 pow-unpow_binary64_155 pow-pow_binary64_150 pow-exp_binary64_146 rem-cube-cbrt_binary64_101
2×unpow-prod-down_binary64_157 unpow3_binary64_144 cube-mult_binary64_108 cube-prod_binary64_106 sqr-pow_binary64_50
1×pow1/3_binary64_160 rem-cbrt-cube_binary64_102 unswap-sqr_binary64_46 associate-*l*_binary64_19 *-commutative_binary64_9 pow-to-exp_binary64_147 sum-log_binary64_169 flip3-+_binary64_81 flip-+_binary64_52 distribute-lft-out_binary64_29 +-commutative_binary64_8
Counts
4 → 73
Calls

4 calls:

8.0ms
(pow.f64 (*.f64 (*.f64 z z) y) 3)
6.0ms
(*.f64 (*.f64 z z) y)
5.0ms
(+.f64 x (cbrt.f64 (pow.f64 (*.f64 (*.f64 z z) y) 3)))
3.0ms
(cbrt.f64 (pow.f64 (*.f64 (*.f64 z z) y) 3))
Compiler

Compiled 1243 to 537 computations (56.8% saved)

series361.0ms (11.8%)

Error
0.0b
Counts
4 → 36
Calls

4 calls:

122.0ms
(+.f64 x (cbrt.f64 (pow.f64 (*.f64 (*.f64 z z) y) 3)))
97.0ms
(pow.f64 (*.f64 (*.f64 z z) y) 3)
65.0ms
(cbrt.f64 (pow.f64 (*.f64 (*.f64 z z) y) 3))
58.0ms
(*.f64 (*.f64 z z) y)
Compiler

Compiled 767 to 688 computations (10.3% saved)

simplify65.0ms (2.1%)

Algorithm
1×egg-herbie
Counts
109 → 109
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
049601075
149601075

prune68.0ms (2.2%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1090109
Fresh011
Picked011
Done022
Total1094113
Error
0.0b
Counts
113 → 4
Compiler

Compiled 1264 to 489 computations (61.3% saved)

localize6.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b
(+.f64 x (*.f64 (*.f64 z (sqrt.f64 y)) (*.f64 z (sqrt.f64 y))))
0.1b
(*.f64 z (sqrt.f64 y))
0.1b
(*.f64 z (sqrt.f64 y))
0.2b
(*.f64 (*.f64 z (sqrt.f64 y)) (*.f64 z (sqrt.f64 y)))

rewrite91.0ms (3%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
47×pow1_binary64_139
20×add-exp-log_binary64_116 add-cbrt-cube_binary64_114
19×pow-prod-down_binary64_149
18×add-sqr-sqrt_binary64_100
13×associate-*r*_binary64_18
10×prod-exp_binary64_127 add-cube-cbrt_binary64_113 cbrt-unprod_binary64_111 *-un-lft-identity_binary64_78
8×sqrt-prod_binary64_94
7×associate-*l*_binary64_19
6×add-log-exp_binary64_117
4×pow-prod-up_binary64_148 pow-sqr_binary64_51 unswap-sqr_binary64_46
3×*-commutative_binary64_9
2×pow-plus_binary64_141
1×pow2_binary64_159 swap-sqr_binary64_45 sum-log_binary64_169 flip3-+_binary64_81 flip-+_binary64_52 +-commutative_binary64_8
Counts
4 → 89
Calls

4 calls:

9.0ms
(*.f64 (*.f64 z (sqrt.f64 y)) (*.f64 z (sqrt.f64 y)))
6.0ms
(*.f64 z (sqrt.f64 y))
5.0ms
(*.f64 z (sqrt.f64 y))
4.0ms
(+.f64 x (*.f64 (*.f64 z (sqrt.f64 y)) (*.f64 z (sqrt.f64 y))))
Compiler

Compiled 1515 to 314 computations (79.3% saved)

series268.0ms (8.8%)

Error
0.0b
Counts
4 → 35
Calls

4 calls:

112.0ms
(+.f64 x (*.f64 (*.f64 z (sqrt.f64 y)) (*.f64 z (sqrt.f64 y))))
50.0ms
(*.f64 (*.f64 z (sqrt.f64 y)) (*.f64 z (sqrt.f64 y)))
46.0ms
(*.f64 z (sqrt.f64 y))
45.0ms
(*.f64 z (sqrt.f64 y))
Compiler

Compiled 841 to 601 computations (28.5% saved)

simplify54.0ms (1.8%)

Algorithm
1×egg-herbie
Counts
124 → 124
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
050261005

prune64.0ms (2.1%)

Pruning

6 alts after pruning (2 fresh and 4 done)

PrunedKeptTotal
New1222124
Fresh000
Picked011
Done033
Total1226128
Error
0.0b
Counts
128 → 6
Compiler

Compiled 1415 to 280 computations (80.2% saved)

regimes174.0ms (5.7%)

Accuracy

Total 0.1b remaining (82.2%)

Threshold costs 0.1b (82.2%)

Compiler

Compiled 1500 to 965 computations (35.7% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01010
11010

end0.0ms (0%)

sample759.0ms (24.9%)

Algorithm
1×intervals
Results
195.0ms8000×body128valid
16.0ms696×body128invalid
Compiler

Compiled 309 to 201 computations (35% saved)

Profiling

Loading profile data...