Details

Time bar (total: 5.8s)

analyze939.0ms (16.2%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
022870
122870
044
144
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
Symmetry

(sort a1 a2)

(sort b1 b2)

Compiler

Compiled 8 to 8 computations (0% saved)

sample39.0ms (0.7%)

Algorithm
1×intervals
Results
12.0ms256×body128valid
2.0ms58×body128invalid
Compiler

Compiled 15 to 19 computations (-26.7% saved)

simplify8.0ms (0.1%)

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
9.2b
Counts
2 → 1
Compiler

Compiled 14 to 14 computations (0% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite28.0ms (0.5%)

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)

series208.0ms (3.6%)

Error
9.2b
Counts
1 → 12
Calls

1 calls:

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

Compiled 252 to 175 computations (30.6% saved)

simplify73.0ms (1.3%)

Algorithm
1×egg-herbie
Counts
33 → 33
Iterations

Useful iterations: 0 (64.0ms)

IterNodesCost
05076370

prune26.0ms (0.4%)

Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New26733
Fresh000
Picked101
Done000
Total27734
Error
0.0b
Counts
34 → 7
Compiler

Compiled 363 to 109 computations (70% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

4.2b
(*.f64 a2 (/.f64 a1 b1))
5.5b
(/.f64 (*.f64 a2 (/.f64 a1 b1)) b2)

rewrite62.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
17×add-sqr-sqrt_binary64_5897
16×add-exp-log_binary64_5913 add-cbrt-cube_binary64_5911
13×times-frac_binary64_5881 associate-*r*_binary64_5815
12×add-cube-cbrt_binary64_5910 *-un-lft-identity_binary64_5875
5×div-exp_binary64_5926 cbrt-undiv_binary64_5909
4×pow1_binary64_5936 prod-exp_binary64_5924 cbrt-unprod_binary64_5908
3×associate-/r*_binary64_5819 associate-*l*_binary64_5816
2×add-log-exp_binary64_5914 div-inv_binary64_5872 associate-*r/_binary64_5817 unswap-sqr_binary64_5843
1×frac-2neg_binary64_5886 clear-num_binary64_5874 associate-/l/_binary64_5822 associate-/l*_binary64_5820 pow-prod-down_binary64_5946 *-commutative_binary64_5806
Counts
2 → 56
Calls

2 calls:

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

Compiled 754 to 218 computations (71.1% saved)

series293.0ms (5.1%)

Error
0.0b
Counts
2 → 21
Calls

2 calls:

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

Compiled 441 to 303 computations (31.3% saved)

simplify85.0ms (1.5%)

Algorithm
1×egg-herbie
Counts
77 → 77
Iterations

Useful iterations: 0 (70.0ms)

IterNodesCost
04965800
14965800

prune51.0ms (0.9%)

Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New72577
Fresh246
Picked011
Done000
Total741084
Error
0b
Counts
84 → 10
Compiler

Compiled 873 to 248 computations (71.6% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

3.7b
(*.f64 (*.f64 a1 a2) (/.f64 1 b1))
5.5b
(/.f64 (*.f64 (*.f64 a1 a2) (/.f64 1 b1)) b2)

rewrite75.0ms (1.3%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
56×add-exp-log_binary64_5913
32×add-cbrt-cube_binary64_5911
24×prod-exp_binary64_5924
17×div-exp_binary64_5926
13×associate-*r*_binary64_5815
12×cbrt-unprod_binary64_5908 times-frac_binary64_5881
11×add-cube-cbrt_binary64_5910 add-sqr-sqrt_binary64_5897 *-un-lft-identity_binary64_5875
9×cbrt-undiv_binary64_5909
7×pow1_binary64_5936
4×1-exp_binary64_5919 rec-exp_binary64_5925
3×associate-/r*_binary64_5819 pow-prod-down_binary64_5946
2×add-log-exp_binary64_5914 div-inv_binary64_5872 un-div-inv_binary64_5873 associate-/l/_binary64_5822 associate-*r/_binary64_5817
1×frac-2neg_binary64_5886 clear-num_binary64_5874 associate-/l*_binary64_5820 associate-*l*_binary64_5816 *-commutative_binary64_5806
Counts
2 → 71
Calls

2 calls:

9.0ms
(/.f64 (*.f64 (*.f64 a1 a2) (/.f64 1 b1)) b2)
8.0ms
(*.f64 (*.f64 a1 a2) (/.f64 1 b1))
Compiler

Compiled 1128 to 542 computations (52% saved)

series286.0ms (4.9%)

Error
0b
Counts
2 → 21
Calls

2 calls:

182.0ms
(/.f64 (*.f64 (*.f64 a1 a2) (/.f64 1 b1)) b2)
96.0ms
(*.f64 (*.f64 a1 a2) (/.f64 1 b1))
Compiler

Compiled 441 to 303 computations (31.3% saved)

simplify72.0ms (1.2%)

Algorithm
1×egg-herbie
Counts
92 → 92
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
04949941
14949941

prune53.0ms (0.9%)

Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New92092
Fresh088
Picked011
Done011
Total9210102
Error
0b
Counts
102 → 10
Compiler

Compiled 1007 to 304 computations (69.8% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite198.0ms (3.4%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
234×times-frac_binary64_5881
104×add-cube-cbrt_binary64_5910 add-sqr-sqrt_binary64_5897 *-un-lft-identity_binary64_5875
51×add-exp-log_binary64_5913
36×associate-/r*_binary64_5819
31×add-cbrt-cube_binary64_5911
30×div-exp_binary64_5926
23×div-inv_binary64_5872
16×cbrt-undiv_binary64_5909
7×associate-/l*_binary64_5820
6×associate-/r/_binary64_5821
5×prod-exp_binary64_5924
4×pow1_binary64_5936 1-exp_binary64_5919 rec-exp_binary64_5925
3×add-log-exp_binary64_5914 cbrt-unprod_binary64_5908 frac-2neg_binary64_5886 clear-num_binary64_5874
1×inv-pow_binary64_5960 pow-flip_binary64_5949
Counts
3 → 205
Calls

3 calls:

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

Compiled 3865 to 1338 computations (65.4% saved)

series492.0ms (8.5%)

Error
0b
Counts
3 → 33
Calls

3 calls:

207.0ms
(/.f64 b2 (/.f64 (*.f64 a1 a2) b1))
177.0ms
(/.f64 1 (/.f64 b2 (/.f64 (*.f64 a1 a2) b1)))
93.0ms
(/.f64 (*.f64 a1 a2) b1)
Compiler

Compiled 819 to 598 computations (27% saved)

simplify109.0ms (1.9%)

Algorithm
1×egg-herbie
Counts
238 → 238
Iterations

Useful iterations: 0 (66.0ms)

IterNodesCost
049744117
149744117

prune139.0ms (2.4%)

Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New2371238
Fresh257
Picked011
Done112
Total2408248
Error
0b
Counts
248 → 8
Compiler

Compiled 3462 to 858 computations (75.2% saved)

regimes901.0ms (15.6%)

Accuracy

Total 3.2b remaining (99.9%)

Threshold costs 0b (0%)

Compiler

Compiled 3928 to 3036 computations (22.7% saved)

bsearch3.0ms (0.1%)

Compiler

Compiled 7 to 7 computations (0% saved)

simplify37.0ms (0.6%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
037116
137116
Compiler

Compiled 316 to 124 computations (60.8% saved)

end0.0ms (0%)

sample1.6s (27.4%)

Algorithm
1×intervals
Results
244.0ms8000×body128valid
57.0ms1862×body128invalid
Compiler

Compiled 584 to 428 computations (26.7% saved)

Profiling

Loading profile data...