Details

Time bar (total: 4.4s)

analyze796.0ms (18%)

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)

sample54.0ms (1.2%)

Algorithm
1×intervals
Symmetry

(sort a1 a2)

(sort b1 b2)

Results
9.0ms256×body128valid
8.0ms51×body128invalid
Compiler

Compiled 27 to 19 computations (29.6% saved)

simplify7.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

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 33 to 21 computations (36.4% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series31.0ms (0.7%)

Counts
1 → 48
Calls

1 calls:

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

rewrite6.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
13×add-cbrt-cube_binary64
13×add-exp-log_binary64
4×cbrt-unprod_binary64
4×cbrt-undiv_binary64
4×div-exp_binary64
Counts
1 → 23
Calls

1 calls:

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

simplify87.0ms (2%)

Algorithm
1×egg-herbie
Rules
579×associate-/r*_binary64
476×associate-*l*_binary64
457×associate-*l/_binary64
355×associate-*r/_binary64
344×associate-*r*_binary64
Counts
71 → 36
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
058859
1161754
2820754
33799754
44127754
54478754
64861754
75308754

prune31.0ms (0.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New29736
Fresh000
Picked011
Done000
Total29837
Error
0.0b
Counts
37 → 8
Alt Table
StatusErrorProgram
14.3b
(*.f64 (/.f64 a1 b1) (/.f64 a2 b2))
29.0b
(*.f64 (sqrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (sqrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))))
✓11.3b
(/.f64 (*.f64 a1 a2) (*.f64 b1 b2))
33.0b
(cbrt.f64 (*.f64 (*.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))))
12.1b
(/.f64 (*.f64 a2 (/.f64 a1 b1)) b2)
11.6b
(/.f64 (/.f64 (*.f64 a1 a2) b1) b2)
13.1b
(/.f64 a1 (/.f64 b1 (/.f64 a2 b2)))
▶10.1b
(/.f64 a1 (/.f64 (*.f64 b1 b2) a2))
Compiler

Compiled 669 to 226 computations (66.2% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series43.0ms (1%)

Counts
2 → 84
Calls

2 calls:

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

rewrite12.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
36×times-frac_binary64
20×*-un-lft-identity_binary64
20×add-sqr-sqrt_binary64
20×add-cube-cbrt_binary64
16×add-cbrt-cube_binary64
Counts
2 → 73
Calls

2 calls:

5.0ms
(/.f64 a1 (/.f64 (*.f64 b1 b2) a2))
3.0ms
(/.f64 (*.f64 b1 b2) a2)

simplify76.0ms (1.7%)

Algorithm
1×egg-herbie
Rules
885×times-frac_binary64
673×associate-/l*_binary64
506×associate-/l/_binary64
500×associate-*l/_binary64
480×associate-/r/_binary64
Counts
157 → 121
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01301914
12911782
210781770
349511770
450161770

prune79.0ms (1.8%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New1183121
Fresh336
Picked011
Done101
Total1227129
Error
0b
Counts
129 → 7
Alt Table
StatusErrorProgram
14.3b
(*.f64 (/.f64 a1 b1) (/.f64 a2 b2))
12.3b
(/.f64 1 (/.f64 b1 (/.f64 a1 (/.f64 b2 a2))))
▶11.5b
(*.f64 (/.f64 1 (*.f64 b1 b2)) (/.f64 a1 (/.f64 1 a2)))
12.2b
(*.f64 (/.f64 1 b1) (/.f64 a1 (/.f64 b2 a2)))
12.1b
(/.f64 (*.f64 a2 (/.f64 a1 b1)) b2)
11.6b
(/.f64 (/.f64 (*.f64 a1 a2) b1) b2)
✓10.1b
(/.f64 a1 (/.f64 (*.f64 b1 b2) a2))
Compiler

Compiled 1786 to 487 computations (72.7% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.2b
(/.f64 a1 (/.f64 1 a2))
✓0.3b
(/.f64 1 (*.f64 b1 b2))
✓11.1b
(*.f64 (/.f64 1 (*.f64 b1 b2)) (/.f64 a1 (/.f64 1 a2)))

series44.0ms (1%)

Counts
3 → 96
Calls

3 calls:

31.0ms
(*.f64 (/.f64 1 (*.f64 b1 b2)) (/.f64 a1 (/.f64 1 a2)))
10.0ms
(/.f64 1 (*.f64 b1 b2))
4.0ms
(/.f64 a1 (/.f64 1 a2))

rewrite63.0ms (1.4%)

Algorithm
1×rewrite-expression-head
Rules
153×add-exp-log_binary64
152×times-frac_binary64
96×add-sqr-sqrt_binary64
85×*-un-lft-identity_binary64
84×add-cube-cbrt_binary64
Counts
3 → 217
Calls

3 calls:

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

simplify190.0ms (4.3%)

Algorithm
1×egg-herbie
Rules
571×associate-/r*_binary64
483×associate-/r/_binary64
426×fma-neg_binary64
418×fma-def_binary64
375×*-commutative_binary64
Counts
313 → 303
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01923746
14383353
217283353
329993353
436923353
546563353
649843353

prune175.0ms (4%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New3030303
Fresh055
Picked011
Done011
Total3037310
Error
0b
Counts
310 → 7
Alt Table
StatusErrorProgram
14.3b
(*.f64 (/.f64 a1 b1) (/.f64 a2 b2))
12.3b
(/.f64 1 (/.f64 b1 (/.f64 a1 (/.f64 b2 a2))))
✓11.5b
(*.f64 (/.f64 1 (*.f64 b1 b2)) (/.f64 a1 (/.f64 1 a2)))
12.2b
(*.f64 (/.f64 1 b1) (/.f64 a1 (/.f64 b2 a2)))
12.1b
(/.f64 (*.f64 a2 (/.f64 a1 b1)) b2)
▶11.6b
(/.f64 (/.f64 (*.f64 a1 a2) b1) b2)
✓10.1b
(/.f64 a1 (/.f64 (*.f64 b1 b2) a2))
Compiler

Compiled 5733 to 2943 computations (48.7% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series48.0ms (1.1%)

Counts
2 → 48
Calls

2 calls:

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

rewrite14.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
36×times-frac_binary64
20×*-un-lft-identity_binary64
20×add-sqr-sqrt_binary64
20×add-cube-cbrt_binary64
16×add-cbrt-cube_binary64
Counts
2 → 73
Calls

2 calls:

5.0ms
(/.f64 (/.f64 (*.f64 a1 a2) b1) b2)
3.0ms
(/.f64 (*.f64 a1 a2) b1)

simplify101.0ms (2.3%)

Algorithm
1×egg-herbie
Rules
821×associate-/l*_binary64
608×associate-/l/_binary64
389×associate-*l/_binary64
362×associate-/r*_binary64
291×associate-*r/_binary64
Counts
121 → 100
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01271639
13041510
29671510
340381510
444101510
548421510
650181510

prune52.0ms (1.2%)

Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New991100
Fresh134
Picked011
Done022
Total1007107
Error
0b
Counts
107 → 7
Alt Table
StatusErrorProgram
9.7b
(/.f64 (/.f64 a1 1) (/.f64 b2 (/.f64 a2 b1)))
14.3b
(*.f64 (/.f64 a1 b1) (/.f64 a2 b2))
✓11.5b
(*.f64 (/.f64 1 (*.f64 b1 b2)) (/.f64 a1 (/.f64 1 a2)))
12.2b
(*.f64 (/.f64 1 b1) (/.f64 a1 (/.f64 b2 a2)))
12.1b
(/.f64 (*.f64 a2 (/.f64 a1 b1)) b2)
✓11.6b
(/.f64 (/.f64 (*.f64 a1 a2) b1) b2)
✓10.1b
(/.f64 a1 (/.f64 (*.f64 b1 b2) a2))
Compiler

Compiled 1435 to 378 computations (73.7% saved)

regimes1.2s (27.1%)

Accuracy

Total 2.5b remaining (99.1%)

Threshold costs 0b (0%)

Counts
60 → 5
Compiler

Compiled 6817 to 4309 computations (36.8% saved)

bsearch2.0ms (0%)

Compiler

Compiled 11 to 7 computations (36.4% saved)

simplify4.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
5×*-commutative_binary64
1×*-lft-identity_binary64
1×1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
035140
139140
238140

end34.0ms (0.8%)

Compiler

Compiled 485 to 165 computations (66% saved)

sample1.2s (28.2%)

Algorithm
1×intervals
Results
294.0ms8000×body128valid
64.0ms1795×body128invalid
Compiler

Compiled 198 to 102 computations (48.5% saved)

Profiling

Loading profile data...