Details

Time bar (total: 10.0min)

analyze4.3s (0.7%)

Algorithm
1×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
12.5%87.4%0.1%6
20.3%73.3%6.4%7
27.3%66.3%6.4%8
38.2%53%8.7%9
46%40.6%13.4%10
49.9%35.1%15%11
54.9%26.9%18.1%12
57.4%22%20.6%13
59.7%18%22.4%14
Compiler

Compiled 39 to 27 computations (30.8% saved)

sample348.0ms (0.1%)

Algorithm
1×intervals
Results
240.0ms256×body128valid
3.0ms19×body128nan
2.0ms11×body128invalid
Compiler

Compiled 77 to 56 computations (27.3% saved)

simplify2.8s (0.5%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.1s)

IterNodesCost
0297754
1297754

prune77.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 20.3b

Counts
2 → 2
Compiler

Compiled 110 to 76 computations (30.9% saved)

localize156.0ms (0%)

Local error

Found 4 expressions with local error:

1.0b
(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
1.1b
(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
22.5b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
22.5b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite282.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
16×*-un-lft-identity_binary64
14×add-sqr-sqrt_binary64
12×add-log-exp_binary64
10×sqrt-prod_binary64
8×add-cube-cbrt_binary64
6×pow1_binary64 cancel-sign-sub-inv_binary64
4×add-exp-log_binary64 add-cbrt-cube_binary64 sqrt-div_binary64
3×flip3--_binary64 flip--_binary64
2×pow1/2_binary64 diff-log_binary64 distribute-lft-out_binary64 neg-sub0_binary64 sqrt-pow1_binary64 distribute-rgt-neg-in_binary64 rem-sqrt-square_binary64 neg-log_binary64 difference-of-squares_binary64 distribute-lft-out--_binary64 sum-log_binary64
1×flip3-+_binary64 sub-neg_binary64 associate--l-_binary64 associate-+l-_binary64 +-commutative_binary64 flip-+_binary64
Counts
4 → 68
Calls

4 calls:

94.0ms
(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
82.0ms
(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
46.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
42.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

series2.3s (0.4%)

Counts
4 → 12
Calls

4 calls:

605.0ms
(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
598.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
546.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
525.0ms
(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))

simplify720.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
80 → 80
Iterations

Useful iterations: 0 (530.0ms)

IterNodesCost
054981694

prune3.6s (0.6%)

Pruning

30 alts after pruning (30 fresh and 0 done)

PrunedKeptTotal
New512980
Fresh011
Picked101
Done000
Total523082

Merged error: 7.1b

Counts
82 → 30
Compiler

Compiled 4959 to 2982 computations (39.9% saved)

localize131.0ms (0%)

Local error

Found 4 expressions with local error:

1.0b
(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
1.1b
(+.f64 (neg.f64 b) (neg.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
22.5b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
22.5b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite117.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
20×*-un-lft-identity_binary64
16×add-log-exp_binary64
8×distribute-lft-out_binary64 add-sqr-sqrt_binary64
6×pow1_binary64 add-cube-cbrt_binary64 sqrt-prod_binary64 sum-log_binary64
5×distribute-rgt-neg-in_binary64 neg-log_binary64
4×add-exp-log_binary64 add-cbrt-cube_binary64 sqrt-div_binary64
3×neg-sub0_binary64
2×flip3-+_binary64 pow1/2_binary64 flip3--_binary64 neg-mul-1_binary64 distribute-lft-neg-in_binary64 associate-+l-_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64 +-commutative_binary64 flip--_binary64 flip-+_binary64
1×associate-+r-_binary64 distribute-neg-out_binary64 unsub-neg_binary64
Counts
4 → 69
Calls

4 calls:

59.0ms
(+.f64 (neg.f64 b) (neg.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
26.0ms
(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
11.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
11.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

series1.4s (0.2%)

Counts
4 → 12
Calls

4 calls:

545.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
459.0ms
(+.f64 (neg.f64 b) (neg.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
254.0ms
(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
114.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

simplify287.0ms (0%)

Algorithm
1×egg-herbie
Counts
81 → 81
Iterations

Useful iterations: 0 (213.0ms)

IterNodesCost
049821641
149821641

prune5.1s (0.8%)

Pruning

36 alts after pruning (35 fresh and 1 done)

PrunedKeptTotal
New661581
Fresh92029
Picked011
Done000
Total7536111

Merged error: 7.1b

Counts
111 → 36
Compiler

Compiled 5323 to 3270 computations (38.6% saved)

localize296.0ms (0%)

Local error

Found 4 expressions with local error:

1.0b
(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
1.1b
(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
22.5b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
22.5b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite155.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
16×*-un-lft-identity_binary64
14×add-sqr-sqrt_binary64
12×add-log-exp_binary64
10×sqrt-prod_binary64
8×add-cube-cbrt_binary64
6×pow1_binary64 cancel-sign-sub-inv_binary64
4×add-exp-log_binary64 add-cbrt-cube_binary64 sqrt-div_binary64
3×flip3--_binary64 flip--_binary64
2×pow1/2_binary64 diff-log_binary64 distribute-lft-out_binary64 neg-sub0_binary64 sqrt-pow1_binary64 distribute-rgt-neg-in_binary64 rem-sqrt-square_binary64 neg-log_binary64 difference-of-squares_binary64 distribute-lft-out--_binary64 sum-log_binary64
1×flip3-+_binary64 sub-neg_binary64 associate--l-_binary64 associate-+l-_binary64 +-commutative_binary64 flip-+_binary64
Counts
4 → 68
Calls

4 calls:

48.0ms
(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
47.0ms
(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
24.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
24.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

series2.3s (0.4%)

Counts
4 → 12
Calls

4 calls:

883.0ms
(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
533.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
501.0ms
(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
398.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))

simplify680.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
80 → 80
Iterations

Useful iterations: 0 (487.0ms)

IterNodesCost
054981694

prune4.6s (0.8%)

Pruning

47 alts after pruning (46 fresh and 1 done)

PrunedKeptTotal
New582280
Fresh102434
Picked101
Done011
Total6947116

Merged error: 7.1b

Counts
116 → 47
Compiler

Compiled 5994 to 3757 computations (37.3% saved)

localize126.0ms (0%)

Local error

Found 4 expressions with local error:

1.0b
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))) b)
1.1b
(+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))
22.5b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))
22.5b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))
Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite283.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
13×add-sqr-sqrt_binary64
11×*-un-lft-identity_binary64
8×add-log-exp_binary64
7×add-cube-cbrt_binary64 sqrt-prod_binary64
6×pow1_binary64
4×add-exp-log_binary64 add-cbrt-cube_binary64 sqrt-div_binary64
3×flip3--_binary64 cancel-sign-sub-inv_binary64 flip--_binary64
2×pow1/2_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64 difference-of-squares_binary64
1×flip3-+_binary64 sub-neg_binary64 diff-log_binary64 distribute-lft-out_binary64 distribute-lft-out--_binary64 +-commutative_binary64 flip-+_binary64 sum-log_binary64
Counts
4 → 59
Calls

4 calls:

94.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))) b)
68.0ms
(+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))
59.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))
42.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))

series2.0s (0.3%)

Counts
4 → 12
Calls

4 calls:

745.0ms
(+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))
500.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))
397.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))
366.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))) b)

simplify511.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
71 → 71
Iterations

Useful iterations: 0 (431.0ms)

IterNodesCost
049071457
149071457

prune3.0s (0.5%)

Pruning

59 alts after pruning (59 fresh and 0 done)

PrunedKeptTotal
New551671
Fresh24345
Picked101
Done101
Total5959118

Merged error: 7.1b

Counts
118 → 59
Compiler

Compiled 3000 to 1776 computations (40.8% saved)

regimes37.0s (6.2%)

Compiler

Compiled 41138 to 28694 computations (30.2% saved)

bsearch8.8min (87.9%)

Steps
ItersRangePoint
6
1.0373336828039705e+145
4.5179692682974936e+145
2.187776906978294e+145
9
-7.822166317719753e+161
-8.384482390206293e+152
-1.3268270922626843e+154
Compiler

Compiled 1 to 3 computations (-200% saved)

Profiling

Loading profile data...