Details

Time bar (total: 3.4s)

analyze311.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
50%50%0.1%3
50%50%0.1%4
62.4%37.5%0.1%5
62.4%37.5%0.1%6
68.7%31.2%0.1%7
68.7%31.2%0.1%8
71.8%28.1%0.1%9
71.8%28.1%0.1%10
73.4%26.5%0.1%11
73.4%26.5%0.1%12
74.1%25.8%0.1%13
74.1%25.8%0.1%14

sample27.0ms

Algorithm
intervals
Results
9.0ms201×body80valid
4.0ms18×body1280valid
4.0ms14×body2560valid
2.0ms7×body5120valid
1.0ms7×body320valid
1.0ms5×body640valid
0.0ms4×body160valid

simplify22.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
02323
12323

prune3.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 38.3b

Counts
2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(+.f64 (*.f64 re re) (*.f64 im im))
0.0b
(sqrt.f64 (*.f64 2 (+.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)))
1.4b
(+.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)
30.5b
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
8×add-log-exp_binary64 pow1_binary64
7×*-un-lft-identity_binary64
6×add-sqr-sqrt_binary64
5×add-cube-cbrt_binary64
4×flip3-+_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 insert-posit16 sqrt-prod_binary64 flip-+_binary64 sqrt-div_binary64
3×sqrt-pow1_binary64
2×pow1/2_binary64 associate-*r/_binary64 +-commutative_binary64 sum-log_binary64
1×pow-prod-down_binary64 distribute-lft-out_binary64 rem-sqrt-square_binary64
Counts
4 → 55
Calls
4 calls:
5.0ms
(+.f64 (*.f64 re re) (*.f64 im im))
10.0ms
(sqrt.f64 (*.f64 2 (+.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)))
9.0ms
(+.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)
5.0ms
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))

series236.0ms

Counts
4 → 12
Calls
4 calls:
54.0ms
(+.f64 (*.f64 re re) (*.f64 im im))
64.0ms
(sqrt.f64 (*.f64 2 (+.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)))
60.0ms
(+.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) re)
58.0ms
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
01889
11889
01889
11889
013
113
02579
12579
02579
12579
013
113
02879
12879
02879
12879
013
113
01769
11769
01769
11769
013
113

simplify152.0ms

Counts
67 → 67
Iterations

Useful iterations: 0 (126.0ms)

IterNodesCost
049591005
149591005

prune85.0ms

Filtered
52 candidates to 67 candidates (-28.8%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New541367
Fresh000
Picked101
Done000
Total551368

Merged error: 32.1b

Counts
68 → 13

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt.f64 (+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
0.3b
(*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))
1.4b
(+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
30.5b
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt_binary64
18×sqrt-prod_binary64
16×*-un-lft-identity_binary64
10×pow1_binary64 add-cube-cbrt_binary64
7×associate-*r*_binary64
6×add-log-exp_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 associate-*l*_binary64 sqrt-div_binary64
4×flip3-+_binary64 pow1/2_binary64 sqrt-pow1_binary64 unswap-sqr_binary64 insert-posit16 flip-+_binary64
3×pow-prod-down_binary64 distribute-lft-out_binary64
2×associate-*r/_binary64 rem-sqrt-square_binary64
1×cbrt-unprod_binary64 sqrt-unprod_binary64 prod-exp_binary64 +-commutative_binary64 sum-log_binary64 *-commutative_binary64
Counts
4 → 80
Calls
4 calls:
7.0ms
(sqrt.f64 (+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
13.0ms
(*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))
7.0ms
(+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
5.0ms
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))

series241.0ms

Counts
4 → 12
Calls
4 calls:
61.0ms
(sqrt.f64 (+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
64.0ms
(*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))
61.0ms
(+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
54.0ms
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
01889
11889
01889
11889
013
113
02579
12579
02579
12579
013
113
02919
12919
02919
12919
013
113
02699
12699
02699
12699
013
113

simplify124.0ms

Counts
92 → 92
Iterations

Useful iterations: 0 (93.0ms)

IterNodesCost
049411751
149411751

prune82.0ms

Filtered
64 candidates to 92 candidates (-43.8%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New89392
Fresh21012
Picked101
Done000
Total9213105

Merged error: 32.1b

Counts
105 → 13

localize13.0ms

Local error

Found 4 expressions with local error:

0.4b
(pow.f64 (sqrt.f64 (*.f64 2 (+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) 3)
1.4b
(+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
16.3b
(cbrt.f64 (pow.f64 (sqrt.f64 (*.f64 2 (+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) 3))
30.5b
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
14×cbrt-prod_binary64
13×*-un-lft-identity_binary64
12×add-sqr-sqrt_binary64
11×add-cube-cbrt_binary64
9×pow1_binary64
8×unpow-prod-down_binary64 cube-prod_binary64
7×sqrt-prod_binary64
6×add-log-exp_binary64 sqrt-div_binary64
5×add-exp-log_binary64 add-cbrt-cube_binary64
4×flip3-+_binary64 associate-*r/_binary64 pow-pow_binary64 cube-div_binary64 insert-posit16 flip-+_binary64
3×pow-unpow_binary64 sqrt-pow1_binary64
2×cbrt-div_binary64 pow1/2_binary64 sqr-pow_binary64 unpow3_binary64 cube-mult_binary64
1×pow-to-exp_binary64 pow-prod-down_binary64 rem-cbrt-cube_binary64 sqrt-pow2_binary64 distribute-lft-out_binary64 pow1/3_binary64 rem-sqrt-square_binary64 rem-cube-cbrt_binary64 +-commutative_binary64 pow-exp_binary64 sum-log_binary64
Counts
4 → 87
Calls
4 calls:
11.0ms
(pow.f64 (sqrt.f64 (*.f64 2 (+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) 3)
7.0ms
(+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
4.0ms
(cbrt.f64 (pow.f64 (sqrt.f64 (*.f64 2 (+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) 3))
5.0ms
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))

series237.0ms

Counts
4 → 12
Calls
4 calls:
67.0ms
(pow.f64 (sqrt.f64 (*.f64 2 (+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) 3)
59.0ms
(+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))
52.0ms
(cbrt.f64 (pow.f64 (sqrt.f64 (*.f64 2 (+.f64 re (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) 3))
59.0ms
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
01889
11889
01889
11889
013
113
0649
1649
0649
1649
013
113
02579
12579
02579
12579
013
113
03249
13249
03249
13249
013
113

simplify90.0ms

Counts
99 → 99
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
049552049
149552049

prune79.0ms

Filtered
58 candidates to 99 candidates (-70.7%)
Pruning

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New96399
Fresh11112
Picked101
Done000
Total9814112

Merged error: 32.1b

Counts
112 → 14

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b
(*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
6.3b
(+.f64 (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) re)
30.5b
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
30.5b
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
72×sqrt-prod_binary64
50×add-sqr-sqrt_binary64
34×sqrt-pow1_binary64
29×pow1_binary64
28×sqrt-div_binary64
18×*-un-lft-identity_binary64 pow1/2_binary64 add-cube-cbrt_binary64
15×swap-sqr_binary64
9×flip3-+_binary64 associate-*r*_binary64 pow-prod-up_binary64 associate-*l*_binary64 unswap-sqr_binary64 flip-+_binary64
6×add-log-exp_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
5×pow-prod-down_binary64 pow-sqr_binary64
4×insert-posit16 frac-times_binary64
2×associate-*r/_binary64 rem-sqrt-square_binary64 associate-*l/_binary64
1×cbrt-unprod_binary64 rem-square-sqrt_binary64 pow-plus_binary64 sqrt-unprod_binary64 prod-exp_binary64 +-commutative_binary64 pow2_binary64 sum-log_binary64 *-commutative_binary64
Counts
4 → 128
Calls
4 calls:
19.0ms
(*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
19.0ms
(+.f64 (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) re)
5.0ms
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
5.0ms
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))

series247.0ms

Counts
4 → 12
Calls
4 calls:
63.0ms
(*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))
69.0ms
(+.f64 (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) re)
55.0ms
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
59.0ms
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
01889
11889
01889
11889
013
113
01889
11889
01889
11889
013
113
03359
13359
03359
13359
013
113
02669
12669
02669
12669
013
113

simplify156.0ms

Counts
140 → 140
Iterations

Useful iterations: 0 (117.0ms)

IterNodesCost
049592386
149592386

prune77.0ms

Filtered
71 candidates to 140 candidates (-97.2%)
Pruning

14 alts after pruning (13 fresh and 1 done)

PrunedKeptTotal
New1391140
Fresh11213
Picked011
Done000
Total14014154

Merged error: 32.1b

Counts
154 → 14

regimes127.0ms

Accuracy

92.7% (0.6b remaining)

Error of 31.9b against oracle of 31.2b and baseline of 39.8b

bsearch39.0ms

Steps
ItersRangePoint
8
1.5337365198296855e+150
7.655724493627496e+154
1.3778551275968388e+154
8
-3.923857481800187e-302
-1.669064693451444e-305
-1.6940226960172575e-305

simplify7.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
05095
15095

end0.0ms

sample891.0ms

Algorithm
intervals
Results
268.0ms5964×body80valid
194.0ms730×body2560valid
110.0ms500×body1280valid
108.0ms311×body5120valid
47.0ms266×body640valid
20.0ms157×body320valid
6.0ms72×body160valid

Profiling

Loading profile data...