Details

Time bar (total: 3.6s)

analyze14.0ms

Algorithm
search

sample22.0ms

Algorithm
intervals
Results
14.0ms256×body80valid

simplify624.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0104
1204
2494
31444
44734
521284
650024

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 30.3b

Counts
2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (pow x 2.0) (pow x 2.0))
29.1b
(sqrt (+ (pow x 2.0) (pow x 2.0)))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
35×*-un-lft-identity
32×unpow-prod-down
24×sqrt-prod
20×add-sqr-sqrt
19×add-cube-cbrt
18×distribute-rgt-out
14×distribute-lft-out
8×sqr-pow
4×distribute-lft1-in distribute-rgt1-in add-log-exp
3×pow1
2×add-exp-log flip3-+ count-2 sqrt-div add-cbrt-cube flip-+
1×+-commutative rem-sqrt-square sqrt-pow1 pow1/2 sum-log
Counts
2 → 68
Calls
2 calls:
6.0ms
(+ (pow x 2.0) (pow x 2.0))
10.0ms
(sqrt (+ (pow x 2.0) (pow x 2.0)))

series16.0ms

Counts
2 → 6
Calls
2 calls:
4.0ms
(+ (pow x 2.0) (pow x 2.0))
11.0ms
(sqrt (+ (pow x 2.0) (pow x 2.0)))

simplify230.0ms

Algorithm
egg-herbie
Counts
74 → 74
Iterations

Useful iterations: 3 (224.0ms)

IterNodesCost
0149334
1494319
23175309
35001308

prune120.0ms

Filtered
44 candidates to 74 candidates (-68.2%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New69574
Fresh000
Picked011
Done000
Total69675

Merged error: 0.1b

Counts
75 → 6

localize13.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
14.1b
(sqrt (+ (pow (* (cbrt x) (cbrt x)) 2.0) (pow (* (cbrt x) (cbrt x)) 2.0)))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
16×sqrt-prod
14×*-un-lft-identity
13×add-sqr-sqrt
12×add-cube-cbrt
9×cbrt-prod
5×pow1 distribute-rgt-out distribute-lft-out
4×add-exp-log unpow-prod-down add-cbrt-cube add-log-exp sqr-pow
3×pow1/3
2×sqrt-div
1×rem-sqrt-square distribute-lft1-in sqrt-pow1 flip3-+ pow1/2 count-2 distribute-rgt1-in flip-+
Counts
4 → 61
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
6.0ms
(sqrt (+ (pow (* (cbrt x) (cbrt x)) 2.0) (pow (* (cbrt x) (cbrt x)) 2.0)))

series99.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(cbrt x)
21.0ms
(cbrt x)
24.0ms
(cbrt x)
32.0ms
(sqrt (+ (pow (* (cbrt x) (cbrt x)) 2.0) (pow (* (cbrt x) (cbrt x)) 2.0)))

simplify372.0ms

Algorithm
egg-herbie
Counts
73 → 73
Iterations

Useful iterations: 3 (366.0ms)

IterNodesCost
0191566
1526548
23755481
35001478

prune159.0ms

Filtered
54 candidates to 73 candidates (-35.2%)
Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New69473
Fresh044
Picked011
Done011
Total691079

Merged error: 0.1b

Counts
79 → 10

localize19.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
14.1b
(sqrt (+ (pow (* (cbrt x) (cbrt x)) 2.0) (pow (* (cbrt x) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))) 2.0)))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
10×*-un-lft-identity
9×cbrt-prod add-sqr-sqrt
8×add-cube-cbrt
5×pow1 sqrt-prod
4×add-exp-log add-cbrt-cube add-log-exp
3×pow1/3
2×unpow-prod-down sqrt-div distribute-lft-out
1×rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 flip-+
Counts
4 → 50
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
5.0ms
(sqrt (+ (pow (* (cbrt x) (cbrt x)) 2.0) (pow (* (cbrt x) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))) 2.0)))

series94.0ms

Counts
4 → 12
Calls
4 calls:
23.0ms
(cbrt x)
21.0ms
(cbrt x)
21.0ms
(cbrt x)
29.0ms
(sqrt (+ (pow (* (cbrt x) (cbrt x)) 2.0) (pow (* (cbrt x) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))) 2.0)))

simplify47.0ms

Algorithm
egg-herbie
Counts
62 → 62
Iterations

Useful iterations: 3 (40.0ms)

IterNodesCost
0189565
1427537
21385497
35002488

prune149.0ms

Filtered
48 candidates to 62 candidates (-29.2%)
Pruning

10 alts after pruning (7 fresh and 3 done)

PrunedKeptTotal
New62062
Fresh077
Picked011
Done022
Total621072

Merged error: 0.1b

Counts
72 → 10

localize20.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
14.5b
(cbrt (+ (pow (* (cbrt x) (cbrt x)) 2.0) (pow (* (cbrt x) (cbrt x)) 2.0)))
14.5b
(cbrt (+ (pow (* (cbrt x) (cbrt x)) 2.0) (pow (* (cbrt x) (cbrt x)) 2.0)))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
38×cbrt-prod
20×*-un-lft-identity
16×add-sqr-sqrt add-cube-cbrt
10×distribute-rgt-out distribute-lft-out
8×unpow-prod-down sqr-pow
4×pow1 add-exp-log cbrt-div pow1/3 add-cbrt-cube add-log-exp
2×distribute-lft1-in flip3-+ count-2 distribute-rgt1-in flip-+
Counts
4 → 74
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
6.0ms
(cbrt (+ (pow (* (cbrt x) (cbrt x)) 2.0) (pow (* (cbrt x) (cbrt x)) 2.0)))
5.0ms
(cbrt (+ (pow (* (cbrt x) (cbrt x)) 2.0) (pow (* (cbrt x) (cbrt x)) 2.0)))

series128.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(cbrt x)
21.0ms
(cbrt x)
44.0ms
(cbrt (+ (pow (* (cbrt x) (cbrt x)) 2.0) (pow (* (cbrt x) (cbrt x)) 2.0)))
42.0ms
(cbrt (+ (pow (* (cbrt x) (cbrt x)) 2.0) (pow (* (cbrt x) (cbrt x)) 2.0)))

simplify349.0ms

Algorithm
egg-herbie
Counts
86 → 86
Iterations

Useful iterations: 3 (338.0ms)

IterNodesCost
0195996
1518944
23718892
35002886

prune247.0ms

Filtered
64 candidates to 86 candidates (-34.4%)
Pruning

9 alts after pruning (7 fresh and 2 done)

PrunedKeptTotal
New85186
Fresh066
Picked101
Done123
Total87996

Merged error: 0.1b

Counts
96 → 9

regimes285.0ms

Accuracy

98.4% (0.3b remaining)

Error of 0.4b against oracle of 0.1b and baseline of 15.9b

bsearch25.0ms

Steps
ItersRangePoint
9
-1.068084458686644e-304
1.6328835796022508e-303
-1.791961808736e-310

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02013
12613
22613

end0.0ms

analyze6.0ms

Algorithm
search

sample520.0ms

Algorithm
intervals
Results
419.0ms8000×body80valid

Profiling

Loading profile data...