Details

Time bar (total: 47.7s)

analyze3.3s (6.8%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0691638
1691638
088
188
Search
TrueOtherFalseIter
0%99.6%0.4%0
0%99.6%0.4%1
0%99.6%0.4%2
0%99.6%0.4%3
0%99.6%0.4%4
0%99.6%0.4%5
0%99.6%0.4%6
0%99.6%0.4%7
0%99.6%0.4%8
0%99.6%0.4%9
0%99.6%0.4%10
0%99.6%0.4%11
0%99.6%0.4%12
0%99.6%0.4%13
0%99.6%0.4%14
Compiler

Compiled 16 to 16 computations (0% saved)

sample149.0ms (0.3%)

Algorithm
1×intervals
Results
22.0ms256×body128valid
14.0ms160×body128invalid
Compiler

Compiled 31 to 39 computations (-25.8% saved)

simplify15.0ms (0%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
06722
16722

prune5.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.0b
Counts
2 → 1
Compiler

Compiled 30 to 30 computations (0% saved)

localize23.0ms (0%)

Local error

Found 3 expressions with local error:

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

rewrite45.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
19×add-log-exp_binary64_4550
10×sum-log_binary64_4602
3×pow1_binary64_4572 add-cbrt-cube_binary64_4547 add-exp-log_binary64_4549 flip-+_binary64_4485 flip3-+_binary64_4514 +-commutative_binary64_4441 *-un-lft-identity_binary64_4511 add-sqr-sqrt_binary64_4533 add-cube-cbrt_binary64_4546
2×associate-+l+_binary64_4444
Counts
3 → 38
Calls

3 calls:

18.0ms
(+.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) (*.f64 c i))
13.0ms
(+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))
8.0ms
(+.f64 (*.f64 x y) (*.f64 z t))

series1.6s (3.4%)

Counts
3 → 108
Calls

3 calls:

866.0ms
(+.f64 (+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b)) (*.f64 c i))
495.0ms
(+.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 a b))
245.0ms
(+.f64 (*.f64 x y) (*.f64 z t))
Compiler

Compiled 2038 to 2234 computations (-9.6% saved)

simplify135.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
146 → 146
Iterations

Useful iterations: 0 (92.0ms)

IterNodesCost
050062201

prune173.0ms (0.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1451146
Fresh000
Picked011
Done000
Total1452147
Error
0.0b
Counts
147 → 2
Compiler

Compiled 2184 to 170 computations (92.2% saved)

localize30.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b
(*.f64 (cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))) (cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))))
0.6b
(cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))))
0.6b
(cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))))
0.6b
(cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))))

rewrite112.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
25×cbrt-prod_binary64_4542
23×add-sqr-sqrt_binary64_4533
18×cbrt-div_binary64_4543
15×*-un-lft-identity_binary64_4511 add-cube-cbrt_binary64_4546
11×pow1_binary64_4572
9×pow1/3_binary64_4593 flip-+_binary64_4485 flip3-+_binary64_4514
6×add-exp-log_binary64_4549 associate-*l*_binary64_4452 associate-*r*_binary64_4451 swap-sqr_binary64_4478
4×add-cbrt-cube_binary64_4547 unswap-sqr_binary64_4479 add-log-exp_binary64_4550 frac-times_binary64_4521
2×pow-prod-up_binary64_4581 associate-*r/_binary64_4453 pow-sqr_binary64_4484 pow-prod-down_binary64_4582 associate-*l/_binary64_4454
1×pow-plus_binary64_4574 pow2_binary64_4592 prod-exp_binary64_4560 cbrt-unprod_binary64_4544 *-commutative_binary64_4442
Counts
4 → 87
Calls

4 calls:

39.0ms
(*.f64 (cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))) (cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))))
16.0ms
(cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))))
15.0ms
(cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))))
14.0ms
(cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))))

series18.8s (39.4%)

Counts
4 → 206
Calls

4 calls:

7.7s
(*.f64 (cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))) (cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))))))
3.7s
(cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))))
3.7s
(cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))))
3.6s
(cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))))
Compiler

Compiled 46464 to 30293 computations (34.8% saved)

simplify366.0ms (0.8%)

Algorithm
1×egg-herbie
Counts
293 → 293
Iterations

Useful iterations: 0 (98.0ms)

IterNodesCost
0499418193
1499418193

prune922.0ms (1.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New2921293
Fresh000
Picked101
Done011
Total2932295
Error
0.0b
Counts
295 → 2
Compiler

Compiled 20707 to 3560 computations (82.8% saved)

localize46.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))))
0.6b
(cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))))
0.6b
(cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))))
0.6b
(cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))))

rewrite89.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
12×cbrt-prod_binary64_4542
8×*-un-lft-identity_binary64_4511 cbrt-div_binary64_4543 add-sqr-sqrt_binary64_4533 add-cube-cbrt_binary64_4546
4×pow1_binary64_4572 add-cbrt-cube_binary64_4547 pow1/3_binary64_4593 add-exp-log_binary64_4549 flip-+_binary64_4485 flip3-+_binary64_4514 add-log-exp_binary64_4550
Counts
4 → 52
Calls

4 calls:

20.0ms
(cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))))
15.0ms
(cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))))
15.0ms
(cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))))
15.0ms
(cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))))

series14.3s (29.9%)

Counts
4 → 208
Calls

4 calls:

3.7s
(cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))))
3.5s
(cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))))
3.5s
(cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))))
3.5s
(cbrt.f64 (+.f64 (*.f64 c i) (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t)))))
Compiler

Compiled 54736 to 28620 computations (47.7% saved)

simplify270.0ms (0.6%)

Algorithm
1×egg-herbie
Counts
260 → 260
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
0507415896

prune1.1s (2.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New2600260
Fresh000
Picked011
Done011
Total2602262
Error
0.0b
Counts
262 → 2
Compiler

Compiled 28616 to 4568 computations (84% saved)

regimes1.1s (2.2%)

Accuracy

Total 0.0b remaining (37.6%)

Threshold costs 0.0b (37.6%)

Compiler

Compiled 8986 to 4433 computations (50.7% saved)

bsearch0.0ms (0%)

simplify154.0ms (0.3%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02322
12322
Compiler

Compiled 120 to 120 computations (0% saved)

end0.0ms (0%)

sample5.1s (10.7%)

Algorithm
1×intervals
Results
798.0ms8000×body128valid
500.0ms5705×body128invalid
Compiler

Compiled 623 to 316 computations (49.3% saved)

Profiling

Loading profile data...