Details

Time bar (total: 2.4s)

analyze449.0ms (18.9%)

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
0%99.9%0.1%6
12.5%87.4%0.1%7
18.7%81.1%0.1%8
28.1%71.8%0.1%9
42.1%57.7%0.1%10
49.1%50.7%0.1%11
57.3%42.5%0.1%12
66.9%33%0.1%13
71.7%28.2%0.1%14

sample19.0ms (0.8%)

Algorithm
1×intervals
Results
10.0ms256×body80valid

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01912
11912

prune9.0ms (0.4%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 36.1b

Counts
2 → 1

localize8.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b
(+ (+ (* x x) (* y y)) (* z z))
0.0b
(+ (* x x) (* y y))
33.5b
(sqrt (+ (+ (* x x) (* y y)) (* z z)))

rewrite15.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
10×add-log-exp
5×add-sqr-sqrt
4×pow1 add-cube-cbrt *-un-lft-identity sum-log
3×add-exp-log flip3-+ sqrt-prod add-cbrt-cube flip-+
2×+-commutative sqrt-div
1×rem-sqrt-square associate-+l+ sqrt-pow1 pow1/2
Counts
3 → 39
Calls

3 calls:

6.0ms
(+ (+ (* x x) (* y y)) (* z z))
5.0ms
(sqrt (+ (+ (* x x) (* y y)) (* z z)))
4.0ms
(+ (* x x) (* y y))

series32.0ms (1.4%)

Counts
3 → 9
Calls

3 calls:

18.0ms
(sqrt (+ (+ (* x x) (* y y)) (* z z)))
9.0ms
(+ (+ (* x x) (* y y)) (* z z))
5.0ms
(+ (* x x) (* y y))

simplify60.0ms (2.5%)

Algorithm
1×egg-herbie
Counts
48 → 48
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
04933605
14933605

prune74.0ms (3.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New44448
Fresh000
Picked011
Done000
Total44549

Merged error: 18.8b

Counts
49 → 5

localize16.0ms (0.7%)

Local error

Found 4 expressions with local error:

3.0b
(- (* x x) (* y y))
8.4b
(- (pow x 4) (pow y 4))
33.5b
(sqrt (+ (/ (- (pow x 4) (pow y 4)) (- (* x x) (* y y))) (* z z)))
39.4b
(/ (- (pow x 4) (pow y 4)) (- (* x x) (* y y)))

rewrite50.0ms (2.1%)

Algorithm
1×rewrite-expression-head
Rules
98×add-sqr-sqrt
70×difference-of-squares
56×times-frac
49×*-un-lft-identity
48×unpow-prod-down
36×sqr-pow
25×add-cube-cbrt
14×associate-/l*
12×distribute-lft-out--
8×add-log-exp
6×add-exp-log add-cbrt-cube
5×pow1
4×flip3-- associate-/r* flip--
3×sqrt-prod
2×sub-neg sqrt-div diff-log associate-/r/ associate-/l/
1×cbrt-undiv rem-sqrt-square frac-2neg sqrt-pow1 flip3-+ pow1/2 div-sub div-exp clear-num flip-+ div-inv
Counts
4 → 140
Calls

4 calls:

21.0ms
(sqrt (+ (/ (- (pow x 4) (pow y 4)) (- (* x x) (* y y))) (* z z)))
13.0ms
(/ (- (pow x 4) (pow y 4)) (- (* x x) (* y y)))
7.0ms
(- (pow x 4) (pow y 4))
4.0ms
(- (* x x) (* y y))

series63.0ms (2.7%)

Counts
4 → 12
Calls

4 calls:

33.0ms
(sqrt (+ (/ (- (pow x 4) (pow y 4)) (- (* x x) (* y y))) (* z z)))
16.0ms
(/ (- (pow x 4) (pow y 4)) (- (* x x) (* y y)))
8.0ms
(- (pow x 4) (pow y 4))
6.0ms
(- (* x x) (* y y))

simplify55.0ms (2.3%)

Algorithm
1×egg-herbie
Counts
152 → 152
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
049432679
149432679

prune277.0ms (11.7%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1511152
Fresh033
Picked011
Done011
Total1516157

Merged error: 18.7b

Counts
157 → 6

localize2.0ms (0.1%)

rewrite0.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms (0%)

Counts
0 → 0

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
000

prune8.0ms (0.4%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New000
Fresh033
Picked011
Done022
Total066

Merged error: 18.7b

Counts
6 → 6

localize1.0ms (0%)

rewrite0.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms (0%)

Counts
0 → 0

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
000

prune0.0ms (0%)

Pruning

6 alts after pruning (2 fresh and 4 done)

PrunedKeptTotal
New000
Fresh022
Picked011
Done033
Total066

Merged error: 18.7b

Counts
6 → 6

regimes680.0ms (28.6%)

Accuracy

Total 7.6b remaining (29.3%)

Threshold costs 0b (0%)

bsearch59.0ms (2.5%)

Steps
ItersRangePoint
10
5.893753444778148e+126
1.7358545302940027e+137
8.528180313170455e+134
9
-1.2818028586654817e-105
-2.811388120797762e-113
-9.142573482041666e-106
8
-3.1121383180840335e-82
-7.268363457890902e-87
-1.4463278090717525e-86
7
-7.077156834957297e+114
-3.9464998972412066e+113
-1.0029854725212742e+114

simplify1.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03144
13144

end0.0ms (0%)

sample488.0ms (20.6%)

Algorithm
1×intervals
Results
325.0ms8000×body80valid

Profiling

Loading profile data...