Details

Time bar (total: 11.5s)

analyze1.5s (12.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 12 to 8 computations (33.3% saved)

sample1.9s (16.9%)

Symmetry

(sort a1 a2)

(sort b1 b2)

Results
1.5s8256×body128valid
345.0ms1857×body128invalid
Compiler

Compiled 35 to 23 computations (34.3% saved)

simplify13.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
14×associate-/l*_binary64
9×associate-*r/_binary64
9×associate-/r/_binary64
7×*-commutative_binary64
6×associate-/r*_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
11710
23810
36310
46910
56810
66810

prune3.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
14.1b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶14.1b
(/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
Compiler

Compiled 33 to 21 computations (36.4% saved)

localize12.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓13.8b
(/.f64 (*.f64 a1 a2) (*.f64 b1 b2))

series57.0ms (0.5%)

Counts
1 → 48
Calls

1 calls:

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

rewrite87.0ms (0.8%)

Algorithm
2×batch-egg-rewrite
Rules
556×log-prod_binary64
237×pow2_binary64
170×pow1/3_binary64
161×expm1-udef_binary64
161×log1p-udef_binary64
Counts
1 → 59
Calls

1 calls:

85.0ms
(/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
116910
2244510
3500410
000
100

simplify41.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
14×associate-/l*_binary64
9×associate-*r/_binary64
9×associate-/r/_binary64
7×*-commutative_binary64
6×associate-/r*_binary64
Counts
107 → 60
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
08480
117480
238480
363480
469480
568480
668480

prune70.0ms (0.6%)

Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New54660
Fresh000
Picked101
Done000
Total55661
Error
0.0b
Counts
61 → 6
Alt Table
StatusErrorProgram
12.4b
(*.f64 a2 (*.f64 a1 (/.f64 1 (*.f64 b1 b2))))
10.9b
(*.f64 a1 (/.f64 1 (/.f64 b1 (/.f64 a2 b2))))
14.2b
(pow.f64 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)) -1)
13.2b
(*.f64 (/.f64 a1 b2) (/.f64 a2 b1))
14.5b
(*.f64 (/.f64 (*.f64 a1 a2) b1) (/.f64 1 b2))
▶10.0b
(*.f64 (/.f64 a1 b1) (/.f64 a2 b2))
Compiler

Compiled 876 to 317 computations (63.8% saved)

localize9.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series59.0ms (0.5%)

Counts
1 → 48
Calls

1 calls:

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

rewrite80.0ms (0.7%)

Algorithm
2×batch-egg-rewrite
Rules
521×log-prod_binary64
250×pow2_binary64
178×pow1/3_binary64
169×expm1-udef_binary64
169×log1p-udef_binary64
Counts
1 → 64
Calls

1 calls:

77.0ms
(*.f64 (/.f64 a1 b1) (/.f64 a2 b2))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
117510
2251010
3511510
000
100

simplify41.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
14×associate-/l*_binary64
9×associate-*r/_binary64
9×associate-/r/_binary64
7×*-commutative_binary64
6×associate-/r*_binary64
Counts
112 → 65
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
08480
117480
238480
363480
469480
568480
668480

prune83.0ms (0.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New60565
Fresh325
Picked011
Done000
Total63871
Error
0b
Counts
71 → 8
Alt Table
StatusErrorProgram
12.4b
(*.f64 a2 (*.f64 a1 (/.f64 1 (*.f64 b1 b2))))
13.6b
(/.f64 (*.f64 a1 (/.f64 a2 b2)) b1)
12.3b
(/.f64 (*.f64 (/.f64 a1 b1) a2) b2)
▶10.1b
(/.f64 (/.f64 a2 b2) (/.f64 b1 a1))
11.6b
(/.f64 a1 (/.f64 (*.f64 b1 b2) a2))
14.5b
(*.f64 (/.f64 (*.f64 a1 a2) b1) (/.f64 1 b2))
✓10.0b
(*.f64 (/.f64 a1 b1) (/.f64 a2 b2))
10.6b
(pow.f64 (cbrt.f64 (*.f64 (/.f64 a1 b1) (/.f64 a2 b2))) 3)
Compiler

Compiled 816 to 320 computations (60.8% saved)

localize10.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓9.8b
(/.f64 (/.f64 a2 b2) (/.f64 b1 a1))

series58.0ms (0.5%)

Counts
1 → 48
Calls

1 calls:

58.0ms
(/.f64 (/.f64 a2 b2) (/.f64 b1 a1))

rewrite123.0ms (1.1%)

Algorithm
2×batch-egg-rewrite
Rules
561×log-prod_binary64
397×prod-diff_binary64
192×log-div_binary64
171×expm1-udef_binary64
171×log1p-udef_binary64
Counts
1 → 57
Calls

1 calls:

121.0ms
(/.f64 (/.f64 a2 b2) (/.f64 b1 a1))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
117810
2265410
3496210
4579610
000
100

simplify40.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
14×associate-/l*_binary64
9×associate-*r/_binary64
9×associate-/r/_binary64
7×*-commutative_binary64
6×associate-/r*_binary64
Counts
105 → 58
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
08480
117480
238480
363480
469480
568480
668480

prune69.0ms (0.6%)

Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New58058
Fresh066
Picked011
Done011
Total58866
Error
0b
Counts
66 → 8
Alt Table
StatusErrorProgram
12.4b
(*.f64 a2 (*.f64 a1 (/.f64 1 (*.f64 b1 b2))))
13.6b
(/.f64 (*.f64 a1 (/.f64 a2 b2)) b1)
12.3b
(/.f64 (*.f64 (/.f64 a1 b1) a2) b2)
✓10.1b
(/.f64 (/.f64 a2 b2) (/.f64 b1 a1))
11.6b
(/.f64 a1 (/.f64 (*.f64 b1 b2) a2))
14.5b
(*.f64 (/.f64 (*.f64 a1 a2) b1) (/.f64 1 b2))
✓10.0b
(*.f64 (/.f64 a1 b1) (/.f64 a2 b2))
▶10.6b
(pow.f64 (cbrt.f64 (*.f64 (/.f64 a1 b1) (/.f64 a2 b2))) 3)
Compiler

Compiled 886 to 337 computations (62% saved)

localize14.0ms (0.1%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.6b
(pow.f64 (cbrt.f64 (*.f64 (/.f64 a1 b1) (/.f64 a2 b2))) 3)
9.7b
(*.f64 (/.f64 a1 b1) (/.f64 a2 b2))
✓12.5b
(cbrt.f64 (*.f64 (/.f64 a1 b1) (/.f64 a2 b2)))

series4.6s (39.8%)

Counts
2 → 96
Calls

2 calls:

2.5s
(cbrt.f64 (*.f64 (/.f64 a1 b1) (/.f64 a2 b2)))
2.1s
(pow.f64 (cbrt.f64 (*.f64 (/.f64 a1 b1) (/.f64 a2 b2))) 3)

rewrite85.0ms (0.7%)

Algorithm
2×batch-egg-rewrite
Rules
598×log-prod_binary64
199×expm1-udef_binary64
199×log1p-udef_binary64
179×log-pow_binary64
163×log-div_binary64
Counts
2 → 118
Calls

2 calls:

81.0ms
(pow.f64 (cbrt.f64 (*.f64 (/.f64 a1 b1) (/.f64 a2 b2))) 3)
80.0ms
(cbrt.f64 (*.f64 (/.f64 a1 b1) (/.f64 a2 b2)))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01122
122422
2297222
3517922
000
100

simplify154.0ms (1.3%)

Algorithm
1×egg-herbie
Rules
603×exp-sum_binary64
455×fma-def_binary64
342×fma-neg_binary64
280×exp-diff_binary64
228×distribute-rgt-in_binary64
Counts
214 → 150
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01012176
12612176
25161920
316781264
441711264
551391264

prune208.0ms (1.8%)

Pruning

8 alts after pruning (5 fresh and 3 done)

PrunedKeptTotal
New2150215
Fresh055
Picked011
Done022
Total2158223
Error
0b
Counts
223 → 8
Alt Table
StatusErrorProgram
12.4b
(*.f64 a2 (*.f64 a1 (/.f64 1 (*.f64 b1 b2))))
13.6b
(/.f64 (*.f64 a1 (/.f64 a2 b2)) b1)
12.3b
(/.f64 (*.f64 (/.f64 a1 b1) a2) b2)
✓10.1b
(/.f64 (/.f64 a2 b2) (/.f64 b1 a1))
11.6b
(/.f64 a1 (/.f64 (*.f64 b1 b2) a2))
14.5b
(*.f64 (/.f64 (*.f64 a1 a2) b1) (/.f64 1 b2))
✓10.0b
(*.f64 (/.f64 a1 b1) (/.f64 a2 b2))
✓10.6b
(pow.f64 (cbrt.f64 (*.f64 (/.f64 a1 b1) (/.f64 a2 b2))) 3)
Compiler

Compiled 2935 to 1061 computations (63.9% saved)

regimes1.4s (11.8%)

Accuracy

Total 2.3b remaining (99.1%)

Threshold costs 0b (0%)

Counts
29 → 5
Compiler

Compiled 2961 to 1857 computations (37.3% saved)

bsearch2.0ms (0%)

Compiler

Compiled 11 to 7 computations (36.4% saved)

simplify7.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
4×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
029110
133110
233110

end815.0ms (7.1%)

Compiler

Compiled 569 to 225 computations (60.5% saved)

Profiling

Loading profile data...