Details

Time bar (total: 8.5s)

analyze586.0ms (6.9%)

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)

sample27.0ms (0.3%)

Algorithm
1×intervals
Results
7.0ms256×body128valid
1.0ms57×body128invalid
Compiler

Compiled 15 to 19 computations (-26.7% saved)

simplify100.0ms (1.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
06810
16810

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 14 to 14 computations (0% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite31.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Error
0.1b
Rules
13×add-exp-log_binary64_5913 add-cbrt-cube_binary64_5911
4×prod-exp_binary64_5924 div-exp_binary64_5926 cbrt-undiv_binary64_5909 cbrt-unprod_binary64_5908
1×pow1_binary64_5936 add-log-exp_binary64_5914 add-cube-cbrt_binary64_5910 add-sqr-sqrt_binary64_5897 frac-2neg_binary64_5886 times-frac_binary64_5881 *-un-lft-identity_binary64_5875 clear-num_binary64_5874 div-inv_binary64_5872 associate-/l*_binary64_5820 associate-/r*_binary64_5819
Counts
1 → 21
Calls

1 calls:

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

Compiled 291 to 77 computations (73.5% saved)

series194.0ms (2.3%)

Error
10.0b
Counts
1 → 12
Calls

1 calls:

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

Compiled 252 to 175 computations (30.6% saved)

simplify72.0ms (0.9%)

Algorithm
1×egg-herbie
Counts
33 → 33
Iterations

Useful iterations: 0 (64.0ms)

IterNodesCost
05076370

prune29.0ms (0.3%)

Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New25833
Fresh000
Picked011
Done000
Total25934
Error
0.0b
Counts
34 → 9
Compiler

Compiled 389 to 119 computations (69.4% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.2b
(/.f64 1 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)))
9.7b
(/.f64 (*.f64 b1 b2) (*.f64 a1 a2))

rewrite75.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
58×add-exp-log_binary64_5913
32×add-cbrt-cube_binary64_5911
26×div-exp_binary64_5926
20×times-frac_binary64_5881
16×prod-exp_binary64_5924
13×cbrt-undiv_binary64_5909
12×add-cube-cbrt_binary64_5910 add-sqr-sqrt_binary64_5897 *-un-lft-identity_binary64_5875
8×cbrt-unprod_binary64_5908
6×div-inv_binary64_5872 associate-/r*_binary64_5819
5×1-exp_binary64_5919 rec-exp_binary64_5925
4×associate-/l*_binary64_5820
3×pow1_binary64_5936
2×add-log-exp_binary64_5914 frac-2neg_binary64_5886 clear-num_binary64_5874
1×inv-pow_binary64_5960 pow-flip_binary64_5949 associate-/r/_binary64_5821
Counts
2 → 77
Calls

2 calls:

7.0ms
(/.f64 1 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)))
5.0ms
(/.f64 (*.f64 b1 b2) (*.f64 a1 a2))
Compiler

Compiled 1277 to 418 computations (67.3% saved)

series381.0ms (4.5%)

Error
0.0b
Counts
2 → 24
Calls

2 calls:

186.0ms
(/.f64 1 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)))
185.0ms
(/.f64 (*.f64 b1 b2) (*.f64 a1 a2))
Compiler

Compiled 576 to 416 computations (27.8% saved)

simplify73.0ms (0.9%)

Algorithm
1×egg-herbie
Counts
101 → 101
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
050771335

prune65.0ms (0.8%)

Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New974101
Fresh257
Picked101
Done011
Total10010110
Error
0.0b
Counts
110 → 10
Compiler

Compiled 1250 to 353 computations (71.8% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.2b
(/.f64 1 (/.f64 b1 (/.f64 a1 (/.f64 b2 a2))))
5.1b
(/.f64 b1 (/.f64 a1 (/.f64 b2 a2)))
5.7b
(/.f64 a1 (/.f64 b2 a2))

rewrite1.2s (13.5%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
2202×times-frac_binary64_5881
968×add-cube-cbrt_binary64_5910 add-sqr-sqrt_binary64_5897 *-un-lft-identity_binary64_5875
194×associate-/r*_binary64_5819
75×div-inv_binary64_5872
51×add-exp-log_binary64_5913
35×div-exp_binary64_5926
31×add-cbrt-cube_binary64_5911
23×associate-/r/_binary64_5821
19×cbrt-undiv_binary64_5909
9×associate-/l*_binary64_5820
4×pow1_binary64_5936 1-exp_binary64_5919 rec-exp_binary64_5925
3×add-log-exp_binary64_5914 frac-2neg_binary64_5886 clear-num_binary64_5874
1×inv-pow_binary64_5960 pow-flip_binary64_5949
Counts
3 → 846
Calls

3 calls:

35.0ms
(/.f64 1 (/.f64 b1 (/.f64 a1 (/.f64 b2 a2))))
17.0ms
(/.f64 b1 (/.f64 a1 (/.f64 b2 a2)))
6.0ms
(/.f64 a1 (/.f64 b2 a2))
Compiler

Compiled 21282 to 7016 computations (67% saved)

series483.0ms (5.7%)

Error
0.0b
Counts
3 → 33
Calls

3 calls:

191.0ms
(/.f64 b1 (/.f64 a1 (/.f64 b2 a2)))
186.0ms
(/.f64 1 (/.f64 b1 (/.f64 a1 (/.f64 b2 a2))))
92.0ms
(/.f64 a1 (/.f64 b2 a2))
Compiler

Compiled 819 to 598 computations (27% saved)

simplify244.0ms (2.9%)

Algorithm
1×egg-herbie
Counts
879 → 879
Iterations

Useful iterations: 0 (34.0ms)

IterNodesCost
0537624941

prune740.0ms (8.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New8754879
Fresh538
Picked101
Done011
Total8818889
Error
0b
Counts
889 → 8
Compiler

Compiled 19036 to 4358 computations (77.1% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

10.7b
(/.f64 (/.f64 a1 b2) (/.f64 b1 a2))

rewrite188.0ms (2.2%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
421×times-frac_binary64_5881
197×add-cube-cbrt_binary64_5910 add-sqr-sqrt_binary64_5897 *-un-lft-identity_binary64_5875
29×div-inv_binary64_5872
13×add-exp-log_binary64_5913 add-cbrt-cube_binary64_5911 associate-/l*_binary64_5820 associate-/r*_binary64_5819
8×div-exp_binary64_5926 cbrt-undiv_binary64_5909
1×pow1_binary64_5936 add-log-exp_binary64_5914 frac-2neg_binary64_5886 clear-num_binary64_5874 associate-/l/_binary64_5822 associate-/r/_binary64_5821
Counts
1 → 215
Calls

1 calls:

11.0ms
(/.f64 (/.f64 a1 b2) (/.f64 b1 a2))
Compiler

Compiled 4421 to 1032 computations (76.7% saved)

series184.0ms (2.2%)

Error
0b
Counts
1 → 12
Calls

1 calls:

180.0ms
(/.f64 (/.f64 a1 b2) (/.f64 b1 a2))
Compiler

Compiled 252 to 175 computations (30.6% saved)

simplify136.0ms (1.6%)

Algorithm
1×egg-herbie
Counts
227 → 227
Iterations

Useful iterations: 0 (83.0ms)

IterNodesCost
049765829
149765829

prune136.0ms (1.6%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New2261227
Fresh246
Picked011
Done011
Total2287235
Error
0b
Counts
235 → 7
Compiler

Compiled 4061 to 632 computations (84.4% saved)

regimes1.7s (20%)

Accuracy

Total 2.7b remaining (100%)

Threshold costs 0b (0%)

Compiler

Compiled 9657 to 7851 computations (18.7% saved)

bsearch5.0ms (0.1%)

Compiler

Compiled 7 to 7 computations (0% saved)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
036125
136125

end0.0ms (0%)

sample1.9s (22%)

Algorithm
1×intervals
Results
229.0ms8000×body128valid
54.0ms1892×body128invalid
Compiler

Compiled 1385 to 1099 computations (20.6% saved)

Profiling

Loading profile data...