Details

Time bar (total: 23.6s)

analyze952.0ms (4%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0493796
1493796
033
133
Search
TrueOtherFalseIter
0%0%100%0
0%0%100%1
0%0%100%2
0%0%100%3
0%0%100%4
0%0%100%5
0%0%100%6
0%0%100%7
0%0%100%8
0%0%100%9
0%0%100%10
0%0%100%11
0%0%100%12
0%0%100%13
0%0%100%14
Compiler

Compiled 30 to 24 computations (20% saved)

sample63.0ms (0.3%)

Algorithm
1×intervals
Results
24.0ms246×body128valid
17.0ms282×pre128true
2.0ms26×body128nan
2.0ms10×body256valid
Compiler

Compiled 47 to 41 computations (12.8% saved)

simplify553.0ms (2.3%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (542.0ms)

IterNodesCost
0180224
1180224

prune7.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112
Error
30.4b
Counts
2 → 1
Compiler

Compiled 32 to 26 computations (18.8% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b
(-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))
0.3b
(*.f64 (*.f64 3 a) c)
0.3b
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b) (*.f64 3 a))
30.3b
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b)

rewrite80.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
20×add-sqr-sqrt_binary64_1123
14×*-un-lft-identity_binary64_1101 add-exp-log_binary64_1139 add-cbrt-cube_binary64_1137
9×pow1_binary64_1162
8×add-log-exp_binary64_1140 add-cube-cbrt_binary64_1136
6×difference-of-squares_binary64_1070 associate-/l*_binary64_1046 times-frac_binary64_1107
4×cbrt-unprod_binary64_1134 prod-exp_binary64_1150 cancel-sign-sub-inv_binary64_1067
3×distribute-lft-out--_binary64_1053 flip--_binary64_1076 flip3--_binary64_1105 sqrt-prod_binary64_1117 associate-*r*_binary64_1041 pow-prod-down_binary64_1172
2×diff-log_binary64_1193 sub-neg_binary64_1094 associate-/l/_binary64_1048 div-exp_binary64_1152 cbrt-undiv_binary64_1135
1×*-commutative_binary64_1032 frac-2neg_binary64_1112 clear-num_binary64_1100 div-inv_binary64_1098 associate-*l*_binary64_1042 associate-/r*_binary64_1045 div-sub_binary64_1106
Counts
4 → 77
Calls

4 calls:

25.0ms
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b) (*.f64 3 a))
17.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b)
14.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))
11.0ms
(*.f64 (*.f64 3 a) c)

series1.1s (4.7%)

Counts
4 → 60
Calls

4 calls:

392.0ms
(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b) (*.f64 3 a))
304.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))
300.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 3 a) c))) b)
116.0ms
(*.f64 (*.f64 3 a) c)
Compiler

Compiled 1692 to 1453 computations (14.1% saved)

simplify113.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
137 → 137
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
052682923

prune360.0ms (1.5%)

Pruning

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New12215137
Fresh000
Picked101
Done000
Total12315138
Error
0.8b
Counts
138 → 15
Compiler

Compiled 3404 to 2026 computations (40.5% saved)

localize61.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.3b
(*.f64 (*.f64 a a) (pow.f64 c 3))
0.3b
(*.f64 (pow.f64 a 3) (pow.f64 c 4))
0.4b
(/.f64 (*.f64 a (*.f64 c c)) (pow.f64 b 3))
0.4b
(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))

rewrite131.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
112×add-exp-log_binary64_1139
54×prod-exp_binary64_1150
42×add-sqr-sqrt_binary64_1123
39×pow-exp_binary64_1169 div-exp_binary64_1152 pow-to-exp_binary64_1170
29×unpow-prod-down_binary64_1180
25×add-cbrt-cube_binary64_1137
22×*-un-lft-identity_binary64_1101 add-cube-cbrt_binary64_1136
19×times-frac_binary64_1107 associate-*r*_binary64_1041 associate-/r*_binary64_1045
16×cube-prod_binary64_1129 unswap-sqr_binary64_1069
15×sqr-pow_binary64_1073
13×associate-*l*_binary64_1042
8×cbrt-unprod_binary64_1134
5×cbrt-undiv_binary64_1135
4×cube-mult_binary64_1131 add-log-exp_binary64_1140 pow1_binary64_1162 unpow3_binary64_1167
2×*-commutative_binary64_1032 frac-2neg_binary64_1112 clear-num_binary64_1100 div-inv_binary64_1098 associate-/l*_binary64_1046
Counts
4 → 186
Calls

4 calls:

23.0ms
(/.f64 (*.f64 a (*.f64 c c)) (pow.f64 b 3))
19.0ms
(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
18.0ms
(*.f64 (*.f64 a a) (pow.f64 c 3))
18.0ms
(*.f64 (pow.f64 a 3) (pow.f64 c 4))

series1.5s (6.2%)

Counts
4 → 30
Calls

4 calls:

652.0ms
(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
385.0ms
(/.f64 (*.f64 a (*.f64 c c)) (pow.f64 b 3))
216.0ms
(*.f64 (pow.f64 a 3) (pow.f64 c 4))
208.0ms
(*.f64 (*.f64 a a) (pow.f64 c 3))
Compiler

Compiled 2700 to 2130 computations (21.1% saved)

simplify180.0ms (0.8%)

Algorithm
1×egg-herbie
Counts
216 → 216
Iterations

Useful iterations: 0 (109.0ms)

IterNodesCost
049963175
149963175

prune1.2s (5.1%)

Pruning

18 alts after pruning (17 fresh and 1 done)

PrunedKeptTotal
New2133216
Fresh01414
Picked011
Done000
Total21318231
Error
0.8b
Counts
231 → 18
Compiler

Compiled 11044 to 6925 computations (37.3% saved)

localize65.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.4b
(*.f64 (pow.f64 a 4) (pow.f64 c 4))
0.4b
(/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))
0.4b
(/.f64 (-.f64 (*.f64 -3/2 (/.f64 (*.f64 a c) b)) (+.f64 (+.f64 (*.f64 9/8 (/.f64 (*.f64 (*.f64 a a) (*.f64 c c)) (pow.f64 b 3))) (*.f64 27/16 (/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5)))) (*.f64 405/128 (/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))))) (*.f64 3 a))
0.7b
(pow.f64 (*.f64 a c) 3)

rewrite147.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
83×add-exp-log_binary64_1139
38×prod-exp_binary64_1150
36×pow-exp_binary64_1169
35×pow-to-exp_binary64_1170
32×div-exp_binary64_1152
27×add-sqr-sqrt_binary64_1123
19×unpow-prod-down_binary64_1180 add-cbrt-cube_binary64_1137
15×*-un-lft-identity_binary64_1101 add-cube-cbrt_binary64_1136
11×sqr-pow_binary64_1073
10×associate-*r/_binary64_1043 times-frac_binary64_1107
9×unswap-sqr_binary64_1069
8×associate-/r*_binary64_1045
7×pow1_binary64_1162 associate-/l/_binary64_1048 associate-*r*_binary64_1041 associate-*l*_binary64_1042
5×frac-sub_binary64_1110
4×cbrt-unprod_binary64_1134 add-log-exp_binary64_1140 associate-/l*_binary64_1046 cbrt-undiv_binary64_1135 frac-add_binary64_1109
3×pow-unpow_binary64_1178
2×rem-cube-cbrt_binary64_1124 pow-pow_binary64_1173 frac-2neg_binary64_1112 clear-num_binary64_1100 flip3-+_binary64_1104 div-inv_binary64_1098 pow-prod-down_binary64_1172 flip-+_binary64_1075
1×*-commutative_binary64_1032 cube-prod_binary64_1129 cube-mult_binary64_1131 flip--_binary64_1076 flip3--_binary64_1105 unpow3_binary64_1167 div-sub_binary64_1106
Counts
4 → 150
Calls

4 calls:

55.0ms
(/.f64 (-.f64 (*.f64 -3/2 (/.f64 (*.f64 a c) b)) (+.f64 (+.f64 (*.f64 9/8 (/.f64 (*.f64 (*.f64 a a) (*.f64 c c)) (pow.f64 b 3))) (*.f64 27/16 (/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5)))) (*.f64 405/128 (/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))))) (*.f64 3 a))
20.0ms
(*.f64 (pow.f64 a 4) (pow.f64 c 4))
16.0ms
(/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))
7.0ms
(pow.f64 (*.f64 a c) 3)

series1.6s (6.9%)

Counts
4 → 42
Calls

4 calls:

616.0ms
(/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))
605.0ms
(/.f64 (-.f64 (*.f64 -3/2 (/.f64 (*.f64 a c) b)) (+.f64 (+.f64 (*.f64 9/8 (/.f64 (*.f64 (*.f64 a a) (*.f64 c c)) (pow.f64 b 3))) (*.f64 27/16 (/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5)))) (*.f64 405/128 (/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))))) (*.f64 3 a))
230.0ms
(*.f64 (pow.f64 a 4) (pow.f64 c 4))
189.0ms
(pow.f64 (*.f64 a c) 3)
Compiler

Compiled 2775 to 2170 computations (21.8% saved)

simplify187.0ms (0.8%)

Algorithm
1×egg-herbie
Counts
192 → 192
Iterations

Useful iterations: 0 (104.0ms)

IterNodesCost
050294802

prune1.3s (5.6%)

Pruning

21 alts after pruning (20 fresh and 1 done)

PrunedKeptTotal
New1848192
Fresh41216
Picked101
Done011
Total18921210
Error
0.7b
Counts
210 → 21
Compiler

Compiled 12141 to 7260 computations (40.2% saved)

localize71.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.4b
(*.f64 (-.f64 (*.f64 -3/2 (/.f64 (*.f64 a c) b)) (+.f64 (+.f64 (*.f64 9/8 (/.f64 (*.f64 (*.f64 a a) (*.f64 c c)) (pow.f64 b 3))) (*.f64 27/16 (/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5)))) (*.f64 405/128 (/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))))) (/.f64 1/3 a))
0.4b
(/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))
0.4b
(/.f64 1/3 a)
0.7b
(pow.f64 (*.f64 a c) 3)

rewrite165.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
73×add-exp-log_binary64_1139
32×div-exp_binary64_1152
30×pow-exp_binary64_1169 add-sqr-sqrt_binary64_1123 prod-exp_binary64_1150
29×pow-to-exp_binary64_1170
26×times-frac_binary64_1107
25×*-un-lft-identity_binary64_1101 add-cube-cbrt_binary64_1136
21×associate-*r/_binary64_1043
19×add-cbrt-cube_binary64_1137
13×associate-*r*_binary64_1041
10×frac-sub_binary64_1110 associate-/r*_binary64_1045
9×pow1_binary64_1162
8×frac-add_binary64_1109
7×unpow-prod-down_binary64_1180 frac-times_binary64_1111 associate-*l/_binary64_1044
4×cbrt-unprod_binary64_1134 add-log-exp_binary64_1140 flip3-+_binary64_1104 associate-/l*_binary64_1046 cbrt-undiv_binary64_1135 flip-+_binary64_1075
3×pow-unpow_binary64_1178 div-inv_binary64_1098 associate-*l*_binary64_1042 sqr-pow_binary64_1073
2×rem-cube-cbrt_binary64_1124 pow-pow_binary64_1173 frac-2neg_binary64_1112 clear-num_binary64_1100 flip--_binary64_1076 flip3--_binary64_1105 pow-prod-down_binary64_1172 unswap-sqr_binary64_1069
1×*-commutative_binary64_1032 cube-prod_binary64_1129 cube-mult_binary64_1131 unpow3_binary64_1167
Counts
4 → 152
Calls

4 calls:

78.0ms
(*.f64 (-.f64 (*.f64 -3/2 (/.f64 (*.f64 a c) b)) (+.f64 (+.f64 (*.f64 9/8 (/.f64 (*.f64 (*.f64 a a) (*.f64 c c)) (pow.f64 b 3))) (*.f64 27/16 (/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5)))) (*.f64 405/128 (/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))))) (/.f64 1/3 a))
19.0ms
(/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))
9.0ms
(pow.f64 (*.f64 a c) 3)
6.0ms
(/.f64 1/3 a)

series1.5s (6.2%)

Counts
4 → 39
Calls

4 calls:

627.0ms
(/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))
592.0ms
(*.f64 (-.f64 (*.f64 -3/2 (/.f64 (*.f64 a c) b)) (+.f64 (+.f64 (*.f64 9/8 (/.f64 (*.f64 (*.f64 a a) (*.f64 c c)) (pow.f64 b 3))) (*.f64 27/16 (/.f64 (pow.f64 (*.f64 a c) 3) (pow.f64 b 5)))) (*.f64 405/128 (/.f64 (*.f64 (pow.f64 a 4) (pow.f64 c 4)) (pow.f64 b 7))))) (/.f64 1/3 a))
190.0ms
(pow.f64 (*.f64 a c) 3)
46.0ms
(/.f64 1/3 a)
Compiler

Compiled 2469 to 1942 computations (21.3% saved)

simplify207.0ms (0.9%)

Algorithm
1×egg-herbie
Counts
191 → 191
Iterations

Useful iterations: 0 (81.0ms)

IterNodesCost
050397740

prune1.4s (6.1%)

Pruning

22 alts after pruning (21 fresh and 1 done)

PrunedKeptTotal
New1865191
Fresh31619
Picked101
Done011
Total19022212
Error
0.7b
Counts
212 → 22
Compiler

Compiled 11660 to 7132 computations (38.8% saved)

regimes2.6s (11.1%)

Accuracy

Total 4.4b remaining (88.6%)

Threshold costs 0b (0%)

Compiler

Compiled 20340 to 14458 computations (28.9% saved)

bsearch15.0ms (0.1%)

Compiler

Compiled 17 to 14 computations (17.6% saved)

simplify11.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0267141
1267141

end0.0ms (0%)

sample8.0s (33.8%)

Algorithm
1×intervals
Results
743.0ms7677×body128valid
517.0ms8929×pre128true
83.0ms929×body128nan
61.0ms323×body256valid
Compiler

Compiled 4103 to 2911 computations (29.1% saved)

Profiling

Loading profile data...