Details

Time bar (total: 1.5s)

analyze2.0ms (0.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%0%100%0
0%0%100%1
Compiler

Compiled 16 to 11 computations (31.3% saved)

sample16.0ms (1%)

Algorithm
1×intervals
Results
6.0ms256×pre128true
4.0ms256×body128valid
Compiler

Compiled 23 to 17 computations (26.1% saved)

simplify177.0ms (11.5%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
07010
17010

prune2.0ms (0.1%)

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 14 to 8 computations (42.9% saved)

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b
(*.f64 (+.f64 a b) (+.f64 a b))

rewrite13.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Rules
19×*-un-lft-identity_binary64_1111
8×pow1_binary64_1172
7×add-sqr-sqrt_binary64_1133
6×flip-+_binary64_1085 flip3-+_binary64_1114 swap-sqr_binary64_1078 distribute-lft-out_binary64_1062
5×add-cube-cbrt_binary64_1146
4×frac-times_binary64_1121 associate-*r*_binary64_1051 associate-*l*_binary64_1052
3×add-cbrt-cube_binary64_1147 add-exp-log_binary64_1149
2×associate-*l/_binary64_1054 associate-*r/_binary64_1053
1×*-commutative_binary64_1042 pow-prod-up_binary64_1181 prod-exp_binary64_1160 cbrt-unprod_binary64_1144 distribute-lft-in_binary64_1060 pow-plus_binary64_1174 pow-sqr_binary64_1084 pow-prod-down_binary64_1182 unswap-sqr_binary64_1079 add-log-exp_binary64_1150 pow2_binary64_1192 distribute-rgt-in_binary64_1061
Counts
1 → 40
Calls

1 calls:

10.0ms
(*.f64 (+.f64 a b) (+.f64 a b))

series28.0ms (1.8%)

Counts
1 → 3
Calls

1 calls:

28.0ms
(*.f64 (+.f64 a b) (+.f64 a b))

simplify41.0ms (2.7%)

Algorithm
1×egg-herbie
Counts
43 → 43
Iterations

Useful iterations: 0 (31.0ms)

IterNodesCost
05458523

prune42.0ms (2.7%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New40343
Fresh000
Picked101
Done000
Total41344

Merged error: 0.0b

Counts
44 → 3
Compiler

Compiled 625 to 265 computations (57.6% saved)

localize5.0ms (0.4%)

Local error

Found 3 expressions with local error:

0.0b
(*.f64 b (+.f64 a b))
0.0b
(*.f64 a (+.f64 a b))
0.0b
(+.f64 (*.f64 a (+.f64 a b)) (*.f64 b (+.f64 a b)))

rewrite27.0ms (1.8%)

Algorithm
1×rewrite-expression-head
Rules
12×associate-*r/_binary64_1053
11×*-un-lft-identity_binary64_1111 add-sqr-sqrt_binary64_1133
8×associate-*r*_binary64_1051
7×add-cbrt-cube_binary64_1147 flip-+_binary64_1085 add-cube-cbrt_binary64_1146 flip3-+_binary64_1114 pow1_binary64_1172 add-exp-log_binary64_1149
6×associate-*l*_binary64_1052
5×add-log-exp_binary64_1150
4×distribute-lft-in_binary64_1060 frac-add_binary64_1119 distribute-rgt-in_binary64_1061
2×*-commutative_binary64_1042 prod-exp_binary64_1160 cbrt-unprod_binary64_1144 associate-+l+_binary64_1044 pow-prod-down_binary64_1182 unswap-sqr_binary64_1079 distribute-lft-out_binary64_1062 associate-+r+_binary64_1043
1×distribute-rgt-out_binary64_1064 +-commutative_binary64_1041 sum-log_binary64_1202
Counts
3 → 66
Calls

3 calls:

9.0ms
(+.f64 (*.f64 a (+.f64 a b)) (*.f64 b (+.f64 a b)))
7.0ms
(*.f64 a (+.f64 a b))
7.0ms
(*.f64 b (+.f64 a b))

series120.0ms (7.8%)

Counts
3 → 9
Calls

3 calls:

42.0ms
(*.f64 b (+.f64 a b))
41.0ms
(+.f64 (*.f64 a (+.f64 a b)) (*.f64 b (+.f64 a b)))
36.0ms
(*.f64 a (+.f64 a b))

simplify61.0ms (4%)

Algorithm
1×egg-herbie
Counts
75 → 75
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
05498903

prune54.0ms (3.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New74175
Fresh022
Picked011
Done000
Total74478

Merged error: 0b

Counts
78 → 4
Compiler

Compiled 1260 to 330 computations (73.8% saved)

localize4.0ms (0.3%)

Local error

Found 1 expressions with local error:

0.0b
(pow.f64 (+.f64 a b) 2)

rewrite6.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
5×*-un-lft-identity_binary64_1111
4×unpow-prod-down_binary64_1190
3×add-sqr-sqrt_binary64_1133 pow-unpow_binary64_1188 add-cube-cbrt_binary64_1146
2×pow1_binary64_1172 add-exp-log_binary64_1149
1×add-cbrt-cube_binary64_1147 unpow2_binary64_1176 pow-pow_binary64_1183 pow-exp_binary64_1179 add-log-exp_binary64_1150 distribute-lft-out_binary64_1062 sqr-pow_binary64_1083 pow-to-exp_binary64_1180
Counts
1 → 19
Calls

1 calls:

5.0ms
(pow.f64 (+.f64 a b) 2)

series30.0ms (1.9%)

Counts
1 → 3
Calls

1 calls:

30.0ms
(pow.f64 (+.f64 a b) 2)

simplify47.0ms (3.1%)

Algorithm
1×egg-herbie
Counts
22 → 22
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
04869210
14869210

prune16.0ms (1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New22022
Fresh022
Picked011
Done011
Total22426

Merged error: 0b

Counts
26 → 4
Compiler

Compiled 206 to 104 computations (49.5% saved)

localize7.0ms (0.4%)

Local error

Found 3 expressions with local error:

0.0b
(+.f64 (*.f64 a (+.f64 b (+.f64 a b))) (*.f64 b b))
0.0b
(*.f64 a (+.f64 b (+.f64 a b)))
0.0b
(+.f64 b (+.f64 a b))

rewrite29.0ms (1.9%)

Algorithm
1×rewrite-expression-head
Rules
15×*-un-lft-identity_binary64_1111
10×add-log-exp_binary64_1150
7×add-sqr-sqrt_binary64_1133
6×distribute-lft-out_binary64_1062
5×add-cbrt-cube_binary64_1147 add-cube-cbrt_binary64_1146 associate-*r*_binary64_1051 pow1_binary64_1172 add-exp-log_binary64_1149
4×sum-log_binary64_1202
3×flip-+_binary64_1085 flip3-+_binary64_1114 associate-*l*_binary64_1052
2×distribute-lft-in_binary64_1060 associate-+l+_binary64_1044 +-commutative_binary64_1041 distribute-rgt-in_binary64_1061 associate-*r/_binary64_1053
1×*-commutative_binary64_1042 prod-exp_binary64_1160 cbrt-unprod_binary64_1144 pow-prod-down_binary64_1182 unswap-sqr_binary64_1079 associate-+r+_binary64_1043
Counts
3 → 52
Calls

3 calls:

10.0ms
(+.f64 (*.f64 a (+.f64 b (+.f64 a b))) (*.f64 b b))
9.0ms
(*.f64 a (+.f64 b (+.f64 a b)))
6.0ms
(+.f64 b (+.f64 a b))

series115.0ms (7.5%)

Counts
3 → 9
Calls

3 calls:

49.0ms
(*.f64 a (+.f64 b (+.f64 a b)))
35.0ms
(+.f64 (*.f64 a (+.f64 b (+.f64 a b))) (*.f64 b b))
31.0ms
(+.f64 b (+.f64 a b))

simplify66.0ms (4.3%)

Algorithm
1×egg-herbie
Counts
61 → 61
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
04937729
14937729

prune36.0ms (2.3%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New61061
Fresh011
Picked011
Done022
Total61465

Merged error: 0b

Counts
65 → 4
Compiler

Compiled 903 to 191 computations (78.8% saved)

regimes32.0ms (2.1%)

Compiler

Compiled 109 to 86 computations (21.1% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
077
177

end0.0ms (0%)

sample553.0ms (36%)

Algorithm
1×intervals
Results
188.0ms8000×pre128true
128.0ms8000×body128valid
Compiler

Compiled 69 to 50 computations (27.5% saved)

Profiling

Loading profile data...