Details

Time bar (total: 4.0s)

analyze5.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
74.9%25%0.1%3
87.4%12.5%0.1%4
93.7%6.2%0.1%5
96.8%3.1%0.1%6
98.3%1.6%0.1%7
99.1%0.8%0.1%8
99.5%0.4%0.1%9
99.7%0.2%0.1%10
99.8%0.1%0.1%11
99.9%0%0.1%12
99.9%0%0.1%13
99.9%0%0.1%14

sample20.0ms

Algorithm
intervals
Results
14.0ms256×body80valid

simplify11.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
01219
11219

prune1.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 32.7b

Counts
2 → 1

localize10.0ms

Local error

Found 2 expressions with local error:

0.6b
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 10))
29.9b
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
24×times-frac_binary64
22×log-pow_binary64
20×pow1_binary64
16×add-sqr-sqrt_binary64
15×*-un-lft-identity_binary64 add-cube-cbrt_binary64
6×pow1/2_binary64 sqrt-pow1_binary64 associate-/l*_binary64
4×associate-/r*_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 sqrt-div_binary64
3×sqrt-prod_binary64
2×flip3-+_binary64 add-log-exp_binary64 div-sub_binary64 log-div_binary64 flip-+_binary64
1×cbrt-undiv_binary64 rem-sqrt-square_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64
Counts
2 → 63
Calls
2 calls:
8.0ms
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 10))
4.0ms
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))

series100.0ms

Counts
2 → 6
Calls
2 calls:
75.0ms
(/.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 10))
25.0ms
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))

simplify99.0ms

Algorithm
egg-herbie
Counts
69 → 69
Iterations

Useful iterations: 0 (78.0ms)

IterNodesCost
060841640

prune84.0ms

Filtered
45 candidates to 69 candidates (-53.3%)
Pruning

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New541569
Fresh000
Picked101
Done000
Total551570

Merged error: 7.5b

Counts
70 → 15

localize13.0ms

Local error

Found 3 expressions with local error:

0.3b
(*.f64 (/.f64 1/2 (sqrt.f64 (log.f64 10))) (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (log.f64 10))))
0.5b
(/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (log.f64 10)))
31.4b
(log.f64 (+.f64 (*.f64 re re) (*.f64 im im)))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
89×times-frac_binary64
82×add-sqr-sqrt_binary64
54×sqrt-prod_binary64
52×*-un-lft-identity_binary64 add-cube-cbrt_binary64
33×pow1_binary64
32×associate-*r*_binary64
28×log-pow_binary64
25×associate-*l*_binary64
18×add-exp-log_binary64
17×add-cbrt-cube_binary64
9×unswap-sqr_binary64
7×associate-/r*_binary64
5×cbrt-undiv_binary64 div-exp_binary64
4×cbrt-unprod_binary64 prod-exp_binary64 associate-/l*_binary64 log-div_binary64
3×add-log-exp_binary64 log-prod_binary64 div-inv_binary64
2×flip3-+_binary64 div-sub_binary64 flip-+_binary64
1×pow-prod-down_binary64 rem-log-exp_binary64 associate-*r/_binary64 clear-num_binary64 frac-2neg_binary64 frac-times_binary64 associate-*l/_binary64 *-commutative_binary64
Counts
3 → 153
Calls
3 calls:
24.0ms
(*.f64 (/.f64 1/2 (sqrt.f64 (log.f64 10))) (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (log.f64 10))))
8.0ms
(/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (log.f64 10)))
4.0ms
(log.f64 (+.f64 (*.f64 re re) (*.f64 im im)))

series202.0ms

Counts
3 → 9
Calls
3 calls:
76.0ms
(*.f64 (/.f64 1/2 (sqrt.f64 (log.f64 10))) (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (log.f64 10))))
90.0ms
(/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (log.f64 10)))
35.0ms
(log.f64 (+.f64 (*.f64 re re) (*.f64 im im)))

simplify115.0ms

Algorithm
egg-herbie
Counts
162 → 162
Iterations

Useful iterations: 0 (70.0ms)

IterNodesCost
049434482
149434482

prune151.0ms

Filtered
94 candidates to 162 candidates (-72.3%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New1539162
Fresh10414
Picked101
Done000
Total16413177

Merged error: 7.3b

Counts
177 → 13

localize18.0ms

Local error

Found 4 expressions with local error:

0.3b
(*.f64 (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (log.f64 10))) (sqrt.f64 (/.f64 1/2 (sqrt.f64 (log.f64 10)))))
0.3b
(*.f64 (sqrt.f64 (/.f64 1/2 (sqrt.f64 (log.f64 10)))) (*.f64 (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (log.f64 10))) (sqrt.f64 (/.f64 1/2 (sqrt.f64 (log.f64 10))))))
0.5b
(/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (log.f64 10)))
31.4b
(log.f64 (+.f64 (*.f64 re re) (*.f64 im im)))

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
126×sqrt-prod_binary64
112×times-frac_binary64
107×add-sqr-sqrt_binary64
69×*-un-lft-identity_binary64 add-cube-cbrt_binary64
60×associate-*l*_binary64
42×pow1_binary64
31×log-pow_binary64
29×associate-*r*_binary64
21×add-exp-log_binary64
20×add-cbrt-cube_binary64
12×unswap-sqr_binary64
10×sqrt-div_binary64
7×associate-/r*_binary64 cbrt-unprod_binary64 prod-exp_binary64
6×associate-*r/_binary64 frac-times_binary64
4×pow-prod-down_binary64 add-log-exp_binary64 associate-/l*_binary64 div-inv_binary64 log-div_binary64 associate-*l/_binary64
3×log-prod_binary64 cbrt-undiv_binary64 div-exp_binary64
2×flip3-+_binary64 div-sub_binary64 flip-+_binary64 *-commutative_binary64
1×rem-log-exp_binary64 clear-num_binary64 frac-2neg_binary64
Counts
4 → 207
Calls
4 calls:
26.0ms
(*.f64 (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (log.f64 10))) (sqrt.f64 (/.f64 1/2 (sqrt.f64 (log.f64 10)))))
21.0ms
(*.f64 (sqrt.f64 (/.f64 1/2 (sqrt.f64 (log.f64 10)))) (*.f64 (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (log.f64 10))) (sqrt.f64 (/.f64 1/2 (sqrt.f64 (log.f64 10))))))
8.0ms
(/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (log.f64 10)))
4.0ms
(log.f64 (+.f64 (*.f64 re re) (*.f64 im im)))

series470.0ms

Counts
4 → 12
Calls
4 calls:
213.0ms
(*.f64 (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (log.f64 10))) (sqrt.f64 (/.f64 1/2 (sqrt.f64 (log.f64 10)))))
124.0ms
(*.f64 (sqrt.f64 (/.f64 1/2 (sqrt.f64 (log.f64 10)))) (*.f64 (/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (log.f64 10))) (sqrt.f64 (/.f64 1/2 (sqrt.f64 (log.f64 10))))))
94.0ms
(/.f64 (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (sqrt.f64 (log.f64 10)))
39.0ms
(log.f64 (+.f64 (*.f64 re re) (*.f64 im im)))

simplify132.0ms

Algorithm
egg-herbie
Counts
219 → 219
Iterations

Useful iterations: 0 (69.0ms)

IterNodesCost
049657134
149657134

prune281.0ms

Filtered
132 candidates to 219 candidates (-65.9%)
Pruning

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New2145219
Fresh21012
Picked101
Done000
Total21715232

Merged error: 7.3b

Counts
232 → 15

localize14.0ms

Local error

Found 4 expressions with local error:

0.4b
(/.f64 (sqrt.f64 1/2) (/.f64 (log.f64 10) (log.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
0.4b
(*.f64 (/.f64 (sqrt.f64 1/2) 1) (/.f64 (sqrt.f64 1/2) (/.f64 (log.f64 10) (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))
0.6b
(/.f64 (log.f64 10) (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
31.4b
(log.f64 (+.f64 (*.f64 re re) (*.f64 im im)))

rewrite108.0ms

Algorithm
rewrite-expression-head
Rules
532×times-frac_binary64
318×add-sqr-sqrt_binary64
238×*-un-lft-identity_binary64
228×add-cube-cbrt_binary64
152×sqrt-prod_binary64
125×associate-*r*_binary64
121×pow1_binary64
115×log-pow_binary64
42×add-exp-log_binary64
32×add-cbrt-cube_binary64
25×unswap-sqr_binary64
24×associate-/r*_binary64
22×associate-*l*_binary64
19×div-exp_binary64
17×div-inv_binary64
13×cbrt-undiv_binary64
10×associate-/l*_binary64
9×prod-exp_binary64
6×cbrt-unprod_binary64
4×add-log-exp_binary64
3×log-prod_binary64 1-exp_binary64
2×associate-/r/_binary64 clear-num_binary64 frac-2neg_binary64 log-div_binary64
1×pow-prod-down_binary64 flip3-+_binary64 rem-log-exp_binary64 associate-*r/_binary64 flip-+_binary64 frac-times_binary64 associate-*l/_binary64 *-commutative_binary64
Counts
4 → 410
Calls
4 calls:
9.0ms
(/.f64 (sqrt.f64 1/2) (/.f64 (log.f64 10) (log.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
61.0ms
(*.f64 (/.f64 (sqrt.f64 1/2) 1) (/.f64 (sqrt.f64 1/2) (/.f64 (log.f64 10) (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))
4.0ms
(/.f64 (log.f64 10) (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
4.0ms
(log.f64 (+.f64 (*.f64 re re) (*.f64 im im)))

series332.0ms

Counts
4 → 12
Calls
4 calls:
88.0ms
(/.f64 (sqrt.f64 1/2) (/.f64 (log.f64 10) (log.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
116.0ms
(*.f64 (/.f64 (sqrt.f64 1/2) 1) (/.f64 (sqrt.f64 1/2) (/.f64 (log.f64 10) (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))
93.0ms
(/.f64 (log.f64 10) (log.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
35.0ms
(log.f64 (+.f64 (*.f64 re re) (*.f64 im im)))

simplify219.0ms

Algorithm
egg-herbie
Counts
422 → 422
Iterations

Useful iterations: 0 (102.0ms)

IterNodesCost
0491913343
1491913343

prune337.0ms

Filtered
201 candidates to 422 candidates (-110.0%)
Pruning

16 alts after pruning (15 fresh and 1 done)

PrunedKeptTotal
New4202422
Fresh11314
Picked011
Done000
Total42116437

Merged error: 7.2b

Counts
437 → 16

regimes464.0ms

Accuracy

58.5% (10.3b remaining)

Error of 17.3b against oracle of 7.0b and baseline of 31.9b

bsearch45.0ms

Steps
ItersRangePoint
8
2.4343947426525986e+71
1.2613302955522635e+74
1.0865722709223886e+74
9
-2.250824363311252e+61
-3.2753083034947445e+53
-2.1174862849080903e+60

simplify4.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
051105
151105

end0.0ms

sample604.0ms

Algorithm
intervals
Results
472.0ms8000×body80valid

Profiling

Loading profile data...