Details

Time bar (total: 5.0s)

analyze429.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
0%99.9%0.1%6
23.4%51.5%25.1%7
24.2%50.7%25.1%8
24.6%50.3%25.1%9
36.9%25.5%37.6%10
37.2%25.3%37.6%11
37.3%25.1%37.6%12
43.5%12.7%43.8%13
43.6%12.6%43.8%14

sample38.0ms

Algorithm
intervals
Results
24.0ms256×body80valid
3.0ms32×body80nan

simplify3.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02328
12328

prune6.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 32.4b

Counts
2 → 1

localize19.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0)))
0.4b
(* (log (sqrt (+ (* re re) (* im im)))) (log base))
0.6b
(* (log base) (log base))
30.1b
(sqrt (+ (* re re) (* im im)))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
25×*-un-lft-identity
23×pow1 add-cube-cbrt
12×log-prod
10×add-exp-log associate-*l* log-pow add-cbrt-cube
9×times-frac
8×associate-*r*
6×distribute-rgt-in distribute-lft-in swap-sqr
4×add-log-exp
3×flip3-+ associate-/r* sqrt-prod flip-+ associate-/l*
2×sqrt-pow1 pow1/2 sqrt-div pow-prod-down prod-exp associate-/r/ *-commutative cbrt-unprod associate-/l/ unswap-sqr
1×cbrt-undiv pow2 rem-sqrt-square frac-2neg pow-plus div-exp clear-num pow-sqr pow-prod-up div-inv
Counts
4 → 110
Calls
4 calls:
9.0ms
(/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0)))
5.0ms
(* (log (sqrt (+ (* re re) (* im im)))) (log base))
4.0ms
(* (log base) (log base))
4.0ms
(sqrt (+ (* re re) (* im im)))

series76.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (+ (* (log base) (log base)) (* 0.0 0.0)))
23.0ms
(* (log (sqrt (+ (* re re) (* im im)))) (log base))
14.0ms
(* (log base) (log base))
6.0ms
(sqrt (+ (* re re) (* im im)))

simplify60.0ms

Algorithm
egg-herbie
Counts
122 → 122
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
054352029

prune252.0ms

Filtered
85 candidates to 122 candidates (-43.5%)
Pruning

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New10814122
Fresh000
Picked101
Done000
Total10914123

Merged error: 7.1b

Counts
123 → 14

localize25.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (log (sqrt (+ (* re re) (* im im)))) (log base))
0.6b
(* (log base) (log base))
0.9b
(pow (log base) 4)
30.1b
(sqrt (+ (* re re) (* im im)))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
25×pow1
22×add-sqr-sqrt
19×*-un-lft-identity
17×add-cube-cbrt
12×log-prod
11×log-pow
10×associate-*l*
9×add-exp-log
8×associate-*r* add-cbrt-cube
6×distribute-rgt-in distribute-lft-in swap-sqr
4×unpow-prod-down add-log-exp
3×pow-unpow sqrt-prod
2×sqrt-pow1 pow1/2 sqrt-div pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×pow2 pow-to-exp rem-sqrt-square pow-pow flip3-+ pow-plus pow-exp pow-sqr pow-prod-up flip-+ sqr-pow
Counts
4 → 97
Calls
4 calls:
5.0ms
(* (log (sqrt (+ (* re re) (* im im)))) (log base))
4.0ms
(* (log base) (log base))
2.0ms
(pow (log base) 4)
4.0ms
(sqrt (+ (* re re) (* im im)))

series61.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(* (log (sqrt (+ (* re re) (* im im)))) (log base))
16.0ms
(* (log base) (log base))
17.0ms
(pow (log base) 4)
6.0ms
(sqrt (+ (* re re) (* im im)))

simplify64.0ms

Algorithm
egg-herbie
Counts
109 → 109
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
04967940
14967940

prune205.0ms

Filtered
65 candidates to 109 candidates (-67.7%)
Pruning

16 alts after pruning (16 fresh and 0 done)

PrunedKeptTotal
New1045109
Fresh21113
Picked101
Done000
Total10716123

Merged error: 7.1b

Counts
123 → 16

localize23.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (/ 1 (+ (pow (log base) 2) (* 0.0 0.0))))
0.4b
(* (log (sqrt (+ (* re re) (* im im)))) (log base))
0.6b
(pow (log base) 2)
30.1b
(sqrt (+ (* re re) (* im im)))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
20×*-un-lft-identity
19×add-cube-cbrt associate-*r*
16×add-exp-log
14×pow1
11×times-frac add-cbrt-cube
9×associate-*l*
6×log-prod
5×prod-exp log-pow
4×unpow-prod-down flip3-+ flip-+ add-log-exp unswap-sqr
3×distribute-rgt-in pow-unpow distribute-lft-in sqrt-prod cbrt-unprod
2×frac-times sqrt-pow1 pow1/2 sqrt-div div-exp pow-prod-down associate-*l/ associate-/r/ *-commutative
1×cbrt-undiv pow-to-exp rem-sqrt-square rec-exp pow-pow 1-exp associate-*r/ pow-exp un-div-inv div-inv unpow2 sqr-pow
Counts
4 → 104
Calls
4 calls:
13.0ms
(* (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (/ 1 (+ (pow (log base) 2) (* 0.0 0.0))))
5.0ms
(* (log (sqrt (+ (* re re) (* im im)))) (log base))
2.0ms
(pow (log base) 2)
4.0ms
(sqrt (+ (* re re) (* im im)))

series69.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(* (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0.0)) (/ 1 (+ (pow (log base) 2) (* 0.0 0.0))))
24.0ms
(* (log (sqrt (+ (* re re) (* im im)))) (log base))
14.0ms
(pow (log base) 2)
6.0ms
(sqrt (+ (* re re) (* im im)))

simplify55.0ms

Algorithm
egg-herbie
Counts
116 → 116
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
049882106
149882106

prune221.0ms

Filtered
78 candidates to 116 candidates (-48.7%)
Pruning

16 alts after pruning (16 fresh and 0 done)

PrunedKeptTotal
New1133116
Fresh21315
Picked101
Done000
Total11616132

Merged error: 7.1b

Counts
132 → 16

localize25.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (log (sqrt (+ (* re re) (* im im)))) (log base))
0.6b
(cbrt base)
0.6b
(cbrt base)
30.1b
(sqrt (+ (* re re) (* im im)))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
11×add-cube-cbrt *-un-lft-identity
10×pow1
6×add-exp-log cbrt-prod log-prod associate-*l* add-cbrt-cube
4×associate-*r* log-pow add-log-exp
3×distribute-rgt-in distribute-lft-in sqrt-prod
2×sqrt-pow1 pow1/2 pow1/3 sqrt-div
1×rem-sqrt-square flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ unswap-sqr
Counts
4 → 65
Calls
4 calls:
6.0ms
(* (log (sqrt (+ (* re re) (* im im)))) (log base))
1.0ms
(cbrt base)
1.0ms
(cbrt base)
4.0ms
(sqrt (+ (* re re) (* im im)))

series71.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(* (log (sqrt (+ (* re re) (* im im)))) (log base))
23.0ms
(cbrt base)
21.0ms
(cbrt base)
6.0ms
(sqrt (+ (* re re) (* im im)))

simplify63.0ms

Algorithm
egg-herbie
Counts
77 → 77
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
04841726
14841726

prune90.0ms

Filtered
56 candidates to 77 candidates (-37.5%)
Pruning

19 alts after pruning (18 fresh and 1 done)

PrunedKeptTotal
New74377
Fresh01515
Picked011
Done000
Total741993

Merged error: 7.1b

Counts
93 → 19

regimes783.0ms

Accuracy

56.1% (10.8b remaining)

Error of 18.0b against oracle of 7.2b and baseline of 31.9b

bsearch800.0ms

Steps
ItersRangePoint
7
5.4900925013923946e+70
1.4098683644026342e+72
1.0123921509355413e+72
8
6.963051812659557e-275
2.2442376976134867e-271
1.2704163453201343e-272
7
-1.1150232987294257e-216
-1.0126466213120416e-218
-6.096374756574851e-218
6
-2.8167134239585266e+97
-1.9518383188354419e+96
-1.4211315624829081e+97

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
062128
162128

end0.0ms

analyze436.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
0%99.9%0.1%6
23.4%51.5%25.1%7
24.2%50.7%25.1%8
24.6%50.3%25.1%9
36.9%25.5%37.6%10
37.2%25.3%37.6%11
37.3%25.1%37.6%12
43.5%12.7%43.8%13
43.6%12.6%43.8%14

sample1.1s

Algorithm
intervals
Results
782.0ms8000×body80valid
89.0ms1000×body80nan

Profiling

Loading profile data...