Details

Time bar (total: 3.6s)

analyze813.0ms (22.6%)

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.1s (31.4%)

Alt Table
StatusErrorProgram
▶11.4b
(/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
Symmetry

(sort a1 a2)

(sort b1 b2)

Results
880.0ms8256×body128valid
203.0ms1970×body128invalid
Compiler

Compiled 57 to 37 computations (35.1% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series29.0ms (0.8%)

Counts
1 → 48
Calls

1 calls:

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

rewrite55.0ms (1.5%)

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:

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
116910
2244510
3500410
000
100

prune59.0ms (1.6%)

Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New998107
Fresh000
Picked011
Done000
Total999108
Error
0.0b
Counts
108 → 9
Alt Table
StatusErrorProgram
11.4b
(*.f64 a1 (*.f64 a2 (/.f64 1 (*.f64 b1 b2))))
12.0b
(*.f64 a1 (/.f64 1 (/.f64 b1 (/.f64 a2 b2))))
12.4b
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (*.f64 a1 a2)) 2) b1) (/.f64 (cbrt.f64 (*.f64 a1 a2)) b2))
11.5b
(*.f64 (/.f64 a1 (*.f64 b1 b2)) a2)
✓11.4b
(/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
▶11.2b
(*.f64 (/.f64 a1 b2) (/.f64 a2 b1))
12.1b
(*.f64 (/.f64 (*.f64 a1 a2) b1) (/.f64 1 b2))
12.6b
(*.f64 (/.f64 a1 b1) (/.f64 a2 b2))
11.5b
(*.f64 a2 (*.f64 a1 (/.f64 1 (*.f64 b1 b2))))
Compiler

Compiled 1276 to 360 computations (71.8% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series30.0ms (0.8%)

Counts
1 → 48
Calls

1 calls:

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

rewrite54.0ms (1.5%)

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:

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
117510
2251010
3511510
000
100

prune70.0ms (2%)

Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New1093112
Fresh437
Picked101
Done101
Total1156121
Error
0b
Counts
121 → 6
Alt Table
StatusErrorProgram
11.4b
(*.f64 a1 (*.f64 a2 (/.f64 1 (*.f64 b1 b2))))
12.0b
(*.f64 a1 (/.f64 1 (/.f64 b1 (/.f64 a2 b2))))
11.7b
(/.f64 a2 (*.f64 (/.f64 b2 a1) b1))
12.6b
(*.f64 (/.f64 a1 b1) (/.f64 a2 b2))
▶10.5b
(/.f64 (*.f64 (/.f64 a1 b2) a2) b1)
12.2b
(/.f64 (*.f64 a1 (/.f64 a2 b1)) b2)
Compiler

Compiled 1106 to 291 computations (73.7% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series40.0ms (1.1%)

Counts
2 → 84
Calls

2 calls:

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

rewrite60.0ms (1.7%)

Algorithm
2×batch-egg-rewrite
Rules
519×log-prod_binary64
242×pow2_binary64
172×pow1/3_binary64
165×expm1-udef_binary64
165×log1p-udef_binary64
Counts
2 → 80
Calls

2 calls:

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0817
117217
2243617
3499217
000
100

prune68.0ms (1.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1640164
Fresh055
Picked011
Done000
Total1646170
Error
0b
Counts
170 → 6
Alt Table
StatusErrorProgram
▶11.4b
(*.f64 a1 (*.f64 a2 (/.f64 1 (*.f64 b1 b2))))
12.0b
(*.f64 a1 (/.f64 1 (/.f64 b1 (/.f64 a2 b2))))
11.7b
(/.f64 a2 (*.f64 (/.f64 b2 a1) b1))
12.6b
(*.f64 (/.f64 a1 b1) (/.f64 a2 b2))
✓10.5b
(/.f64 (*.f64 (/.f64 a1 b2) a2) b1)
12.2b
(/.f64 (*.f64 a1 (/.f64 a2 b1)) b2)
Compiler

Compiled 1659 to 396 computations (76.1% saved)

localize6.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.4b
(/.f64 1 (*.f64 b1 b2))
✓5.6b
(*.f64 a2 (/.f64 1 (*.f64 b1 b2)))
✓6.7b
(*.f64 a1 (*.f64 a2 (/.f64 1 (*.f64 b1 b2))))

series52.0ms (1.5%)

Counts
3 → 108
Calls

3 calls:

29.0ms
(*.f64 a1 (*.f64 a2 (/.f64 1 (*.f64 b1 b2))))
16.0ms
(*.f64 a2 (/.f64 1 (*.f64 b1 b2)))
7.0ms
(/.f64 1 (*.f64 b1 b2))

rewrite57.0ms (1.6%)

Algorithm
2×batch-egg-rewrite
Rules
904×log1p-expm1-u_binary64
904×expm1-log1p-u_binary64
100×add-sqr-sqrt_binary64
91×add-cbrt-cube_binary64
91×add-log-exp_binary64
Counts
3 → 75
Calls

3 calls:

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01024
120224
2239724
3561524
000
100

prune76.0ms (2.1%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1830183
Fresh044
Picked011
Done011
Total1836189
Error
0b
Counts
189 → 6
Alt Table
StatusErrorProgram
✓11.4b
(*.f64 a1 (*.f64 a2 (/.f64 1 (*.f64 b1 b2))))
12.0b
(*.f64 a1 (/.f64 1 (/.f64 b1 (/.f64 a2 b2))))
11.7b
(/.f64 a2 (*.f64 (/.f64 b2 a1) b1))
12.6b
(*.f64 (/.f64 a1 b1) (/.f64 a2 b2))
✓10.5b
(/.f64 (*.f64 (/.f64 a1 b2) a2) b1)
12.2b
(/.f64 (*.f64 a1 (/.f64 a2 b1)) b2)
Compiler

Compiled 1695 to 511 computations (69.9% saved)

regimes593.0ms (16.5%)

Accuracy

Total 2.6b remaining (99%)

Threshold costs 0b (0%)

Counts
29 → 5
Compiler

Compiled 3074 to 1910 computations (37.9% saved)

bsearch1.0ms (0%)

Compiler

Compiled 11 to 7 computations (36.4% saved)

simplify4.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
031110
133110
233110

end382.0ms (10.6%)

Compiler

Compiled 544 to 208 computations (61.8% saved)

Profiling

Loading profile data...