Details

Time bar (total: 4.5s)

analyze848.0ms (18.7%)

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.2s (26.5%)

Symmetry

(sort a1 a2)

(sort b1 b2)

Results
930.0ms8256×body128valid
224.0ms1965×body128invalid
Compiler

Compiled 35 to 23 computations (34.3% saved)

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

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
11.6b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶11.6b
(/.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
✓11.2b
(/.f64 (*.f64 a1 a2) (*.f64 b1 b2))

series34.0ms (0.8%)

Counts
1 → 48
Calls

1 calls:

34.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))

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

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New29736
Fresh000
Picked101
Done000
Total30737
Error
0.0b
Counts
37 → 7
Alt Table
StatusErrorProgram
11.8b
(/.f64 1 (/.f64 (*.f64 b1 b2) (*.f64 a1 a2)))
11.6b
(*.f64 (/.f64 a1 b1) (/.f64 a2 b2))
12.1b
(*.f64 (*.f64 (cbrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))) (cbrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2)))) (cbrt.f64 (/.f64 (*.f64 a1 a2) (*.f64 b1 b2))))
11.6b
(/.f64 (*.f64 a2 (/.f64 a1 b1)) b2)
▶11.4b
(/.f64 (/.f64 (*.f64 a1 a2) b1) b2)
12.4b
(/.f64 a1 (/.f64 b1 (/.f64 a2 b2)))
11.8b
(*.f64 (*.f64 a1 a2) (/.f64 1 (*.f64 b1 b2)))
Compiler

Compiled 650 to 223 computations (65.7% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series43.0ms (0.9%)

Counts
2 → 48
Calls

2 calls:

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

rewrite13.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:

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

simplify100.0ms (2.2%)

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

prune74.0ms (1.6%)

Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New946100
Fresh426
Picked101
Done000
Total998107
Error
0b
Counts
107 → 8
Alt Table
StatusErrorProgram
14.6b
(/.f64 (*.f64 a1 (/.f64 a2 b1)) b2)
12.4b
(/.f64 a1 (/.f64 b1 (/.f64 a2 b2)))
13.6b
(*.f64 (/.f64 (/.f64 a1 1) 1) (/.f64 (/.f64 a2 b1) b2))
23.2b
(*.f64 (/.f64 a1 (sqrt.f64 b2)) (/.f64 (/.f64 a2 b1) (sqrt.f64 b2)))
▶11.4b
(*.f64 (/.f64 (*.f64 a1 a2) b1) (/.f64 1 b2))
20.5b
(*.f64 (/.f64 (/.f64 a1 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (sqrt.f64 b2)) (/.f64 (/.f64 a2 (cbrt.f64 b1)) (sqrt.f64 b2)))
11.6b
(/.f64 (*.f64 a2 (/.f64 a1 b1)) b2)
11.8b
(*.f64 (/.f64 (*.f64 a1 a2) 1) (/.f64 (/.f64 1 b1) b2))
Compiler

Compiled 1576 to 467 computations (70.4% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series34.0ms (0.8%)

Counts
1 → 48
Calls

1 calls:

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

rewrite14.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
40×add-exp-log_binary64
22×add-cbrt-cube_binary64
17×add-sqr-sqrt_binary64
16×prod-exp_binary64
14×times-frac_binary64
Counts
1 → 56
Calls

1 calls:

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

simplify99.0ms (2.2%)

Algorithm
1×egg-herbie
Rules
687×times-frac_binary64
668×associate-/l*_binary64
255×fma-neg_binary64
241×sqr-pow_binary64
238×unswap-sqr_binary64
Counts
104 → 80
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01041350
12571173
28921173
330591173
435441173
541921173
648911173
749691173

prune66.0ms (1.5%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New1080108
Fresh077
Picked011
Done000
Total1088116
Error
0b
Counts
116 → 8
Alt Table
StatusErrorProgram
14.6b
(/.f64 (*.f64 a1 (/.f64 a2 b1)) b2)
12.4b
(/.f64 a1 (/.f64 b1 (/.f64 a2 b2)))
13.6b
(*.f64 (/.f64 (/.f64 a1 1) 1) (/.f64 (/.f64 a2 b1) b2))
23.2b
(*.f64 (/.f64 a1 (sqrt.f64 b2)) (/.f64 (/.f64 a2 b1) (sqrt.f64 b2)))
✓11.4b
(*.f64 (/.f64 (*.f64 a1 a2) b1) (/.f64 1 b2))
20.5b
(*.f64 (/.f64 (/.f64 a1 (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (sqrt.f64 b2)) (/.f64 (/.f64 a2 (cbrt.f64 b1)) (sqrt.f64 b2)))
▶11.6b
(/.f64 (*.f64 a2 (/.f64 a1 b1)) b2)
11.8b
(*.f64 (/.f64 (*.f64 a1 a2) 1) (/.f64 (/.f64 1 b1) b2))
Compiler

Compiled 1832 to 729 computations (60.2% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series41.0ms (0.9%)

Counts
2 → 84
Calls

2 calls:

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

rewrite14.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
17×add-sqr-sqrt_binary64
16×add-cbrt-cube_binary64
16×add-exp-log_binary64
13×associate-*r*_binary64
13×times-frac_binary64
Counts
2 → 60
Calls

2 calls:

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

simplify98.0ms (2.1%)

Algorithm
1×egg-herbie
Rules
863×times-frac_binary64
557×associate-*l/_binary64
519×associate-/l/_binary64
446×associate-*r/_binary64
280×associate-/r/_binary64
Counts
144 → 90
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01111520
12681391
210211391
339211391
442551391
548601391
649671391

prune46.0ms (1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New87390
Fresh336
Picked101
Done101
Total92698
Error
0b
Counts
98 → 6
Alt Table
StatusErrorProgram
14.6b
(/.f64 (*.f64 a1 (/.f64 a2 b1)) b2)
12.4b
(/.f64 a1 (/.f64 b1 (/.f64 a2 b2)))
9.8b
(*.f64 a2 (/.f64 a1 (*.f64 b2 b1)))
9.2b
(*.f64 (/.f64 a2 1) (/.f64 (/.f64 a1 b1) b2))
13.6b
(*.f64 (/.f64 (/.f64 a1 1) 1) (/.f64 (/.f64 a2 b1) b2))
9.3b
(/.f64 a2 (/.f64 b2 (/.f64 a1 b1)))
Compiler

Compiled 1200 to 352 computations (70.7% saved)

regimes1.2s (26.9%)

Accuracy

Total 2.5b remaining (98.7%)

Threshold costs 0b (0%)

Counts
71 → 5
Compiler

Compiled 8548 to 5316 computations (37.8% saved)

bsearch2.0ms (0%)

Compiler

Compiled 11 to 7 computations (36.4% saved)

simplify5.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
042137
146137
245137

end423.0ms (9.3%)

Compiler

Compiled 642 to 270 computations (57.9% saved)

Profiling

Loading profile data...