Details

Time bar (total: 3.6s)

sample43.0ms

Algorithm
intervals
Results
11.0ms479×body80nan
10.0ms205×body160nan
7.0ms256×body80valid

simplify5.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0105
1115
2115

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 30.6b

Counts
2 → 1

localize7.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (sqrt (- (* x x) 1.0)))
0.0b
(- (* x x) 1.0)
0.2b
(log (+ x (sqrt (- (* x x) 1.0))))
28.4b
(sqrt (- (* x x) 1.0))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
2×log-div flip3-- flip3-+ sqrt-div flip-- flip-+
1×+-commutative sub-neg pow1/2
Counts
4 → 12
Calls
4 calls:
3.0ms
(+ x (sqrt (- (* x x) 1.0)))
3.0ms
(- (* x x) 1.0)
4.0ms
(log (+ x (sqrt (- (* x x) 1.0))))
3.0ms
(sqrt (- (* x x) 1.0))

series349.0ms

Counts
4 → 12
Calls
4 calls:
66.0ms
(+ x (sqrt (- (* x x) 1.0)))
41.0ms
(- (* x x) 1.0)
189.0ms
(log (+ x (sqrt (- (* x x) 1.0))))
54.0ms
(sqrt (- (* x x) 1.0))

simplify112.0ms

Algorithm
egg-herbie
Counts
24 → 24
Iterations

Useful iterations: 2 (22.0ms)

IterNodesCost
0256211
1864207
23950194
35001194

prune63.0ms

Filtered
24 candidates to 20 candidates (83.3%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New22224
Fresh000
Picked011
Done000
Total22325

Merged error: 0.0b

Counts
25 → 3

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (- (log x) (/ (/ 0.25 x) x)) (/ 0.09375 (pow x 4)))
0.1b
(/ (/ 0.25 x) x)
0.2b
(+ (log 2) (- (- (log x) (/ (/ 0.25 x) x)) (/ 0.09375 (pow x 4))))
0.3b
(/ 0.09375 (pow x 4))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
8×frac-sub
5×flip3-- frac-2neg clear-num flip--
4×sub-neg associate-+r+ associate--l+
3×associate-/r* div-inv associate-/l/ sqr-pow
2×associate--l- associate-+r-
1×+-commutative flip3-+ flip-+ associate-/l*
Counts
4 → 35
Calls
4 calls:
8.0ms
(- (- (log x) (/ (/ 0.25 x) x)) (/ 0.09375 (pow x 4)))
3.0ms
(/ (/ 0.25 x) x)
4.0ms
(+ (log 2) (- (- (log x) (/ (/ 0.25 x) x)) (/ 0.09375 (pow x 4))))
2.0ms
(/ 0.09375 (pow x 4))

series279.0ms

Counts
4 → 12
Calls
4 calls:
66.0ms
(- (- (log x) (/ (/ 0.25 x) x)) (/ 0.09375 (pow x 4)))
24.0ms
(/ (/ 0.25 x) x)
129.0ms
(+ (log 2) (- (- (log x) (/ (/ 0.25 x) x)) (/ 0.09375 (pow x 4))))
61.0ms
(/ 0.09375 (pow x 4))

simplify39.0ms

Algorithm
egg-herbie
Counts
47 → 47
Iterations

Useful iterations: 1 (8.0ms)

IterNodesCost
0318518
11315492
25003492

prune110.0ms

Filtered
47 candidates to 31 candidates (66.0%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New46147
Fresh011
Picked101
Done011
Total47350

Merged error: 0b

Counts
50 → 3

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (- x (/ 0.125 (pow x 3))) (* 0.5 (/ 1 x)))
0.0b
(+ x (- (- x (/ 0.125 (pow x 3))) (* 0.5 (/ 1 x))))
0.2b
(log (+ x (- (- x (/ 0.125 (pow x 3))) (* 0.5 (/ 1 x)))))
0.3b
(/ 0.125 (pow x 3))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
10×frac-sub
6×flip3-- associate-*r/ flip--
5×clear-num
4×sub-neg associate-+r+ associate--l+ un-div-inv
3×frac-2neg
2×associate--l- associate-+r- log-div flip3-+ associate-/r* flip-+
1×+-commutative unpow3 div-inv sqr-pow
Counts
4 → 33
Calls
4 calls:
5.0ms
(- (- x (/ 0.125 (pow x 3))) (* 0.5 (/ 1 x)))
4.0ms
(+ x (- (- x (/ 0.125 (pow x 3))) (* 0.5 (/ 1 x))))
5.0ms
(log (+ x (- (- x (/ 0.125 (pow x 3))) (* 0.5 (/ 1 x)))))
2.0ms
(/ 0.125 (pow x 3))

series269.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(- (- x (/ 0.125 (pow x 3))) (* 0.5 (/ 1 x)))
46.0ms
(+ x (- (- x (/ 0.125 (pow x 3))) (* 0.5 (/ 1 x))))
150.0ms
(log (+ x (- (- x (/ 0.125 (pow x 3))) (* 0.5 (/ 1 x)))))
35.0ms
(/ 0.125 (pow x 3))

simplify40.0ms

Algorithm
egg-herbie
Counts
45 → 45
Iterations

Useful iterations: 2 (33.0ms)

IterNodesCost
0338521
11321486
25002457

prune88.0ms

Filtered
45 candidates to 28 candidates (62.2%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New45045
Fresh011
Picked011
Done011
Total45348

Merged error: 0b

Counts
48 → 3

localize24.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (- (- (log x) (/ (/ 0.25 x) x)) (/ 0.09375 (pow x 4))) (- (- (- (log x) (/ (/ 0.25 x) x)) (/ 0.09375 (pow x 4))) (log 2)))
0.7b
(pow (- (- (log x) (/ (/ 0.25 x) x)) (/ 0.09375 (pow x 4))) 3)
1.0b
(pow (log 2) 3)
1.0b
(* (log 2) (log 2))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
26×flip3-- flip--
24×frac-sub
20×frac-times
12×associate--l+
10×associate-*l/
8×sqr-pow
6×distribute-rgt-in sub-neg frac-2neg distribute-lft-in clear-num associate-/r*
2×pow-to-exp unpow3 associate-*r/ *-commutative
1×pow2
Counts
4 → 53
Calls
4 calls:
13.0ms
(* (- (- (log x) (/ (/ 0.25 x) x)) (/ 0.09375 (pow x 4))) (- (- (- (log x) (/ (/ 0.25 x) x)) (/ 0.09375 (pow x 4))) (log 2)))
2.0ms
(pow (- (- (log x) (/ (/ 0.25 x) x)) (/ 0.09375 (pow x 4))) 3)
1.0ms
(pow (log 2) 3)
3.0ms
(* (log 2) (log 2))

series290.0ms

Counts
4 → 8
Calls
4 calls:
184.0ms
(* (- (- (log x) (/ (/ 0.25 x) x)) (/ 0.09375 (pow x 4))) (- (- (- (log x) (/ (/ 0.25 x) x)) (/ 0.09375 (pow x 4))) (log 2)))
106.0ms
(pow (- (- (log x) (/ (/ 0.25 x) x)) (/ 0.09375 (pow x 4))) 3)
0.0ms
(pow (log 2) 3)
0.0ms
(* (log 2) (log 2))

simplify106.0ms

Algorithm
egg-herbie
Counts
61 → 61
Iterations

Useful iterations: 1 (20.0ms)

IterNodesCost
08762295
141252274
250012274

prune307.0ms

Filtered
61 candidates to 49 candidates (80.3%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New61061
Fresh000
Picked011
Done022
Total61364

Merged error: 0b

Counts
64 → 3

regimes53.0ms

Accuracy

0% (0.2b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 0.2b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0178
1178

end0.0ms

sample1.4s

Algorithm
intervals
Results
378.0ms16296×body80nan
365.0ms7530×body160nan
237.0ms8000×body80valid