Details

Time bar (total: 6.9s)

analyze730.0ms (10.6%)

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)

sample43.0ms (0.6%)

Algorithm
1×intervals
Results
23.0ms256×body128valid
1.0ms16×body128nan
1.0ms7×body128invalid
Compiler

Compiled 77 to 56 computations (27.3% saved)

simplify443.0ms (6.4%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (344.0ms)

IterNodesCost
0297754
1297754

prune18.0ms (0.3%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112
Error
20.7b
Counts
2 → 1
Compiler

Compiled 74 to 51 computations (31.1% saved)

localize24.0ms (0.3%)

Local error

Found 8 expressions with local error:

0.4b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
0.4b
(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
0.1b
(/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
0.1b
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a))
0.4b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
1.0b
(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
23.6b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
23.6b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite27.0ms (0.4%)

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

8 calls:

10.0ms
(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
6.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
4.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
4.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
0.0ms
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a))

series550.0ms (8%)

Counts
4 → 58
Calls

4 calls:

168.0ms
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
158.0ms
(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
126.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
97.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Compiler

Compiled 3691 to 2721 computations (26.3% saved)

simplify80.0ms (1.2%)

Algorithm
1×egg-herbie
Counts
123 → 123
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
052431955

prune291.0ms (4.2%)

Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New11310123
Fresh000
Picked101
Done000
Total11410124
Error
6.5b
Counts
124 → 10
Compiler

Compiled 5306 to 3013 computations (43.2% saved)

localize28.0ms (0.4%)

Local error

Found 8 expressions with local error:

0.1b
(/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))))
0.1b
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a))
0.0b
(sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
0.0b
(sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
8.4b
(-.f64 (neg.f64 b) (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))
23.6b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
23.6b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
23.6b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite19.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
11×add-sqr-sqrt_binary64
9×sqrt-prod_binary64
8×add-log-exp_binary64
7×*-un-lft-identity_binary64 pow1_binary64 add-cube-cbrt_binary64
6×sqrt-div_binary64
4×flip3--_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 flip--_binary64
3×pow1/2_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64
2×diff-log_binary64
1×sub-neg_binary64 associate--l-_binary64 neg-sub0_binary64 cancel-sign-sub-inv_binary64 neg-log_binary64 difference-of-squares_binary64
Counts
4 → 60
Calls

8 calls:

5.0ms
(-.f64 (neg.f64 b) (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))
4.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
4.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
4.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
0.0ms
(sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))

series475.0ms (6.9%)

Counts
4 → 51
Calls

4 calls:

164.0ms
(-.f64 (neg.f64 b) (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))
111.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
109.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
91.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Compiler

Compiled 4300 to 3058 computations (28.9% saved)

simplify77.0ms (1.1%)

Algorithm
1×egg-herbie
Counts
111 → 111
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
052121774

prune245.0ms (3.6%)

Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New1110111
Fresh099
Picked011
Done000
Total11110121
Error
6.5b
Counts
121 → 10
Compiler

Compiled 5871 to 3390 computations (42.3% saved)

localize27.0ms (0.4%)

Local error

Found 8 expressions with local error:

0.4b
(-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))
0.3b
(*.f64 (cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) (cbrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
0.1b
(/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
0.1b
(/.f64 (+.f64 (neg.f64 b) (*.f64 (cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) (cbrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))) (*.f64 2 a))
7.2b
(+.f64 (neg.f64 b) (*.f64 (cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) (cbrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))
23.6b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
23.6b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
24.3b
(cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite19.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
9×add-sqr-sqrt_binary64
8×add-log-exp_binary64
7×*-un-lft-identity_binary64 add-cube-cbrt_binary64
6×pow1_binary64 sqrt-prod_binary64
4×add-exp-log_binary64 add-cbrt-cube_binary64 sqrt-div_binary64
3×flip3--_binary64 flip--_binary64 cbrt-prod_binary64
2×cbrt-div_binary64 pow1/2_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64 sum-log_binary64
1×flip3-+_binary64 neg-sub0_binary64 pow1/3_binary64 associate-+l-_binary64 neg-log_binary64 +-commutative_binary64 flip-+_binary64
Counts
4 → 56
Calls

8 calls:

5.0ms
(+.f64 (neg.f64 b) (*.f64 (cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) (cbrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))
4.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
4.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
4.0ms
(cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
0.0ms
(/.f64 (+.f64 (neg.f64 b) (*.f64 (cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) (cbrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))) (*.f64 2 a))

series576.0ms (8.4%)

Counts
4 → 52
Calls

4 calls:

203.0ms
(cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
153.0ms
(+.f64 (neg.f64 b) (*.f64 (cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) (cbrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))
136.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
85.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Compiler

Compiled 4551 to 3272 computations (28.1% saved)

simplify60.0ms (0.9%)

Algorithm
1×egg-herbie
Counts
108 → 108
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
049842143
149842143

prune228.0ms (3.3%)

Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New1080108
Fresh088
Picked011
Done011
Total10810118
Error
6.5b
Counts
118 → 10
Compiler

Compiled 5901 to 3361 computations (43% saved)

localize28.0ms (0.4%)

Local error

Found 8 expressions with local error:

0.1b
(/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
0.1b
(/.f64 (+.f64 (neg.f64 b) (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))) (*.f64 2 a))
0.0b
(sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
0.0b
(sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
10.9b
(+.f64 (neg.f64 b) (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))
23.6b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
23.6b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
23.6b
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Compiler

Compiled 765 to 1275 computations (-66.7% saved)

rewrite19.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
10×add-sqr-sqrt_binary64
9×sqrt-prod_binary64
8×add-log-exp_binary64
7×*-un-lft-identity_binary64 pow1_binary64 add-cube-cbrt_binary64
6×sqrt-div_binary64
4×add-exp-log_binary64 add-cbrt-cube_binary64
3×pow1/2_binary64 flip3--_binary64 sqrt-pow1_binary64 rem-sqrt-square_binary64 flip--_binary64
2×sum-log_binary64
1×flip3-+_binary64 neg-sub0_binary64 associate-+l-_binary64 neg-log_binary64 +-commutative_binary64 flip-+_binary64
Counts
4 → 58
Calls

8 calls:

4.0ms
(+.f64 (neg.f64 b) (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))
4.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
4.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
4.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
0.0ms
(sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))

series464.0ms (6.7%)

Counts
4 → 49
Calls

4 calls:

153.0ms
(+.f64 (neg.f64 b) (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))
133.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
89.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
88.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
Compiler

Compiled 4212 to 2993 computations (28.9% saved)

simplify74.0ms (1.1%)

Algorithm
1×egg-herbie
Counts
107 → 107
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
050431659

prune217.0ms (3.2%)

Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New1061107
Fresh257
Picked101
Done022
Total1098117
Error
6.5b
Counts
117 → 8
Compiler

Compiled 5341 to 3034 computations (43.2% saved)

regimes365.0ms (5.3%)

Accuracy

Total 0.9b remaining (14.2%)

Threshold costs 0.9b (14.2%)

Compiler

Compiled 3562 to 2494 computations (30% saved)

bsearch73.0ms (1.1%)

Steps
ItersRangePoint
8
4.270937452913649e+101
7.795859280107849e+104
6.946559789455752e+104
7
-3.252530031513093e+151
-1.3465950669058163e+150
-2.0262717151588954e+150
Compiler

Compiled 1 to 3 computations (-200% saved)

simplify4.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0117154
1117154

end0.0ms (0%)

sample1.7s (24.3%)

Algorithm
1×intervals
Results
699.0ms8000×body128valid
53.0ms665×body128nan
31.0ms379×body128invalid
Compiler

Compiled 1011 to 699 computations (30.9% saved)

Pareto

0

Profiling

Loading profile data...