Details

Time bar (total: 2.1s)

analyze78.0ms (3.7%)

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
43.7%43.7%12.6%7
53.1%34.3%12.6%8
57.8%23.4%18.8%9
63.2%18%18.8%10
66%12.1%22%11
68.9%9.2%22%12
70.3%6.1%23.5%13
71.9%4.6%23.5%14
Compiler

Compiled 8 to 7 computations (12.5% saved)

sample12.0ms (0.6%)

Algorithm
1×intervals
Results
6.0ms256×body128valid
0.0ms7×body128invalid
Compiler

Compiled 15 to 15 computations (0% saved)

simplify100.0ms (4.7%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
03210
13210

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 6.8b

Counts
2 → 1
Compiler

Compiled 14 to 12 computations (14.3% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

6.4b
(*.f64 x (+.f64 1 (*.f64 y y)))

rewrite7.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
5×add-sqr-sqrt_binary64_10330
3×associate-*r*_binary64_10248 associate-*l*_binary64_10249 pow1_binary64_10369 add-cbrt-cube_binary64_10344 add-cube-cbrt_binary64_10343 add-exp-log_binary64_10346 *-un-lft-identity_binary64_10308
2×associate-*r/_binary64_10250
1×cbrt-unprod_binary64_10341 distribute-lft-in_binary64_10257 prod-exp_binary64_10357 distribute-rgt-in_binary64_10258 add-log-exp_binary64_10347 flip-+_binary64_10282 pow-prod-down_binary64_10379 flip3-+_binary64_10311 *-commutative_binary64_10239 unswap-sqr_binary64_10276
Counts
1 → 22
Calls

1 calls:

5.0ms
(*.f64 x (+.f64 1 (*.f64 y y)))

series84.0ms (4%)

Counts
1 → 9
Calls

1 calls:

84.0ms
(*.f64 x (+.f64 1 (*.f64 y y)))
Compiler

Compiled 99 to 94 computations (5.1% saved)

simplify80.0ms (3.8%)

Algorithm
1×egg-herbie
Counts
31 → 31
Iterations

Useful iterations: 0 (69.0ms)

IterNodesCost
04921343
14921343

prune30.0ms (1.4%)

Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New26531
Fresh000
Picked101
Done000
Total27532

Merged error: 6.6b

Counts
32 → 5
Compiler

Compiled 382 to 198 computations (48.2% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

10.3b
(*.f64 x (*.f64 y y))

rewrite6.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
6×pow1_binary64_10369 add-cbrt-cube_binary64_10344 add-exp-log_binary64_10346
3×cbrt-unprod_binary64_10341 prod-exp_binary64_10357 associate-*l*_binary64_10249 add-sqr-sqrt_binary64_10330 pow-prod-down_binary64_10379
2×add-cube-cbrt_binary64_10343 *-un-lft-identity_binary64_10308
1×add-log-exp_binary64_10347 associate-*r*_binary64_10248 *-commutative_binary64_10239 unswap-sqr_binary64_10276
Counts
1 → 19
Calls

1 calls:

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

series52.0ms (2.5%)

Counts
1 → 6
Calls

1 calls:

52.0ms
(*.f64 x (*.f64 y y))
Compiler

Compiled 88 to 76 computations (13.6% saved)

simplify59.0ms (2.8%)

Algorithm
1×egg-herbie
Counts
25 → 25
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
05309212

prune16.0ms (0.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New23225
Fresh404
Picked011
Done000
Total27330

Merged error: 0.0b

Counts
30 → 3
Compiler

Compiled 259 to 80 computations (69.1% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

rewrite6.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
6×pow1_binary64_10369 add-cbrt-cube_binary64_10344 add-exp-log_binary64_10346
3×cbrt-unprod_binary64_10341 prod-exp_binary64_10357 associate-*r*_binary64_10248 pow-prod-down_binary64_10379
2×add-cube-cbrt_binary64_10343 add-sqr-sqrt_binary64_10330 *-un-lft-identity_binary64_10308
1×add-log-exp_binary64_10347 associate-*l*_binary64_10249 *-commutative_binary64_10239
Counts
1 → 18
Calls

1 calls:

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

series59.0ms (2.8%)

Counts
1 → 6
Calls

1 calls:

59.0ms
(*.f64 (*.f64 x y) y)
Compiler

Compiled 88 to 76 computations (13.6% saved)

simplify70.0ms (3.3%)

Algorithm
1×egg-herbie
Counts
24 → 24
Iterations

Useful iterations: 0 (62.0ms)

IterNodesCost
04882200
14882200

prune16.0ms (0.7%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New22224
Fresh011
Picked011
Done011
Total22527

Merged error: 0.0b

Counts
27 → 5
Compiler

Compiled 274 to 87 computations (68.2% saved)

localize8.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.5b
(*.f64 (cbrt.f64 y) (cbrt.f64 y))
0.6b
(cbrt.f64 y)
0.6b
(cbrt.f64 y)
0.6b
(cbrt.f64 y)

rewrite14.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
25×cbrt-prod_binary64_10339
23×add-sqr-sqrt_binary64_10330
15×add-cube-cbrt_binary64_10343 *-un-lft-identity_binary64_10308
11×pow1_binary64_10369
9×pow1/3_binary64_10390
6×swap-sqr_binary64_10275 associate-*r*_binary64_10248 associate-*l*_binary64_10249 add-exp-log_binary64_10346
4×add-log-exp_binary64_10347 add-cbrt-cube_binary64_10344 unswap-sqr_binary64_10276
2×pow-sqr_binary64_10281 pow-prod-down_binary64_10379 pow-prod-up_binary64_10378
1×cbrt-unprod_binary64_10341 prod-exp_binary64_10357 pow-plus_binary64_10371 *-commutative_binary64_10239 pow2_binary64_10389
Counts
4 → 73
Calls

4 calls:

6.0ms
(*.f64 (cbrt.f64 y) (cbrt.f64 y))
1.0ms
(cbrt.f64 y)
1.0ms
(cbrt.f64 y)
1.0ms
(cbrt.f64 y)

series393.0ms (18.5%)

Counts
4 → 12
Calls

4 calls:

110.0ms
(*.f64 (cbrt.f64 y) (cbrt.f64 y))
95.0ms
(cbrt.f64 y)
94.0ms
(cbrt.f64 y)
94.0ms
(cbrt.f64 y)
Compiler

Compiled 414 to 306 computations (26.1% saved)

simplify77.0ms (3.6%)

Algorithm
1×egg-herbie
Counts
85 → 85
Iterations

Useful iterations: 0 (65.0ms)

IterNodesCost
05008570

prune61.0ms (2.8%)

Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New85085
Fresh022
Picked011
Done022
Total85590

Merged error: 0.0b

Counts
90 → 5
Compiler

Compiled 1418 to 443 computations (68.8% saved)

regimes217.0ms (10.2%)

Compiler

Compiled 2070 to 1412 computations (31.8% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0910
1910

end0.0ms (0%)

sample666.0ms (31.3%)

Algorithm
1×intervals
Results
187.0ms8000×body128valid
4.0ms169×body128invalid
Compiler

Compiled 353 to 238 computations (32.6% saved)

Profiling

Loading profile data...