Details

Time bar (total: 2.5s)

analyze146.0ms (5.8%)

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%62.4%0.1%6
56.2%43.7%0.1%7
65.6%34.3%0.1%8
76.5%23.4%0.1%9
82%18%0.1%10
87.8%12.1%0.1%11
90.7%9.2%0.1%12
93.8%6.1%0.1%13
95.3%4.6%0.1%14
Compiler

Compiled 6 to 6 computations (0% saved)

sample21.0ms (0.8%)

Algorithm
1×intervals
Results
9.0ms250×body128valid
0.0ms3×body1024valid
0.0ms1×body2048valid
0.0ms1×body512valid
0.0ms1×body256valid
0.0ms2×body128invalid
Compiler

Compiled 11 to 13 computations (-18.2% saved)

simplify176.0ms (6.9%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (14.0ms)

IterNodesCost
01567
11567

prune4.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1
Compiler

Compiled 10 to 10 computations (0% saved)

localize13.0ms (0.5%)

Local error

Found 1 expressions with local error:

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

rewrite17.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
9×add-sqr-sqrt_binary64_8284
7×*-un-lft-identity_binary64_8262
6×cancel-sign-sub-inv_binary64_8228
5×associate-*r*_binary64_8202 add-cube-cbrt_binary64_8297
4×distribute-rgt-in_binary64_8212 distribute-lft-in_binary64_8211
3×pow1_binary64_8323 add-exp-log_binary64_8300 add-cbrt-cube_binary64_8298 associate-*l*_binary64_8203
2×associate-*r/_binary64_8204 sub-neg_binary64_8255
1×prod-exp_binary64_8311 flip3--_binary64_8266 unswap-sqr_binary64_8230 distribute-lft-out--_binary64_8214 difference-of-squares_binary64_8231 cbrt-unprod_binary64_8295 pow-prod-down_binary64_8333 flip--_binary64_8237 *-commutative_binary64_8193 add-log-exp_binary64_8301
Counts
1 → 30
Calls

1 calls:

14.0ms
(*.f64 200 (-.f64 x y))

series33.0ms (1.3%)

Counts
1 → 3
Calls

1 calls:

33.0ms
(*.f64 200 (-.f64 x y))

simplify68.0ms (2.7%)

Algorithm
1×egg-herbie
Counts
33 → 33
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
04959298
14959298

prune45.0ms (1.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New31233
Fresh000
Picked011
Done000
Total31334

Merged error: 0b

Counts
34 → 3
Compiler

Compiled 315 to 188 computations (40.3% saved)

localize12.0ms (0.5%)

Local error

Found 2 expressions with local error:

0.2b
(*.f64 (-.f64 x y) (sqrt.f64 200))
0.3b
(*.f64 (sqrt.f64 200) (*.f64 (-.f64 x y) (sqrt.f64 200)))

rewrite43.0ms (1.7%)

Algorithm
1×rewrite-expression-head
Rules
13×add-sqr-sqrt_binary64_8284
11×associate-*l*_binary64_8203
9×pow1_binary64_8323 add-exp-log_binary64_8300 add-cbrt-cube_binary64_8298 *-un-lft-identity_binary64_8262
7×sqrt-prod_binary64_8278 associate-*r*_binary64_8202 add-cube-cbrt_binary64_8297
4×prod-exp_binary64_8311 cbrt-unprod_binary64_8295 pow-prod-down_binary64_8333 associate-*l/_binary64_8205
2×associate-*r/_binary64_8204 flip3--_binary64_8266 unswap-sqr_binary64_8230 flip--_binary64_8237 *-commutative_binary64_8193 add-log-exp_binary64_8301
1×distribute-lft-out--_binary64_8214 difference-of-squares_binary64_8231
Counts
2 → 49
Calls

2 calls:

24.0ms
(*.f64 (sqrt.f64 200) (*.f64 (-.f64 x y) (sqrt.f64 200)))
14.0ms
(*.f64 (-.f64 x y) (sqrt.f64 200))

series128.0ms (5%)

Counts
2 → 6
Calls

2 calls:

80.0ms
(*.f64 (sqrt.f64 200) (*.f64 (-.f64 x y) (sqrt.f64 200)))
48.0ms
(*.f64 (-.f64 x y) (sqrt.f64 200))

simplify87.0ms (3.4%)

Algorithm
1×egg-herbie
Counts
55 → 55
Iterations

Useful iterations: 0 (68.0ms)

IterNodesCost
05390597

prune80.0ms (3.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New55055
Fresh011
Picked011
Done011
Total55358

Merged error: 0b

Counts
58 → 3
Compiler

Compiled 678 to 446 computations (34.2% saved)

localize15.0ms (0.6%)

Local error

Found 2 expressions with local error:

0.1b
(*.f64 (-.f64 x y) (cbrt.f64 200))
0.5b
(*.f64 (*.f64 (cbrt.f64 200) (cbrt.f64 200)) (*.f64 (-.f64 x y) (cbrt.f64 200)))

rewrite48.0ms (1.9%)

Algorithm
1×rewrite-expression-head
Rules
16×pow1_binary64_8323 add-exp-log_binary64_8300
11×add-sqr-sqrt_binary64_8284
9×prod-exp_binary64_8311 add-cbrt-cube_binary64_8298 cbrt-unprod_binary64_8295 pow-prod-down_binary64_8333
7×associate-*r*_binary64_8202 *-un-lft-identity_binary64_8262
6×associate-*l*_binary64_8203
5×add-cube-cbrt_binary64_8297
4×cbrt-prod_binary64_8293 associate-*l/_binary64_8205
2×associate-*r/_binary64_8204 flip3--_binary64_8266 unswap-sqr_binary64_8230 flip--_binary64_8237 *-commutative_binary64_8193 add-log-exp_binary64_8301
1×distribute-lft-out--_binary64_8214 difference-of-squares_binary64_8231
Counts
2 → 50
Calls

2 calls:

25.0ms
(*.f64 (*.f64 (cbrt.f64 200) (cbrt.f64 200)) (*.f64 (-.f64 x y) (cbrt.f64 200)))
16.0ms
(*.f64 (-.f64 x y) (cbrt.f64 200))

series182.0ms (7.2%)

Counts
2 → 6
Calls

2 calls:

118.0ms
(*.f64 (*.f64 (cbrt.f64 200) (cbrt.f64 200)) (*.f64 (-.f64 x y) (cbrt.f64 200)))
64.0ms
(*.f64 (-.f64 x y) (cbrt.f64 200))

simplify93.0ms (3.6%)

Algorithm
1×egg-herbie
Counts
56 → 56
Iterations

Useful iterations: 0 (69.0ms)

IterNodesCost
05116604

prune87.0ms (3.4%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New56056
Fresh000
Picked011
Done022
Total56359

Merged error: 0b

Counts
59 → 3
Compiler

Compiled 751 to 516 computations (31.3% saved)

regimes121.0ms (4.7%)

Compiler

Compiled 428 to 352 computations (17.8% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0177
1177

end0.0ms (0%)

sample1.1s (44.1%)

Algorithm
1×intervals
Results
272.0ms7866×body128valid
6.0ms54×body1024valid
4.0ms31×body2048valid
3.0ms33×body512valid
2.0ms60×body128invalid
1.0ms16×body256valid
Compiler

Compiled 113 to 95 computations (15.9% saved)

Profiling

Loading profile data...