Details

Time bar (total: 26.3s)

analyze768.0ms (2.9%)

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
0%99.9%0.1%5
12.5%68.6%18.9%6
18.7%62.4%18.9%7
18.7%59.3%22%8
28.1%39%32.9%9
32.8%34.3%32.9%10
32.8%32%35.3%11
38.2%20.7%41.1%12
41%17.9%41.1%13
41%16.6%42.5%14
Compiler

Compiled 38 to 24 computations (36.8% saved)

sample108.0ms (0.4%)

Algorithm
1×intervals
Results
74.0ms239×body256valid
6.0ms40×body128nan
3.0ms17×body128valid
Compiler

Compiled 75 to 50 computations (33.3% saved)

simplify591.0ms (2.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (417.0ms)

IterNodesCost
0483448
1483448

prune11.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 99 to 59 computations (40.4% saved)

localize40.0ms (0.2%)

Local error

Found 4 expressions with local error:

7.6b
(cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
8.7b
(cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
28.5b
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
28.5b
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))

rewrite321.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Error
30.4b
Rules
10×cbrt-div_binary64_3520
8×add-sqr-sqrt_binary64_3510 sqrt-prod_binary64_3504
6×pow1_binary64_3549 add-cube-cbrt_binary64_3523 *-un-lft-identity_binary64_3488
4×add-log-exp_binary64_3527 add-exp-log_binary64_3526 add-cbrt-cube_binary64_3524 flip3--_binary64_3492 sqrt-div_binary64_3505 flip--_binary64_3463 frac-times_binary64_3498 associate-*r/_binary64_3430
2×pow1/2_binary64_3568 sqrt-pow1_binary64_3506 difference-of-squares_binary64_3457 rem-sqrt-square_binary64_3501 pow1/3_binary64_3570 flip3-+_binary64_3491 flip-+_binary64_3462 associate-*l/_binary64_3431 cbrt-prod_binary64_3519
Counts
4 → 60
Calls

4 calls:

29.0ms
(cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
23.0ms
(cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
8.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
7.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
Compiler

Compiled 2998 to 1039 computations (65.3% saved)

series2.2s (8.5%)

Error
30.4b
Counts
4 → 47
Calls

4 calls:

905.0ms
(cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
827.0ms
(cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
153.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
152.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
Compiler

Compiled 5524 to 4092 computations (25.9% saved)

simplify153.0ms (0.6%)

Algorithm
1×egg-herbie
Counts
107 → 107
Iterations

Useful iterations: 0 (97.0ms)

IterNodesCost
049742780
149742780

prune474.0ms (1.8%)

Pruning

18 alts after pruning (18 fresh and 0 done)

PrunedKeptTotal
New9017107
Fresh011
Picked101
Done000
Total9118109
Error
29.7b
Counts
109 → 18
Compiler

Compiled 5373 to 2461 computations (54.2% saved)

localize44.0ms (0.2%)

Local error

Found 4 expressions with local error:

2.6b
(-.f64 (*.f64 g g) (*.f64 h h))
8.7b
(cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
28.5b
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
28.5b
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))

rewrite257.0ms (1%)

Algorithm
1×rewrite-expression-head
Error
29.4b
Rules
8×add-sqr-sqrt_binary64_3510 sqrt-prod_binary64_3504
6×pow1_binary64_3549 add-log-exp_binary64_3527 add-cube-cbrt_binary64_3523 *-un-lft-identity_binary64_3488
5×cbrt-div_binary64_3520
4×add-exp-log_binary64_3526 add-cbrt-cube_binary64_3524 sqrt-div_binary64_3505
3×flip3--_binary64_3492 flip--_binary64_3463 difference-of-squares_binary64_3457
2×pow1/2_binary64_3568 sqrt-pow1_binary64_3506 rem-sqrt-square_binary64_3501 flip3-+_binary64_3491 frac-times_binary64_3498 flip-+_binary64_3462 associate-*r/_binary64_3430
1×pow1/3_binary64_3570 associate-*l/_binary64_3431 cbrt-prod_binary64_3519 diff-log_binary64_3580 sub-neg_binary64_3481 cancel-sign-sub-inv_binary64_3454
Counts
4 → 59
Calls

4 calls:

27.0ms
(cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
8.0ms
(-.f64 (*.f64 g g) (*.f64 h h))
8.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
8.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
Compiler

Compiled 2761 to 921 computations (66.6% saved)

series1.7s (6.4%)

Error
29.1b
Counts
4 → 47
Calls

4 calls:

994.0ms
(cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
213.0ms
(-.f64 (*.f64 g g) (*.f64 h h))
165.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
161.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
Compiler

Compiled 4843 to 3424 computations (29.3% saved)

simplify98.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
106 → 106
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
054602096

prune421.0ms (1.6%)

Pruning

20 alts after pruning (20 fresh and 0 done)

PrunedKeptTotal
New988106
Fresh51217
Picked101
Done000
Total10420124
Error
29.0b
Counts
124 → 20
Compiler

Compiled 5136 to 2214 computations (56.9% saved)

localize42.0ms (0.2%)

Local error

Found 4 expressions with local error:

2.6b
(-.f64 (*.f64 g g) (*.f64 h h))
2.6b
(-.f64 (*.f64 g g) (*.f64 h h))
28.5b
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
28.5b
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))

rewrite204.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Error
29.0b
Rules
8×add-log-exp_binary64_3527 add-sqr-sqrt_binary64_3510 sqrt-prod_binary64_3504
6×pow1_binary64_3549 add-cube-cbrt_binary64_3523 *-un-lft-identity_binary64_3488
4×add-exp-log_binary64_3526 add-cbrt-cube_binary64_3524 flip3--_binary64_3492 sqrt-div_binary64_3505 flip--_binary64_3463 difference-of-squares_binary64_3457
2×pow1/2_binary64_3568 sqrt-pow1_binary64_3506 rem-sqrt-square_binary64_3501 diff-log_binary64_3580 sub-neg_binary64_3481 cancel-sign-sub-inv_binary64_3454
Counts
4 → 58
Calls

4 calls:

9.0ms
(-.f64 (*.f64 g g) (*.f64 h h))
8.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
8.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
8.0ms
(-.f64 (*.f64 g g) (*.f64 h h))
Compiler

Compiled 2468 to 775 computations (68.6% saved)

series839.0ms (3.2%)

Error
29.0b
Counts
4 → 46
Calls

4 calls:

206.0ms
(-.f64 (*.f64 g g) (*.f64 h h))
205.0ms
(-.f64 (*.f64 g g) (*.f64 h h))
159.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
146.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
Compiler

Compiled 3924 to 2660 computations (32.2% saved)

simplify168.0ms (0.6%)

Algorithm
1×egg-herbie
Counts
104 → 104
Iterations

Useful iterations: 0 (134.0ms)

IterNodesCost
049421334
149421334

prune337.0ms (1.3%)

Pruning

21 alts after pruning (21 fresh and 0 done)

PrunedKeptTotal
New1004104
Fresh21719
Picked101
Done000
Total10321124
Error
29.0b
Counts
124 → 21
Compiler

Compiled 4710 to 1876 computations (60.2% saved)

localize48.0ms (0.2%)

Local error

Found 4 expressions with local error:

2.6b
(-.f64 (*.f64 g g) (*.f64 h h))
8.7b
(cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
28.5b
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
28.5b
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))

rewrite258.0ms (1%)

Algorithm
1×rewrite-expression-head
Error
29.0b
Rules
8×add-sqr-sqrt_binary64_3510 sqrt-prod_binary64_3504
6×pow1_binary64_3549 add-log-exp_binary64_3527 add-cube-cbrt_binary64_3523 *-un-lft-identity_binary64_3488
5×cbrt-div_binary64_3520
4×add-exp-log_binary64_3526 add-cbrt-cube_binary64_3524 sqrt-div_binary64_3505
3×flip3--_binary64_3492 flip--_binary64_3463 difference-of-squares_binary64_3457
2×pow1/2_binary64_3568 sqrt-pow1_binary64_3506 rem-sqrt-square_binary64_3501 flip3-+_binary64_3491 frac-times_binary64_3498 flip-+_binary64_3462 associate-*r/_binary64_3430
1×pow1/3_binary64_3570 associate-*l/_binary64_3431 cbrt-prod_binary64_3519 diff-log_binary64_3580 sub-neg_binary64_3481 cancel-sign-sub-inv_binary64_3454
Counts
4 → 59
Calls

4 calls:

24.0ms
(cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
11.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
8.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
8.0ms
(-.f64 (*.f64 g g) (*.f64 h h))
Compiler

Compiled 2879 to 1100 computations (61.8% saved)

series1.6s (6%)

Error
29.0b
Counts
4 → 47
Calls

4 calls:

892.0ms
(cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
196.0ms
(-.f64 (*.f64 g g) (*.f64 h h))
160.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
160.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
Compiler

Compiled 5079 to 3757 computations (26% saved)

simplify96.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
106 → 106
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
054602096

prune330.0ms (1.3%)

Pruning

20 alts after pruning (20 fresh and 0 done)

PrunedKeptTotal
New1042106
Fresh21820
Picked101
Done000
Total10720127
Error
29.0b
Counts
127 → 20
Compiler

Compiled 4517 to 2035 computations (54.9% saved)

regimes4.8s (18.4%)

Accuracy

Total 1.9b remaining (5.9%)

Threshold costs 0b (0%)

Compiler

Compiled 39384 to 24755 computations (37.1% saved)

bsearch0.0ms (0%)

simplify6.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
06354
16354

end0.0ms (0%)

sample10.4s (39.5%)

Algorithm
1×intervals
Results
2.4s7538×body256valid
188.0ms1259×body128nan
75.0ms462×body128valid
Compiler

Compiled 5457 to 3440 computations (37% saved)

Profiling

Loading profile data...