Details

Time bar (total: 6.1s)

analyze1.5s (24.5%)

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.8s (28.6%)

Symmetry

(sort a1 a2)

(sort b1 b2)

Results
1.4s8256×body128valid
279.0ms1927×body128invalid
Compiler

Compiled 35 to 23 computations (34.3% saved)

simplify14.0ms (0.2%)

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
10.7b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶10.7b
(/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
Compiler

Compiled 33 to 21 computations (36.4% saved)

localize11.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series50.0ms (0.8%)

Counts
1 → 48
Calls

1 calls:

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

rewrite61.0ms (1%)

Algorithm
1×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:

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
116910
2244510
3500410

simplify36.0ms (0.6%)

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

prune86.0ms (1.4%)

Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New51960
Fresh000
Picked101
Done000
Total52961
Error
0.0b
Counts
61 → 9
Alt Table
StatusErrorProgram
10.3b
(*.f64 a2 (*.f64 a1 (/.f64 1 (*.f64 b1 b2))))
▶9.6b
(*.f64 a1 (/.f64 1 (/.f64 b1 (/.f64 a2 b2))))
35.6b
(*.f64 (/.f64 (sqrt.f64 (*.f64 a1 a2)) b1) (/.f64 (sqrt.f64 (*.f64 a1 a2)) b2))
13.2b
(*.f64 (/.f64 1 b1) (/.f64 (*.f64 a1 a2) b2))
10.0b
(*.f64 (/.f64 a1 (*.f64 b1 b2)) a2)
12.9b
(*.f64 (/.f64 a1 b2) (/.f64 a2 b1))
11.2b
(*.f64 (/.f64 (*.f64 a1 a2) b1) (/.f64 1 b2))
10.3b
(*.f64 (/.f64 a1 b1) (/.f64 a2 b2))
11.0b
(*.f64 (*.f64 a1 a2) (/.f64 1 (*.f64 b1 b2)))
Compiler

Compiled 958 to 367 computations (61.7% saved)

localize58.0ms (0.9%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.8b
(/.f64 1 (/.f64 b1 (/.f64 a2 b2)))
✓4.9b
(*.f64 a1 (/.f64 1 (/.f64 b1 (/.f64 a2 b2))))
✓5.1b
(/.f64 b1 (/.f64 a2 b2))

series123.0ms (2%)

Counts
3 → 120
Calls

3 calls:

62.0ms
(*.f64 a1 (/.f64 1 (/.f64 b1 (/.f64 a2 b2))))
36.0ms
(/.f64 1 (/.f64 b1 (/.f64 a2 b2)))
24.0ms
(/.f64 b1 (/.f64 a2 b2))

rewrite115.0ms (1.9%)

Algorithm
1×batch-egg-rewrite
Rules
606×log-prod_binary64
187×expm1-udef_binary64
187×log1p-udef_binary64
173×log-pow_binary64
164×log-div_binary64
Counts
3 → 123
Calls

3 calls:

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

Useful iterations: 1 (0.0ms)

IterNodesCost
01027
121424
2280424
3503724

simplify41.0ms (0.7%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
010984
121984
242984
364984
469984
568984
668984

prune100.0ms (1.6%)

Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New1243127
Fresh358
Picked101
Done000
Total1288136
Error
0b
Counts
136 → 8
Alt Table
StatusErrorProgram
12.9b
(*.f64 (/.f64 a1 b2) (/.f64 a2 b1))
9.5b
(/.f64 a1 (/.f64 b1 (/.f64 a2 b2)))
10.3b
(*.f64 (/.f64 a1 b1) (/.f64 a2 b2))
▶9.5b
(/.f64 a1 (/.f64 (*.f64 b2 b1) a2))
10.3b
(*.f64 a2 (*.f64 a1 (/.f64 1 (*.f64 b1 b2))))
13.2b
(*.f64 (/.f64 1 b1) (/.f64 (*.f64 a1 a2) b2))
10.0b
(*.f64 (/.f64 a1 (*.f64 b1 b2)) a2)
11.6b
(/.f64 (/.f64 a1 (/.f64 b1 a2)) b2)
Compiler

Compiled 1816 to 738 computations (59.4% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series47.0ms (0.8%)

Counts
2 → 48
Calls

2 calls:

32.0ms
(/.f64 a1 (/.f64 (*.f64 b2 b1) a2))
14.0ms
(/.f64 (*.f64 b2 b1) a2)

rewrite66.0ms (1.1%)

Algorithm
1×batch-egg-rewrite
Rules
543×log-prod_binary64
239×pow2_binary64
170×pow1/3_binary64
163×expm1-udef_binary64
163×log1p-udef_binary64
Counts
2 → 97
Calls

2 calls:

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0817
117217
2245817
3503817

simplify19.0ms (0.3%)

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
145 → 98
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
08480
117480
238480
363480
469480
568480
668480

prune66.0ms (1.1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New97198
Fresh167
Picked011
Done000
Total988106
Error
0b
Counts
106 → 8
Alt Table
StatusErrorProgram
10.3b
(*.f64 (/.f64 a1 b1) (/.f64 a2 b2))
✓9.5b
(/.f64 a1 (/.f64 (*.f64 b2 b1) a2))
10.3b
(*.f64 a2 (*.f64 a1 (/.f64 1 (*.f64 b1 b2))))
10.1b
(/.f64 a1 (*.f64 (/.f64 b2 a2) b1))
13.2b
(*.f64 (/.f64 1 b1) (/.f64 (*.f64 a1 a2) b2))
▶10.0b
(*.f64 (/.f64 a1 (*.f64 b1 b2)) a2)
11.6b
(/.f64 (/.f64 a1 (/.f64 b1 a2)) b2)
12.9b
(*.f64 (/.f64 a1 b2) (/.f64 a2 b1))
Compiler

Compiled 1359 to 494 computations (63.6% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series97.0ms (1.6%)

Counts
2 → 84
Calls

2 calls:

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

rewrite121.0ms (2%)

Algorithm
1×batch-egg-rewrite
Rules
867×log1p-expm1-u_binary64
867×expm1-log1p-u_binary64
86×add-sqr-sqrt_binary64
79×add-log-exp_binary64
78×add-cube-cbrt_binary64
Counts
2 → 69
Calls

2 calls:

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0817
116617
2222917
3542717

simplify45.0ms (0.7%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
09732
119732
240732
363732
469732
568732
668732

prune69.0ms (1.1%)

Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New71071
Fresh066
Picked011
Done011
Total71879
Error
0b
Counts
79 → 8
Alt Table
StatusErrorProgram
10.3b
(*.f64 (/.f64 a1 b1) (/.f64 a2 b2))
✓9.5b
(/.f64 a1 (/.f64 (*.f64 b2 b1) a2))
10.3b
(*.f64 a2 (*.f64 a1 (/.f64 1 (*.f64 b1 b2))))
10.1b
(/.f64 a1 (*.f64 (/.f64 b2 a2) b1))
13.2b
(*.f64 (/.f64 1 b1) (/.f64 (*.f64 a1 a2) b2))
✓10.0b
(*.f64 (/.f64 a1 (*.f64 b1 b2)) a2)
11.6b
(/.f64 (/.f64 a1 (/.f64 b1 a2)) b2)
12.9b
(*.f64 (/.f64 a1 b2) (/.f64 a2 b1))
Compiler

Compiled 861 to 322 computations (62.6% saved)

regimes965.0ms (15.7%)

Accuracy

Total 2.7b remaining (99.5%)

Threshold costs 0b (0%)

Counts
29 → 5
Compiler

Compiled 3186 to 1986 computations (37.7% saved)

bsearch2.0ms (0%)

Compiler

Compiled 11 to 7 computations (36.4% saved)

simplify9.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
032110
135110
235110

end656.0ms (10.7%)

Compiler

Compiled 566 to 228 computations (59.7% saved)

Profiling

Loading profile data...