Details

Time bar (total: 4.8s)

analyze571.0ms (11.8%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%7
0%99.8%0.2%8
18.7%81.1%0.2%9
21.8%78%0.2%10
25%74.9%0.2%11
34.7%64.9%0.4%12
47.2%51.9%0.9%13
49%49.2%1.8%14
Compiler

Compiled 8 to 8 computations (0% saved)

sample20.0ms (0.4%)

Algorithm
1×intervals
Results
7.0ms256×body128valid
2.0ms62×body128invalid
Compiler

Compiled 15 to 19 computations (-26.7% saved)

simplify109.0ms (2.3%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
06810
16810

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 14 to 14 computations (0% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

13.6b
(/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
13.6b
(/.f64 (*.f64 a1 a2) (*.f64 b1 b2))

rewrite7.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
13×add-exp-log_binary64_4208 add-cbrt-cube_binary64_4206
4×prod-exp_binary64_4219 cbrt-unprod_binary64_4203 cbrt-undiv_binary64_4204 div-exp_binary64_4221
1×pow1_binary64_4231 add-sqr-sqrt_binary64_4192 *-un-lft-identity_binary64_4170 frac-2neg_binary64_4181 associate-/l*_binary64_4115 div-inv_binary64_4167 times-frac_binary64_4176 add-log-exp_binary64_4209 associate-/r*_binary64_4114 clear-num_binary64_4169 add-cube-cbrt_binary64_4205
Counts
1 → 21
Calls

2 calls:

5.0ms
(/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
0.0ms
(/.f64 (*.f64 a1 a2) (*.f64 b1 b2))

series194.0ms (4%)

Counts
1 → 12
Calls

1 calls:

194.0ms
(/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
Compiler

Compiled 168 to 168 computations (0% saved)

simplify78.0ms (1.6%)

Algorithm
1×egg-herbie
Counts
33 → 33
Iterations

Useful iterations: 0 (68.0ms)

IterNodesCost
05076370

prune37.0ms (0.8%)

Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New27633
Fresh000
Picked101
Done000
Total28634
Error
0.0b
Counts
34 → 6
Compiler

Compiled 362 to 100 computations (72.4% saved)

localize6.0ms (0.1%)

Local error

Found 4 expressions with local error:

5.1b
(/.f64 (*.f64 a2 (/.f64 a1 b1)) b2)
5.1b
(*.f64 a2 (/.f64 a1 b1))
5.1b
(*.f64 a2 (/.f64 a1 b1))
5.1b
(/.f64 (*.f64 a2 (/.f64 a1 b1)) b2)

rewrite17.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
17×add-sqr-sqrt_binary64_4192
16×add-exp-log_binary64_4208 add-cbrt-cube_binary64_4206
13×associate-*r*_binary64_4110 times-frac_binary64_4176
12×*-un-lft-identity_binary64_4170 add-cube-cbrt_binary64_4205
5×cbrt-undiv_binary64_4204 div-exp_binary64_4221
4×pow1_binary64_4231 prod-exp_binary64_4219 cbrt-unprod_binary64_4203
3×associate-*l*_binary64_4111 associate-/r*_binary64_4114
2×associate-*r/_binary64_4112 div-inv_binary64_4167 add-log-exp_binary64_4209 unswap-sqr_binary64_4138
1×frac-2neg_binary64_4181 associate-/l*_binary64_4115 *-commutative_binary64_4101 pow-prod-down_binary64_4241 associate-/l/_binary64_4117 clear-num_binary64_4169
Counts
2 → 56
Calls

4 calls:

7.0ms
(*.f64 a2 (/.f64 a1 b1))
6.0ms
(/.f64 (*.f64 a2 (/.f64 a1 b1)) b2)
0.0ms
(*.f64 a2 (/.f64 a1 b1))
0.0ms
(/.f64 (*.f64 a2 (/.f64 a1 b1)) b2)

series293.0ms (6.1%)

Counts
2 → 21
Calls

2 calls:

193.0ms
(/.f64 (*.f64 a2 (/.f64 a1 b1)) b2)
100.0ms
(*.f64 a2 (/.f64 a1 b1))
Compiler

Compiled 294 to 294 computations (0% saved)

simplify85.0ms (1.7%)

Algorithm
1×egg-herbie
Counts
77 → 77
Iterations

Useful iterations: 0 (71.0ms)

IterNodesCost
04965800
14965800

prune57.0ms (1.2%)

Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New74377
Fresh055
Picked011
Done000
Total74983
Error
0.0b
Counts
83 → 9
Compiler

Compiled 871 to 236 computations (72.9% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

9.8b
(*.f64 (/.f64 a1 b1) (/.f64 a2 b2))
9.8b
(*.f64 (/.f64 a1 b1) (/.f64 a2 b2))

rewrite19.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
27×add-sqr-sqrt_binary64_4192
22×times-frac_binary64_4176
15×*-un-lft-identity_binary64_4170 add-cube-cbrt_binary64_4205
13×associate-*l*_binary64_4111 add-exp-log_binary64_4208 associate-*r*_binary64_4110 add-cbrt-cube_binary64_4206
4×prod-exp_binary64_4219 cbrt-unprod_binary64_4203 cbrt-undiv_binary64_4204 unswap-sqr_binary64_4138 div-exp_binary64_4221
3×pow1_binary64_4231
2×div-inv_binary64_4167
1×frac-times_binary64_4180 associate-*r/_binary64_4112 associate-*l/_binary64_4113 *-commutative_binary64_4101 pow-prod-down_binary64_4241 add-log-exp_binary64_4209
Counts
1 → 50
Calls

2 calls:

11.0ms
(*.f64 (/.f64 a1 b1) (/.f64 a2 b2))
0.0ms
(*.f64 (/.f64 a1 b1) (/.f64 a2 b2))

series192.0ms (4%)

Counts
1 → 12
Calls

1 calls:

192.0ms
(*.f64 (/.f64 a1 b1) (/.f64 a2 b2))
Compiler

Compiled 168 to 168 computations (0% saved)

simplify94.0ms (1.9%)

Algorithm
1×egg-herbie
Counts
62 → 62
Iterations

Useful iterations: 0 (79.0ms)

IterNodesCost
04985803
14985803

prune39.0ms (0.8%)

Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New60262
Fresh257
Picked011
Done011
Total62971
Error
0b
Counts
71 → 9
Compiler

Compiled 806 to 208 computations (74.2% saved)

localize6.0ms (0.1%)

Local error

Found 4 expressions with local error:

6.5b
(/.f64 (*.f64 a1 (/.f64 a2 b2)) b1)
3.6b
(*.f64 a1 (/.f64 a2 b2))
3.6b
(*.f64 a1 (/.f64 a2 b2))
6.5b
(/.f64 (*.f64 a1 (/.f64 a2 b2)) b1)

rewrite17.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
17×add-sqr-sqrt_binary64_4192
16×add-exp-log_binary64_4208 add-cbrt-cube_binary64_4206
13×associate-*r*_binary64_4110 times-frac_binary64_4176
12×*-un-lft-identity_binary64_4170 add-cube-cbrt_binary64_4205
5×cbrt-undiv_binary64_4204 div-exp_binary64_4221
4×pow1_binary64_4231 prod-exp_binary64_4219 cbrt-unprod_binary64_4203
3×associate-*l*_binary64_4111 associate-/r*_binary64_4114
2×associate-*r/_binary64_4112 div-inv_binary64_4167 add-log-exp_binary64_4209 unswap-sqr_binary64_4138
1×frac-2neg_binary64_4181 associate-/l*_binary64_4115 *-commutative_binary64_4101 pow-prod-down_binary64_4241 associate-/l/_binary64_4117 clear-num_binary64_4169
Counts
2 → 56
Calls

4 calls:

7.0ms
(*.f64 a1 (/.f64 a2 b2))
6.0ms
(/.f64 (*.f64 a1 (/.f64 a2 b2)) b1)
0.0ms
(*.f64 a1 (/.f64 a2 b2))
0.0ms
(/.f64 (*.f64 a1 (/.f64 a2 b2)) b1)

series292.0ms (6.1%)

Counts
2 → 21
Calls

2 calls:

193.0ms
(/.f64 (*.f64 a1 (/.f64 a2 b2)) b1)
99.0ms
(*.f64 a1 (/.f64 a2 b2))
Compiler

Compiled 294 to 294 computations (0% saved)

simplify104.0ms (2.1%)

Algorithm
1×egg-herbie
Counts
77 → 77
Iterations

Useful iterations: 0 (86.0ms)

IterNodesCost
04958800
14958800

prune40.0ms (0.8%)

Pruning

9 alts after pruning (6 fresh and 3 done)

PrunedKeptTotal
New77077
Fresh066
Picked011
Done022
Total77986
Error
0b
Counts
86 → 9
Compiler

Compiled 788 to 171 computations (78.3% saved)

simplify7.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
091362
191362

regimes635.0ms (13.1%)

Compiler

Compiled 2057 to 1851 computations (10% saved)

bsearch1.0ms (0%)

Compiler

Compiled 7 to 7 computations (0% saved)

regimes219.0ms (4.5%)

Compiler

Compiled 297 to 401 computations (-35% saved)

bsearch1.0ms (0%)

Compiler

Compiled 3 to 5 computations (-66.7% saved)

regimes178.0ms (3.7%)

Compiler

Compiled 185 to 289 computations (-56.2% saved)

bsearch1.0ms (0%)

Compiler

Compiled 3 to 5 computations (-66.7% saved)

regimes159.0ms (3.3%)

Compiler

Compiled 150 to 254 computations (-69.3% saved)

bsearch1.0ms (0%)

Compiler

Compiled 3 to 5 computations (-66.7% saved)

regimes92.0ms (1.9%)

Compiler

Compiled 76 to 148 computations (-94.7% saved)

bsearch59.0ms (1.2%)

Steps
ItersRangePoint
7
5.385331084834548e+219
1.07062359060359e+222
1.3489837604290348e+221
5
1.835117089628518e-290
4.201614405553779e-290
2.0528549141908153e-290
7
-6.300784487523293e+21
-3.8889536766364176e+20
-2.7330709144371525e+21
8
-8.639330397072891e+172
-2.171119254610367e+170
-4.86690608892203e+172
Compiler

Compiled 1 to 4 computations (-300% saved)

regimes39.0ms (0.8%)

Compiler

Compiled 48 to 120 computations (-150% saved)

bsearch0.0ms (0%)

regimes35.0ms (0.7%)

Accuracy

Total 3.4b remaining (99.9%)

Threshold costs 0b (0%)

Compiler

Compiled 20 to 92 computations (-360% saved)

bsearch10.0ms (0.2%)

Compiler

Compiled 312 to 140 computations (55.1% saved)

simplify8.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
0105410
1105410

end0.0ms (0%)

sample1.1s (22.7%)

Algorithm
1×intervals
Results
236.0ms8000×body128valid
51.0ms1806×body128invalid
Compiler

Compiled 540 to 377 computations (30.2% saved)

Pareto

0.7480671675120502

Profiling

Loading profile data...