Details

Time bar (total: 3.6s)

analyze4.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
50%50%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

sample22.0ms

Algorithm
intervals
Results
9.0ms256×body80valid

simplify11.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
079
179

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.9b

Counts
2 → 1

localize9.0ms

Local error

Found 1 expressions with local error:

0.9b
(/.f64 (atan2.f64 im re) (log.f64 10))

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
12×times-frac_binary64_569
10×*-un-lft-identity_binary64_574 add-cube-cbrt_binary64_545 add-sqr-sqrt_binary64_559
5×pow1_binary64_520
4×log-pow_binary64_495 associate-/r*_binary64_637
3×add-cbrt-cube_binary64_546 associate-/l*_binary64_638 add-exp-log_binary64_538
1×div-inv_binary64_575 div-exp_binary64_527 frac-2neg_binary64_567 clear-num_binary64_577 cbrt-undiv_binary64_544 add-log-exp_binary64_539
Counts
1 → 31
Calls
1 calls:
5.0ms
(/.f64 (atan2.f64 im re) (log.f64 10))

series51.0ms

Counts
1 → 3
Calls
1 calls:
51.0ms
(/.f64 (atan2.f64 im re) (log.f64 10))

simplify136.0ms

Algorithm
egg-herbie
Counts
34 → 34
Iterations

Useful iterations: 0 (123.0ms)

IterNodesCost
04914518
14914518

prune171.0ms

Filtered
22 candidates to 34 candidates (-54.5%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New26834
Fresh000
Picked101
Done000
Total27835

Merged error: 0.1b

Counts
35 → 8

localize14.0ms

Local error

Found 2 expressions with local error:

0.1b
(/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 10)))
0.8b
(*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 10))))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
92×add-sqr-sqrt_binary64_559
85×times-frac_binary64_569
52×*-un-lft-identity_binary64_574
51×sqrt-prod_binary64_553
46×add-cube-cbrt_binary64_545
25×associate-*l*_binary64_634 associate-*r*_binary64_633
21×add-exp-log_binary64_538
16×add-cbrt-cube_binary64_546
15×unswap-sqr_binary64_602
14×pow1_binary64_520
10×log-pow_binary64_495
7×associate-/r*_binary64_637
6×div-exp_binary64_527 prod-exp_binary64_525
5×cbrt-undiv_binary64_544
4×cbrt-unprod_binary64_543
3×div-inv_binary64_575 associate-/l*_binary64_638
2×rec-exp_binary64_526 add-log-exp_binary64_539
1×frac-times_binary64_566 frac-2neg_binary64_567 clear-num_binary64_577 associate-*l/_binary64_636 *-commutative_binary64_642 pow-prod-down_binary64_501 associate-*r/_binary64_635
Counts
2 → 130
Calls
2 calls:
4.0ms
(/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 10)))
27.0ms
(*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 10))))

series89.0ms

Counts
2 → 6
Calls
2 calls:
54.0ms
(/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 10)))
35.0ms
(*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 10))))

simplify139.0ms

Algorithm
egg-herbie
Counts
136 → 136
Iterations

Useful iterations: 0 (105.0ms)

IterNodesCost
048662570
148662570

prune431.0ms

Filtered
70 candidates to 136 candidates (-94.3%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New1324136
Fresh257
Picked101
Done000
Total1359144

Merged error: 0.0b

Counts
144 → 9

localize14.0ms

Local error

Found 2 expressions with local error:

0.1b
(*.f64 (atan2.f64 im re) (/.f64 1 (sqrt.f64 (log.f64 10))))
0.8b
(*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (*.f64 (atan2.f64 im re) (/.f64 1 (sqrt.f64 (log.f64 10)))))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
49×add-exp-log_binary64_538
46×times-frac_binary64_569
43×add-sqr-sqrt_binary64_559
33×*-un-lft-identity_binary64_574
31×add-cube-cbrt_binary64_545
28×associate-*l*_binary64_634 add-cbrt-cube_binary64_546
26×sqrt-prod_binary64_553 associate-*r*_binary64_633
24×prod-exp_binary64_525
15×pow1_binary64_520
12×cbrt-unprod_binary64_543
8×div-exp_binary64_527 rec-exp_binary64_526
6×log-pow_binary64_495 cbrt-undiv_binary64_544
5×unswap-sqr_binary64_602 associate-*r/_binary64_635
4×pow-prod-down_binary64_501
3×un-div-inv_binary64_576
2×frac-times_binary64_566 div-inv_binary64_575 *-commutative_binary64_642 add-log-exp_binary64_539
1×associate-*l/_binary64_636
Counts
2 → 108
Calls
2 calls:
10.0ms
(*.f64 (atan2.f64 im re) (/.f64 1 (sqrt.f64 (log.f64 10))))
15.0ms
(*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (*.f64 (atan2.f64 im re) (/.f64 1 (sqrt.f64 (log.f64 10)))))

series80.0ms

Counts
2 → 6
Calls
2 calls:
48.0ms
(*.f64 (atan2.f64 im re) (/.f64 1 (sqrt.f64 (log.f64 10))))
32.0ms
(*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (*.f64 (atan2.f64 im re) (/.f64 1 (sqrt.f64 (log.f64 10)))))

simplify133.0ms

Algorithm
egg-herbie
Counts
114 → 114
Iterations

Useful iterations: 0 (109.0ms)

IterNodesCost
054001583

prune366.0ms

Filtered
56 candidates to 114 candidates (-103.6%)
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New1131114
Fresh178
Picked011
Done000
Total1149123

Merged error: 0.0b

Counts
123 → 9

localize18.0ms

Local error

Found 3 expressions with local error:

0.1b
(*.f64 (*.f64 (atan2.f64 im re) (sqrt.f64 (/.f64 1 (sqrt.f64 (log.f64 10))))) (sqrt.f64 (/.f64 1 (sqrt.f64 (log.f64 10)))))
0.1b
(*.f64 (atan2.f64 im re) (sqrt.f64 (/.f64 1 (sqrt.f64 (log.f64 10)))))
0.8b
(*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (*.f64 (*.f64 (atan2.f64 im re) (sqrt.f64 (/.f64 1 (sqrt.f64 (log.f64 10))))) (sqrt.f64 (/.f64 1 (sqrt.f64 (log.f64 10))))))

rewrite67.0ms

Algorithm
rewrite-expression-head
Rules
93×sqrt-prod_binary64_553
67×times-frac_binary64_569
62×add-sqr-sqrt_binary64_559
57×associate-*r*_binary64_633
50×*-un-lft-identity_binary64_574
48×add-cube-cbrt_binary64_545
40×add-exp-log_binary64_538
31×add-cbrt-cube_binary64_546
29×associate-*l*_binary64_634
28×pow1_binary64_520
22×prod-exp_binary64_525
16×cbrt-unprod_binary64_543
13×sqrt-div_binary64_554 associate-*r/_binary64_635
10×pow-prod-down_binary64_501
9×log-pow_binary64_495
6×frac-times_binary64_566 unswap-sqr_binary64_602
4×associate-*l/_binary64_636
3×div-inv_binary64_575 div-exp_binary64_527 rec-exp_binary64_526 *-commutative_binary64_642 cbrt-undiv_binary64_544 add-log-exp_binary64_539
Counts
3 → 154
Calls
3 calls:
23.0ms
(*.f64 (*.f64 (atan2.f64 im re) (sqrt.f64 (/.f64 1 (sqrt.f64 (log.f64 10))))) (sqrt.f64 (/.f64 1 (sqrt.f64 (log.f64 10)))))
12.0ms
(*.f64 (atan2.f64 im re) (sqrt.f64 (/.f64 1 (sqrt.f64 (log.f64 10)))))
23.0ms
(*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (*.f64 (*.f64 (atan2.f64 im re) (sqrt.f64 (/.f64 1 (sqrt.f64 (log.f64 10))))) (sqrt.f64 (/.f64 1 (sqrt.f64 (log.f64 10))))))

series179.0ms

Counts
3 → 9
Calls
3 calls:
59.0ms
(*.f64 (*.f64 (atan2.f64 im re) (sqrt.f64 (/.f64 1 (sqrt.f64 (log.f64 10))))) (sqrt.f64 (/.f64 1 (sqrt.f64 (log.f64 10)))))
81.0ms
(*.f64 (atan2.f64 im re) (sqrt.f64 (/.f64 1 (sqrt.f64 (log.f64 10)))))
39.0ms
(*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (*.f64 (*.f64 (atan2.f64 im re) (sqrt.f64 (/.f64 1 (sqrt.f64 (log.f64 10))))) (sqrt.f64 (/.f64 1 (sqrt.f64 (log.f64 10))))))

simplify104.0ms

Algorithm
egg-herbie
Counts
163 → 163
Iterations

Useful iterations: 0 (68.0ms)

IterNodesCost
050582821

prune498.0ms

Filtered
85 candidates to 163 candidates (-91.8%)
Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New1621163
Fresh167
Picked011
Done011
Total1639172

Merged error: 0b

Counts
172 → 9

regimes467.0ms

Accuracy

0% (0.1b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 0.2b

bsearch0.0ms

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02358
12358

end0.0ms

sample487.0ms

Algorithm
intervals
Results
307.0ms8000×body80valid

Profiling

Loading profile data...