Details

Time bar (total: 5.9s)

analyze1.2s (20.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.7%0.3%0
0%99.7%0.3%1
0%99.7%0.3%2
0%99.7%0.3%3
0%99.7%0.3%4
0%99.7%0.3%5
0%99.7%0.3%6
0%99.7%0.3%7
0%99.7%0.3%8
0%99.7%0.3%9
0%99.7%0.3%10
0%99.7%0.3%11
0%99.7%0.3%12
1.6%98.1%0.3%13
3.1%96.6%0.3%14
Compiler

Compiled 12 to 12 computations (0% saved)

sample34.0ms (0.6%)

Algorithm
1×intervals
Results
9.0ms256×body128valid
4.0ms117×body128invalid
Compiler

Compiled 23 to 29 computations (-26.1% saved)

simplify168.0ms (2.8%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
02516
12516

prune3.0ms (0%)

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 22 to 22 computations (0% saved)

localize12.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b
(+.f64 (*.f64 x y) (*.f64 z t))
0.0b
(+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))

rewrite12.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
9×add-log-exp_binary64_2472
4×sum-log_binary64_2524
2×flip3-+_binary64_2439 add-sqr-sqrt_binary64_2457 flip-+_binary64_2410 add-exp-log_binary64_2471 add-cube-cbrt_binary64_2468 add-cbrt-cube_binary64_2469 *-un-lft-identity_binary64_2436 pow1_binary64_2494 +-commutative_binary64_2368
1×associate-+l+_binary64_2371
Counts
2 → 24
Calls

2 calls:

7.0ms
(+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))
4.0ms
(+.f64 (*.f64 x y) (*.f64 z t))

series210.0ms (3.5%)

Counts
2 → 6
Calls

2 calls:

134.0ms
(+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))
76.0ms
(+.f64 (*.f64 x y) (*.f64 z t))

simplify46.0ms (0.8%)

Algorithm
1×egg-herbie
Counts
30 → 30
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
04980546
14980546

prune24.0ms (0.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New29130
Fresh000
Picked011
Done000
Total29231

Merged error: 0.0b

Counts
31 → 2
Compiler

Compiled 546 to 102 computations (81.3% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b
(*.f64 (cbrt.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))) (cbrt.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))))
0.8b
(cbrt.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))
0.8b
(cbrt.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))
0.8b
(cbrt.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))

rewrite51.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Rules
25×cbrt-prod_binary64_2464
23×add-sqr-sqrt_binary64_2457
18×cbrt-div_binary64_2465
15×add-cube-cbrt_binary64_2468 *-un-lft-identity_binary64_2436
11×pow1_binary64_2494
9×flip3-+_binary64_2439 pow1/3_binary64_2515 flip-+_binary64_2410
6×swap-sqr_binary64_2403 add-exp-log_binary64_2471 associate-*r*_binary64_2378 associate-*l*_binary64_2379
4×add-log-exp_binary64_2472 unswap-sqr_binary64_2404 add-cbrt-cube_binary64_2469 frac-times_binary64_2446
2×pow-prod-down_binary64_2504 associate-*r/_binary64_2380 pow-prod-up_binary64_2503 associate-*l/_binary64_2381 pow-sqr_binary64_2409
1×prod-exp_binary64_2482 *-commutative_binary64_2369 pow2_binary64_2514 cbrt-unprod_binary64_2466 pow-plus_binary64_2496
Counts
4 → 87
Calls

4 calls:

19.0ms
(*.f64 (cbrt.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))) (cbrt.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))))
6.0ms
(cbrt.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))
6.0ms
(cbrt.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))
6.0ms
(cbrt.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))

series1.5s (25.2%)

Counts
4 → 12
Calls

4 calls:

586.0ms
(*.f64 (cbrt.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))) (cbrt.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))))
319.0ms
(cbrt.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))
299.0ms
(cbrt.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))
293.0ms
(cbrt.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))

simplify62.0ms (1%)

Algorithm
1×egg-herbie
Counts
99 → 99
Iterations

Useful iterations: 0 (28.0ms)

IterNodesCost
052183217

prune112.0ms (1.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New98199
Fresh000
Picked011
Done011
Total983101

Merged error: 0.0b

Counts
101 → 3
Compiler

Compiled 4693 to 463 computations (90.1% saved)

localize20.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.8b
(cbrt.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))
0.8b
(cbrt.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))
0.8b
(cbrt.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))
0.8b
(cbrt.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))

rewrite38.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
12×cbrt-prod_binary64_2464
8×add-sqr-sqrt_binary64_2457 add-cube-cbrt_binary64_2468 *-un-lft-identity_binary64_2436 cbrt-div_binary64_2465
4×flip3-+_binary64_2439 pow1/3_binary64_2515 flip-+_binary64_2410 add-log-exp_binary64_2472 add-exp-log_binary64_2471 add-cbrt-cube_binary64_2469 pow1_binary64_2494
Counts
4 → 52
Calls

4 calls:

6.0ms
(cbrt.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))
6.0ms
(cbrt.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))
6.0ms
(cbrt.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))
6.0ms
(cbrt.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))

series1.2s (20.2%)

Counts
4 → 12
Calls

4 calls:

305.0ms
(cbrt.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))
303.0ms
(cbrt.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))
298.0ms
(cbrt.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))
297.0ms
(cbrt.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))

simplify78.0ms (1.3%)

Algorithm
1×egg-herbie
Counts
64 → 64
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
049621700
149621700

prune97.0ms (1.6%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New64064
Fresh000
Picked011
Done022
Total64367

Merged error: 0.0b

Counts
67 → 3
Compiler

Compiled 4844 to 319 computations (93.4% saved)

regimes134.0ms (2.3%)

Compiler

Compiled 1342 to 616 computations (54.1% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01716
11716

end0.0ms (0%)

sample942.0ms (15.8%)

Algorithm
1×intervals
Results
293.0ms8000×body128valid
146.0ms3885×body128invalid
Compiler

Compiled 139 to 71 computations (48.9% saved)

Profiling

Loading profile data...