Details

Time bar (total: 3.6s)

analyze283.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
50%50%0%2
50%50%0%3
62.5%37.5%0%4
68.7%31.2%0%5
71.8%28.1%0%6
73.4%26.5%0%7
74.2%25.8%0%8
74.6%25.4%0%9
74.8%25.2%0%10
74.9%25.1%0%11
74.9%25%0%12
74.9%25%0%13
75%25%0%14

sample75.0ms

Algorithm
intervals
Results
31.0ms65×body1280valid
13.0ms47×body640valid
12.0ms35×body2560valid
7.0ms23×body320valid
3.0ms72×body80valid
1.0ms14×body160valid

simplify3.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
099
199

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 52.5b

Counts
2 → 1

localize7.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* x x) 1.0)
1.1b
(+ x (sqrt (+ (* x x) 1.0)))
2.3b
(log (+ x (sqrt (+ (* x x) 1.0))))
16.3b
(sqrt (+ (* x x) 1.0))

rewrite20.0ms

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

series20.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(+ (* x x) 1.0)
4.0ms
(+ x (sqrt (+ (* x x) 1.0)))
8.0ms
(log (+ x (sqrt (+ (* x x) 1.0))))
4.0ms
(sqrt (+ (* x x) 1.0))

simplify43.0ms

Algorithm
egg-herbie
Counts
65 → 65
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
04968701
14968701

prune122.0ms

Filtered
52 candidates to 65 candidates (-25.0%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New61465
Fresh000
Picked101
Done000
Total62466

Merged error: 0.0b

Counts
66 → 4

localize9.0ms

Local error

Found 1 expressions with local error:

0.1b
(* (pow (/ x (sqrt 1.0)) 3) -1/6)

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
50×associate-*l*
48×add-sqr-sqrt
40×times-frac
29×add-cube-cbrt *-un-lft-identity
25×unpow-prod-down cube-prod
20×sqrt-prod
9×add-exp-log
8×unswap-sqr
4×prod-exp
3×associate-*r* add-cbrt-cube
2×pow-exp div-inv sqr-pow
1×pow1 cube-div cube-mult pow-to-exp unpow3 div-exp associate-*l/ *-commutative cbrt-unprod add-log-exp
Counts
1 → 75
Calls
1 calls:
13.0ms
(* (pow (/ x (sqrt 1.0)) 3) -1/6)

series15.0ms

Counts
1 → 3
Calls
1 calls:
15.0ms
(* (pow (/ x (sqrt 1.0)) 3) -1/6)

simplify41.0ms

Algorithm
egg-herbie
Counts
78 → 78
Iterations

Useful iterations: 0 (33.0ms)

IterNodesCost
04973758
14973758

prune128.0ms

Filtered
40 candidates to 78 candidates (-95.0%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New77178
Fresh033
Picked011
Done000
Total77582

Merged error: 0.0b

Counts
82 → 5

localize14.0ms

Local error

Found 1 expressions with local error:

1.0b
(log (pow (exp (pow (/ x (sqrt 1.0)) 3)) -1/6))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
7×log-prod
3×add-sqr-sqrt add-cube-cbrt unpow-prod-down *-un-lft-identity rem-log-exp
2×add-exp-log
1×pow1 pow-to-exp pow-exp log-pow add-cbrt-cube add-log-exp sqr-pow
Counts
1 → 18
Calls
1 calls:
8.0ms
(log (pow (exp (pow (/ x (sqrt 1.0)) 3)) -1/6))

series83.0ms

Counts
1 → 3
Calls
1 calls:
83.0ms
(log (pow (exp (pow (/ x (sqrt 1.0)) 3)) -1/6))

simplify42.0ms

Algorithm
egg-herbie
Counts
21 → 21
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
05419232

prune54.0ms

Filtered
14 candidates to 21 candidates (-50.0%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New21021
Fresh033
Picked011
Done011
Total21526

Merged error: 0.0b

Counts
26 → 5

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (- (/ 0.5 x) (/ 0.125 (pow x 3))))
0.0b
(- (/ 0.5 x) (/ 0.125 (pow x 3)))
0.4b
(/ 0.125 (pow x 3))
8.8b
(log (+ x (+ x (- (/ 0.5 x) (/ 0.125 (pow x 3))))))

rewrite94.0ms

Algorithm
rewrite-expression-head
Rules
61×add-sqr-sqrt
51×times-frac
50×*-un-lft-identity
30×add-cube-cbrt
14×unpow-prod-down cube-prod
12×associate-/r*
11×add-log-exp
10×add-exp-log difference-of-squares
7×distribute-lft-out
6×log-prod add-cbrt-cube sqr-pow
5×pow1
4×cube-mult unpow3 distribute-lft-out--
3×div-exp associate-/l*
2×sub-neg log-div flip3-+ diff-log sum-log flip-+
1×cbrt-undiv +-commutative pow-to-exp associate-+r- associate-+r+ flip3-- frac-2neg rem-log-exp pow-exp clear-num log-pow frac-sub flip-- div-inv
Counts
4 → 122
Calls
4 calls:
28.0ms
(+ x (- (/ 0.5 x) (/ 0.125 (pow x 3))))
27.0ms
(- (/ 0.5 x) (/ 0.125 (pow x 3)))
5.0ms
(/ 0.125 (pow x 3))
30.0ms
(log (+ x (+ x (- (/ 0.5 x) (/ 0.125 (pow x 3))))))

series25.0ms

Counts
4 → 12
Calls
4 calls:
4.0ms
(+ x (- (/ 0.5 x) (/ 0.125 (pow x 3))))
7.0ms
(- (/ 0.5 x) (/ 0.125 (pow x 3)))
3.0ms
(/ 0.125 (pow x 3))
11.0ms
(log (+ x (+ x (- (/ 0.5 x) (/ 0.125 (pow x 3))))))

simplify33.0ms

Algorithm
egg-herbie
Counts
134 → 134
Iterations

Useful iterations: 0 (21.0ms)

IterNodesCost
051321688

prune168.0ms

Filtered
82 candidates to 134 candidates (-63.4%)
Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New1340134
Fresh022
Picked011
Done022
Total1345139

Merged error: 0.0b

Counts
139 → 5

regimes49.0ms

Accuracy

99.4% (0.2b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 32.0b

bsearch29.0ms

Steps
ItersRangePoint
9
6.317950300068833e-05
31.435543736380023
0.8850881000200332
9
-93930.50805905247
-0.0009806051199510218
-0.9962455178555384

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
09455
19455

end0.0ms

sample2.2s

Algorithm
intervals
Results
1.1s2346×body1280valid
443.0ms1553×body640valid
282.0ms805×body2560valid
137.0ms796×body320valid
91.0ms2049×body80valid
46.0ms451×body160valid

Profiling

Loading profile data...