Details

Time bar (total: 3.6s)

analyze2.0ms

Algorithm
search

sample63.0ms

Algorithm
intervals
Results
39.0ms85×body1280valid
11.0ms50×body640valid
3.0ms28×body320valid
2.0ms80×body80valid
1.0ms13×body160valid

simplify3.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
052
152

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 40.9b

Counts
2 → 1

localize3.0ms

Local error

Found 1 expressions with local error:

3.5b
(log (+ 1.0 x))

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
4×log-prod *-un-lft-identity
2×pow1 add-exp-log add-sqr-sqrt add-cube-cbrt log-div
1×flip3-+ rem-log-exp log-pow add-cbrt-cube flip-+ distribute-lft-out add-log-exp
Counts
1 → 15
Calls
1 calls:
3.0ms
(log (+ 1.0 x))

series3.0ms

Counts
1 → 3
Calls
1 calls:
3.0ms
(log (+ 1.0 x))

simplify38.0ms

Algorithm
egg-herbie
Counts
18 → 18
Iterations

Useful iterations: 3 (35.0ms)

IterNodesCost
012897
135487
2128081
3500178

prune36.0ms

Filtered
13 candidates to 18 candidates (-38.5%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New15318
Fresh000
Picked011
Done000
Total15419

Merged error: 0.0b

Counts
19 → 4

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b
(* 1/2 (/ (pow x 2) (pow 1.0 2)))
0.0b
(- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
80×times-frac
70×add-sqr-sqrt
68×associate-*r*
56×unpow-prod-down
36×add-cube-cbrt *-un-lft-identity
25×add-exp-log
24×unpow2 sqr-pow
17×unswap-sqr
10×prod-exp
9×div-exp
7×add-cbrt-cube
6×pow-to-exp pow-exp add-log-exp
4×pow1
3×associate-*r/ associate-*l*
2×diff-log frac-sub cbrt-unprod
1×cbrt-undiv sub-neg flip3-- flip3-+ pow-prod-down associate--l+ sum-log *-commutative flip-- flip-+ div-inv
Counts
2 → 126
Calls
2 calls:
18.0ms
(* 1/2 (/ (pow x 2) (pow 1.0 2)))
6.0ms
(- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))

series9.0ms

Counts
2 → 6
Calls
2 calls:
5.0ms
(* 1/2 (/ (pow x 2) (pow 1.0 2)))
4.0ms
(- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))

simplify70.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 2 (59.0ms)

IterNodesCost
0676880
12962757
25002753

prune219.0ms

Filtered
81 candidates to 132 candidates (-63.0%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New1311132
Fresh022
Picked011
Done011
Total1315136

Merged error: 0.0b

Counts
136 → 5

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(* 1/2 (/ (pow x 2) (pow 1.0 2)))
0.0b
(- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))
0.0b
(- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))
0.2b
(* (sqrt (- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))) (sqrt (- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))))

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
92×add-sqr-sqrt
80×times-frac
74×associate-*r*
56×unpow-prod-down
46×add-cube-cbrt *-un-lft-identity
40×sqrt-div
29×add-exp-log associate-*r/
24×frac-sub unpow2 sqr-pow
21×pow1 unswap-sqr
18×sqrt-prod
16×frac-times
12×flip3-- flip3-+ flip-- flip-+ add-log-exp
11×prod-exp add-cbrt-cube
9×div-exp associate-*l*
8×sqrt-pow1 pow1/2 swap-sqr
6×pow-to-exp pow-exp
5×pow-prod-up
4×diff-log pow-prod-down associate-*l/
3×pow-sqr cbrt-unprod
2×sub-neg associate--l+ sum-log *-commutative
1×cbrt-undiv pow2 pow-plus sqrt-unprod rem-square-sqrt div-inv
Counts
4 → 215
Calls
4 calls:
18.0ms
(* 1/2 (/ (pow x 2) (pow 1.0 2)))
6.0ms
(- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))
6.0ms
(- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))
18.0ms
(* (sqrt (- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))) (sqrt (- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))))

series19.0ms

Counts
4 → 12
Calls
4 calls:
5.0ms
(* 1/2 (/ (pow x 2) (pow 1.0 2)))
4.0ms
(- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))
4.0ms
(- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))
6.0ms
(* (sqrt (- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))) (sqrt (- (+ (* 1.0 x) (log 1.0)) (* 1/2 (/ (pow x 2) (pow 1.0 2))))))

simplify113.0ms

Algorithm
egg-herbie
Counts
227 → 227
Iterations

Useful iterations: 2 (79.0ms)

IterNodesCost
07972893
136542656
250012608

prune686.0ms

Filtered
130 candidates to 227 candidates (-74.6%)
Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New2270227
Fresh022
Picked011
Done022
Total2275232

Merged error: 0.0b

Counts
232 → 5

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (pow 1.0 3) (pow x 3))
0.3b
(- (log (+ (pow 1.0 3) (pow x 3))) (log (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
12.2b
(log (+ (* 1.0 1.0) (- (* x x) (* 1.0 x))))
13.1b
(log (+ (pow 1.0 3) (pow x 3)))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
42×*-un-lft-identity
24×log-prod
15×distribute-lft-out
12×unpow-prod-down cube-prod
10×pow1 add-sqr-sqrt
9×associate--l+
8×add-cube-cbrt log-div
6×add-exp-log log-pow add-log-exp
5×flip3-+ flip-+
4×add-cbrt-cube distribute-lft-out--
3×sum-cubes associate--r+
2×associate--l- rem-log-exp associate--r-
1×+-commutative sub-neg flip3-- diff-log sum-log flip-- difference-of-squares
Counts
4 → 84
Calls
4 calls:
10.0ms
(+ (pow 1.0 3) (pow x 3))
18.0ms
(- (log (+ (pow 1.0 3) (pow x 3))) (log (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
5.0ms
(log (+ (* 1.0 1.0) (- (* x x) (* 1.0 x))))
10.0ms
(log (+ (pow 1.0 3) (pow x 3)))

series34.0ms

Counts
4 → 12
Calls
4 calls:
5.0ms
(+ (pow 1.0 3) (pow x 3))
11.0ms
(- (log (+ (pow 1.0 3) (pow x 3))) (log (+ (* 1.0 1.0) (- (* x x) (* 1.0 x)))))
4.0ms
(log (+ (* 1.0 1.0) (- (* x x) (* 1.0 x))))
13.0ms
(log (+ (pow 1.0 3) (pow x 3)))

simplify51.0ms

Algorithm
egg-herbie
Counts
96 → 96
Iterations

Useful iterations: 2 (40.0ms)

IterNodesCost
0426965
11626909
25001869

prune202.0ms

Filtered
70 candidates to 96 candidates (-37.1%)
Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New94296
Fresh101
Picked101
Done033
Total965101

Merged error: 0.0b

Counts
101 → 5

regimes119.0ms

Accuracy

99% (0.2b remaining)

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

bsearch1.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02111
12111

end0.0ms

analyze2.0ms

Algorithm
search

sample1.8s

Algorithm
intervals
Results
1.1s2275×body1280valid
374.0ms1636×body640valid
100.0ms841×body320valid
73.0ms2828×body80valid
29.0ms420×body160valid

Profiling

Loading profile data...