Details

Time bar (total: 1.4s)

analyze79.0ms (5.5%)

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)

sample11.0ms (0.8%)

Algorithm
1×intervals
Results
5.0ms252×body128valid
0.0ms2×body512valid
0.0ms2×body256valid
0.0ms1×body128invalid
Compiler

Compiled 11 to 13 computations (-18.2% saved)

simplify170.0ms (11.9%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (8.0ms)

IterNodesCost
01387
11387

prune2.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 → 1
Compiler

Compiled 10 to 10 computations (0% saved)

localize4.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

rewrite9.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
7×add-sqr-sqrt_binary64_9197
5×associate-*r*_binary64_9118 *-un-lft-identity_binary64_9176
3×pow1_binary64_9234 add-exp-log_binary64_9211 add-cube-cbrt_binary64_9208 add-cbrt-cube_binary64_9209 associate-*l*_binary64_9119
2×associate-*r/_binary64_9120 sub-neg_binary64_9169
1×distribute-rgt-in_binary64_9128 unswap-sqr_binary64_9144 distribute-lft-in_binary64_9127 prod-exp_binary64_9222 cbrt-unprod_binary64_9206 difference-of-squares_binary64_9145 add-log-exp_binary64_9212 pow-prod-down_binary64_9244 *-commutative_binary64_9109 distribute-lft-out--_binary64_9130 flip--_binary64_9151 flip3--_binary64_9180
Counts
1 → 24
Calls

1 calls:

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

series43.0ms (3%)

Counts
1 → 3
Calls

1 calls:

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

simplify59.0ms (4.1%)

Algorithm
1×egg-herbie
Counts
27 → 27
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
05172250

prune21.0ms (1.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New25227
Fresh000
Picked011
Done000
Total25328

Merged error: 0b

Counts
28 → 3
Compiler

Compiled 273 to 159 computations (41.8% saved)

localize9.0ms (0.7%)

Local error

Found 2 expressions with local error:

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

rewrite27.0ms (1.9%)

Algorithm
1×rewrite-expression-head
Rules
16×pow1_binary64_9234 add-exp-log_binary64_9211
11×add-sqr-sqrt_binary64_9197
9×prod-exp_binary64_9222 cbrt-unprod_binary64_9206 pow-prod-down_binary64_9244 add-cbrt-cube_binary64_9209
7×associate-*r*_binary64_9118 *-un-lft-identity_binary64_9176
6×associate-*l*_binary64_9119
5×add-cube-cbrt_binary64_9208
4×associate-*l/_binary64_9121 cbrt-prod_binary64_9204
2×associate-*r/_binary64_9120 unswap-sqr_binary64_9144 add-log-exp_binary64_9212 *-commutative_binary64_9109 flip--_binary64_9151 flip3--_binary64_9180
1×difference-of-squares_binary64_9145 distribute-lft-out--_binary64_9130
Counts
2 → 50
Calls

2 calls:

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

series168.0ms (11.7%)

Counts
2 → 6
Calls

2 calls:

106.0ms
(*.f64 (*.f64 (cbrt.f64 200) (cbrt.f64 200)) (*.f64 (-.f64 x y) (cbrt.f64 200)))
62.0ms
(*.f64 (-.f64 x y) (cbrt.f64 200))

simplify51.0ms (3.6%)

Algorithm
1×egg-herbie
Counts
56 → 56
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
05071604

prune45.0ms (3.2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New56056
Fresh011
Picked011
Done011
Total56359

Merged error: 0b

Counts
59 → 3
Compiler

Compiled 760 to 525 computations (30.9% saved)

localize8.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)))

rewrite24.0ms (1.7%)

Algorithm
1×rewrite-expression-head
Rules
13×add-sqr-sqrt_binary64_9197
11×associate-*l*_binary64_9119
9×pow1_binary64_9234 add-exp-log_binary64_9211 *-un-lft-identity_binary64_9176 add-cbrt-cube_binary64_9209
7×associate-*r*_binary64_9118 sqrt-prod_binary64_9191 add-cube-cbrt_binary64_9208
4×prod-exp_binary64_9222 cbrt-unprod_binary64_9206 associate-*l/_binary64_9121 pow-prod-down_binary64_9244
2×associate-*r/_binary64_9120 unswap-sqr_binary64_9144 add-log-exp_binary64_9212 *-commutative_binary64_9109 flip--_binary64_9151 flip3--_binary64_9180
1×difference-of-squares_binary64_9145 distribute-lft-out--_binary64_9130
Counts
2 → 49
Calls

2 calls:

12.0ms
(*.f64 (sqrt.f64 200) (*.f64 (-.f64 x y) (sqrt.f64 200)))
8.0ms
(*.f64 (-.f64 x y) (sqrt.f64 200))

series166.0ms (11.7%)

Counts
2 → 6
Calls

2 calls:

99.0ms
(*.f64 (sqrt.f64 200) (*.f64 (-.f64 x y) (sqrt.f64 200)))
68.0ms
(*.f64 (-.f64 x y) (sqrt.f64 200))

simplify55.0ms (3.9%)

Algorithm
1×egg-herbie
Counts
55 → 55
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
05305597

prune41.0ms (2.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New55055
Fresh000
Picked011
Done022
Total55358

Merged error: 0b

Counts
58 → 3
Compiler

Compiled 666 to 434 computations (34.8% saved)

regimes39.0ms (2.7%)

Compiler

Compiled 124 to 128 computations (-3.2% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0177
1177

end0.0ms (0%)

sample394.0ms (27.6%)

Algorithm
1×intervals
Results
166.0ms7851×body128valid
3.0ms54×body1024valid
3.0ms38×body2048valid
2.0ms34×body512valid
1.0ms61×body128invalid
1.0ms23×body256valid
Compiler

Compiled 37 to 39 computations (-5.4% saved)

Profiling

Loading profile data...