Details

Time bar (total: 13.2s)

analyze411.0ms (3.1%)

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)

sample60.0ms (0.5%)

Algorithm
1×intervals
Results
41.0ms240×body256valid
3.0ms40×body128nan
1.0ms16×body128valid
Compiler

Compiled 75 to 50 computations (33.3% saved)

simplify319.0ms (2.4%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (230.0ms)

IterNodesCost
0483448
1483448

prune6.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 99 to 59 computations (40.4% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

7.2b
(cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
8.1b
(cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
31.6b
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
31.6b
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))

rewrite180.0ms (1.4%)

Algorithm
1×rewrite-expression-head
Error
34.6b
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 associate-*l/_binary64_3431 cbrt-prod_binary64_3519 flip3-+_binary64_3491 flip-+_binary64_3462
Counts
4 → 60
Calls

4 calls:

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

Compiled 2998 to 1039 computations (65.3% saved)

series1.2s (8.9%)

Error
34.3b
Counts
4 → 44
Calls

4 calls:

503.0ms
(cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
406.0ms
(cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
92.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
84.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
Compiler

Compiled 4967 to 3644 computations (26.6% saved)

simplify56.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
104 → 104
Iterations

Useful iterations: 0 (30.0ms)

IterNodesCost
051492344

prune230.0ms (1.7%)

Pruning

19 alts after pruning (19 fresh and 0 done)

PrunedKeptTotal
New8618104
Fresh011
Picked101
Done000
Total8719106
Error
33.6b
Counts
106 → 19
Compiler

Compiled 5119 to 2275 computations (55.6% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

3.2b
(-.f64 (*.f64 g g) (*.f64 h h))
8.1b
(cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
31.6b
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
31.6b
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))

rewrite135.0ms (1%)

Algorithm
1×rewrite-expression-head
Error
33.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×flip3--_binary64_3492 flip--_binary64_3463 cbrt-div_binary64_3520
4×add-exp-log_binary64_3526 add-cbrt-cube_binary64_3524 sqrt-div_binary64_3505
3×difference-of-squares_binary64_3457
2×pow1/2_binary64_3568 sqrt-pow1_binary64_3506 rem-sqrt-square_binary64_3501 frac-times_binary64_3498 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:

14.0ms
(cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
4.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
4.0ms
(-.f64 (*.f64 g g) (*.f64 h h))
4.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
Compiler

Compiled 2702 to 910 computations (66.3% saved)

series849.0ms (6.4%)

Error
33.2b
Counts
4 → 47
Calls

4 calls:

488.0ms
(cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
108.0ms
(-.f64 (*.f64 g g) (*.f64 h h))
92.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
83.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
Compiler

Compiled 4656 to 3328 computations (28.5% saved)

simplify48.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
106 → 106
Iterations

Useful iterations: 0 (24.0ms)

IterNodesCost
050571960

prune211.0ms (1.6%)

Pruning

19 alts after pruning (19 fresh and 0 done)

PrunedKeptTotal
New988106
Fresh71118
Picked101
Done000
Total10619125
Error
33.0b
Counts
125 → 19
Compiler

Compiled 4911 to 2100 computations (57.2% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

3.2b
(-.f64 (*.f64 g g) (*.f64 h h))
3.2b
(-.f64 (*.f64 g g) (*.f64 h h))
31.6b
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
31.6b
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))

rewrite114.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Error
33.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:

6.0ms
(-.f64 (*.f64 g g) (*.f64 h h))
5.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
4.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
4.0ms
(-.f64 (*.f64 g g) (*.f64 h h))
Compiler

Compiled 2468 to 775 computations (68.6% saved)

series460.0ms (3.5%)

Error
33.0b
Counts
4 → 48
Calls

4 calls:

109.0ms
(-.f64 (*.f64 g g) (*.f64 h h))
102.0ms
(-.f64 (*.f64 g g) (*.f64 h h))
90.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
88.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
Compiler

Compiled 4124 to 2796 computations (32.2% saved)

simplify59.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
106 → 106
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
051771390

prune179.0ms (1.4%)

Pruning

19 alts after pruning (18 fresh and 1 done)

PrunedKeptTotal
New1033106
Fresh31518
Picked011
Done000
Total10619125
Error
33.0b
Counts
125 → 19
Compiler

Compiled 4670 to 1841 computations (60.6% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

3.2b
(-.f64 (*.f64 g g) (*.f64 h h))
8.1b
(cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
31.6b
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
31.6b
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))

rewrite122.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Error
33.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×flip3--_binary64_3492 flip--_binary64_3463 cbrt-div_binary64_3520
4×add-exp-log_binary64_3526 add-cbrt-cube_binary64_3524 sqrt-div_binary64_3505
3×difference-of-squares_binary64_3457
2×pow1/2_binary64_3568 sqrt-pow1_binary64_3506 rem-sqrt-square_binary64_3501 frac-times_binary64_3498 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:

14.0ms
(cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
4.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
4.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
4.0ms
(-.f64 (*.f64 g g) (*.f64 h h))
Compiler

Compiled 2702 to 910 computations (66.3% saved)

series841.0ms (6.4%)

Error
33.0b
Counts
4 → 47
Calls

4 calls:

494.0ms
(cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))))))
104.0ms
(-.f64 (*.f64 g g) (*.f64 h h))
87.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
78.0ms
(sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))
Compiler

Compiled 4656 to 3328 computations (28.5% saved)

simplify45.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
106 → 106
Iterations

Useful iterations: 0 (23.0ms)

IterNodesCost
050571960

prune158.0ms (1.2%)

Pruning

19 alts after pruning (18 fresh and 1 done)

PrunedKeptTotal
New1042106
Fresh11617
Picked101
Done011
Total10619125
Error
33.0b
Counts
125 → 19
Compiler

Compiled 4125 to 1633 computations (60.4% saved)

regimes2.4s (18%)

Accuracy

Total 1.8b remaining (5.4%)

Threshold costs 0b (0%)

Compiler

Compiled 41017 to 25119 computations (38.8% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
06754
16754

end0.0ms (0%)

sample5.1s (38.6%)

Algorithm
1×intervals
Results
1.2s7583×body256valid
97.0ms1198×body128nan
36.0ms417×body128valid
Compiler

Compiled 5211 to 3211 computations (38.4% saved)

Profiling

Loading profile data...