Details

Time bar (total: 5.7s)

analyze1.4s (24.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)

sample37.0ms (0.7%)

Algorithm
1×intervals
Results
12.0ms256×body128valid
9.0ms62×body128invalid
Compiler

Compiled 15 to 19 computations (-26.7% saved)

simplify268.0ms (4.7%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
06810
16810

prune3.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 12.8b

Counts
2 → 1
Compiler

Compiled 14 to 14 computations (0% saved)

localize10.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

rewrite14.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
13×add-exp-log_binary64_2808 add-cbrt-cube_binary64_2806
4×cbrt-unprod_binary64_2803 cbrt-undiv_binary64_2804 div-exp_binary64_2821 prod-exp_binary64_2819
1×frac-2neg_binary64_2784 times-frac_binary64_2779 pow1_binary64_2831 div-inv_binary64_2770 associate-/r*_binary64_2719 add-cube-cbrt_binary64_2805 add-log-exp_binary64_2809 add-sqr-sqrt_binary64_2794 clear-num_binary64_2772 *-un-lft-identity_binary64_2773 associate-/l*_binary64_2720
Counts
1 → 21
Calls

1 calls:

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

series119.0ms (2.1%)

Counts
1 → 3
Calls

1 calls:

119.0ms
(/.f64 (*.f64 a1 a2) (*.f64 b1 b2))

simplify126.0ms (2.2%)

Algorithm
1×egg-herbie
Counts
24 → 24
Iterations

Useful iterations: 0 (110.0ms)

IterNodesCost
04996280
14996280

prune44.0ms (0.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New19524
Fresh000
Picked011
Done000
Total19625

Merged error: 0.0b

Counts
25 → 6
Compiler

Compiled 281 to 90 computations (68% saved)

localize11.0ms (0.2%)

Local error

Found 2 expressions with local error:

3.6b
(/.f64 b1 (/.f64 a2 b2))
6.0b
(/.f64 a1 (/.f64 b1 (/.f64 a2 b2)))

rewrite119.0ms (2.1%)

Algorithm
1×rewrite-expression-head
Rules
471×times-frac_binary64_2779
229×add-cube-cbrt_binary64_2805 add-sqr-sqrt_binary64_2794 *-un-lft-identity_binary64_2773
57×associate-/r*_binary64_2719
22×div-inv_binary64_2770
16×add-exp-log_binary64_2808 add-cbrt-cube_binary64_2806
9×cbrt-undiv_binary64_2804 div-exp_binary64_2821
6×associate-/r/_binary64_2721 associate-/l*_binary64_2720
2×frac-2neg_binary64_2784 pow1_binary64_2831 add-log-exp_binary64_2809 clear-num_binary64_2772
Counts
2 → 266
Calls

2 calls:

32.0ms
(/.f64 a1 (/.f64 b1 (/.f64 a2 b2)))
13.0ms
(/.f64 b1 (/.f64 a2 b2))

series203.0ms (3.6%)

Counts
2 → 6
Calls

2 calls:

116.0ms
(/.f64 a1 (/.f64 b1 (/.f64 a2 b2)))
87.0ms
(/.f64 b1 (/.f64 a2 b2))

simplify249.0ms (4.4%)

Algorithm
1×egg-herbie
Counts
272 → 272
Iterations

Useful iterations: 0 (133.0ms)

IterNodesCost
049616175
149616175

prune359.0ms (6.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New2684272
Fresh314
Picked101
Done011
Total2726278

Merged error: 0b

Counts
278 → 6
Compiler

Compiled 4749 to 794 computations (83.3% saved)

localize11.0ms (0.2%)

Local error

Found 2 expressions with local error:

3.8b
(*.f64 b1 (/.f64 b2 a2))
6.0b
(/.f64 a1 (*.f64 b1 (/.f64 b2 a2)))

rewrite36.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
17×add-sqr-sqrt_binary64_2794
16×add-exp-log_binary64_2808 add-cbrt-cube_binary64_2806
13×times-frac_binary64_2779 associate-*r*_binary64_2715
12×add-cube-cbrt_binary64_2805 *-un-lft-identity_binary64_2773
5×cbrt-undiv_binary64_2804 div-exp_binary64_2821
4×cbrt-unprod_binary64_2803 pow1_binary64_2831 prod-exp_binary64_2819
3×associate-*l*_binary64_2716 associate-/l*_binary64_2720
2×unswap-sqr_binary64_2741 div-inv_binary64_2770 add-log-exp_binary64_2809 associate-*r/_binary64_2717
1×frac-2neg_binary64_2784 associate-/r/_binary64_2721 pow-prod-down_binary64_2841 associate-/r*_binary64_2719 *-commutative_binary64_2706 clear-num_binary64_2772
Counts
2 → 56
Calls

2 calls:

15.0ms
(*.f64 b1 (/.f64 b2 a2))
13.0ms
(/.f64 a1 (*.f64 b1 (/.f64 b2 a2)))

series190.0ms (3.3%)

Counts
2 → 6
Calls

2 calls:

129.0ms
(/.f64 a1 (*.f64 b1 (/.f64 b2 a2)))
60.0ms
(*.f64 b1 (/.f64 b2 a2))

simplify144.0ms (2.5%)

Algorithm
1×egg-herbie
Counts
62 → 62
Iterations

Useful iterations: 0 (121.0ms)

IterNodesCost
04913672
14913672

prune66.0ms (1.1%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New62062
Fresh044
Picked011
Done011
Total62668

Merged error: 0b

Counts
68 → 6
Compiler

Compiled 715 to 204 computations (71.5% saved)

localize11.0ms (0.2%)

Local error

Found 2 expressions with local error:

5.6b
(/.f64 a2 (*.f64 b1 b2))
6.3b
(*.f64 a1 (/.f64 a2 (*.f64 b1 b2)))

rewrite29.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
16×add-exp-log_binary64_2808 add-cbrt-cube_binary64_2806
9×add-sqr-sqrt_binary64_2794
7×add-cube-cbrt_binary64_2805 associate-*r*_binary64_2715 *-un-lft-identity_binary64_2773
6×times-frac_binary64_2779
5×cbrt-unprod_binary64_2803 prod-exp_binary64_2819
4×cbrt-undiv_binary64_2804 pow1_binary64_2831 div-exp_binary64_2821
3×associate-*l*_binary64_2716 associate-/l*_binary64_2720
2×div-inv_binary64_2770 add-log-exp_binary64_2809
1×frac-2neg_binary64_2784 pow-prod-down_binary64_2841 unswap-sqr_binary64_2741 associate-/r*_binary64_2719 *-commutative_binary64_2706 clear-num_binary64_2772 associate-*r/_binary64_2717
Counts
2 → 48
Calls

2 calls:

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

series176.0ms (3.1%)

Counts
2 → 6
Calls

2 calls:

111.0ms
(*.f64 a1 (/.f64 a2 (*.f64 b1 b2)))
65.0ms
(/.f64 a2 (*.f64 b1 b2))

simplify163.0ms (2.9%)

Algorithm
1×egg-herbie
Counts
54 → 54
Iterations

Useful iterations: 0 (142.0ms)

IterNodesCost
04971570
14971570

prune59.0ms (1%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New54054
Fresh033
Picked011
Done022
Total54660

Merged error: 0b

Counts
60 → 6
Compiler

Compiled 572 to 132 computations (76.9% saved)

regimes561.0ms (9.8%)

Compiler

Compiled 362 to 398 computations (-9.9% saved)

bsearch1.0ms (0%)

Compiler

Compiled 7 to 7 computations (0% saved)

simplify6.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
04192
14192

end0.0ms (0%)

sample1.3s (22.3%)

Algorithm
1×intervals
Results
443.0ms8000×body128valid
104.0ms1873×body128invalid
Compiler

Compiled 121 to 89 computations (26.4% saved)

Profiling

Loading profile data...