Details

Time bar (total: 2.6s)

sample48.0ms

Algorithm
intervals
Results
15.0ms58×body640valid
9.0ms142×body80valid
7.0ms21×body1280valid
5.0ms25×body320valid
1.0ms10×body160valid

simplify4.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
08115
18115

prune7.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 8.4b

Counts
2 → 2

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 1.0 (- x 1.0))
0.0b
(/ 1.0 (+ 1.0 x))
0.0b
(- (/ 1.0 (- x 1.0)) (/ 2.0 x))
1.3b
(+ (/ 1.0 (+ 1.0 x)) (- (/ 1.0 (- x 1.0)) (/ 2.0 x)))

rewrite67.0ms

Algorithm
rewrite-expression-head
Rules
83×*-un-lft-identity
47×times-frac
43×add-sqr-sqrt
23×add-cube-cbrt
15×distribute-lft-out--
12×distribute-lft-out
11×add-log-exp
9×associate-/r*
8×add-exp-log add-cbrt-cube difference-of-squares
6×associate-/l*
4×pow1 associate-/r/
3×flip3-- frac-add flip--
2×cbrt-undiv sub-neg associate-+r+ frac-2neg flip3-+ diff-log div-exp clear-num sum-log frac-sub flip-+ div-inv
1×+-commutative associate-+r-
Counts
4 → 114
Calls
4 calls:
5.0ms
(/ 1.0 (- x 1.0))
5.0ms
(/ 1.0 (+ 1.0 x))
18.0ms
(- (/ 1.0 (- x 1.0)) (/ 2.0 x))
34.0ms
(+ (/ 1.0 (+ 1.0 x)) (- (/ 1.0 (- x 1.0)) (/ 2.0 x)))

series18.0ms

Counts
4 → 12
Calls
4 calls:
2.0ms
(/ 1.0 (- x 1.0))
2.0ms
(/ 1.0 (+ 1.0 x))
3.0ms
(- (/ 1.0 (- x 1.0)) (/ 2.0 x))
10.0ms
(+ (/ 1.0 (+ 1.0 x)) (- (/ 1.0 (- x 1.0)) (/ 2.0 x)))

simplify59.0ms

Algorithm
egg-herbie
Counts
126 → 126
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
049311614
149311614

prune196.0ms

Filtered
92 candidates to 126 candidates (-37.0%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1242126
Fresh101
Picked011
Done000
Total1253128

Merged error: 0.5b

Counts
128 → 3

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(* x (- x 1.0))
0.0b
(+ (* 1.0 x) (* 2.0 (- 1.0 x)))
0.0b
(* x (- (* x x) (* 1.0 1.0)))
16.1b
(+ (* 1.0 (* x (- x 1.0))) (* (+ 1.0 x) (+ (* 1.0 x) (* 2.0 (- 1.0 x)))))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
40×associate-*r/
16×frac-add
15×distribute-rgt-in distribute-lft-in
14×add-sqr-sqrt flip3-+ flip-+
10×sub-neg flip3-- *-un-lft-identity flip--
9×associate-*r*
8×pow1 add-exp-log frac-times add-cube-cbrt associate-+l+ add-cbrt-cube add-log-exp
6×associate-+r+ associate-*l*
4×associate-*l/
2×+-commutative pow-prod-down prod-exp sum-log *-commutative cbrt-unprod difference-of-squares unswap-sqr
1×distribute-lft-out--
Counts
4 → 103
Calls
4 calls:
6.0ms
(* x (- x 1.0))
4.0ms
(+ (* 1.0 x) (* 2.0 (- 1.0 x)))
6.0ms
(* x (- (* x x) (* 1.0 1.0)))
11.0ms
(+ (* 1.0 (* x (- x 1.0))) (* (+ 1.0 x) (+ (* 1.0 x) (* 2.0 (- 1.0 x)))))

series18.0ms

Counts
4 → 12
Calls
4 calls:
4.0ms
(* x (- x 1.0))
3.0ms
(+ (* 1.0 x) (* 2.0 (- 1.0 x)))
9.0ms
(* x (- (* x x) (* 1.0 1.0)))
1.0ms
(+ (* 1.0 (* x (- x 1.0))) (* (+ 1.0 x) (+ (* 1.0 x) (* 2.0 (- 1.0 x)))))

simplify55.0ms

Algorithm
egg-herbie
Counts
115 → 115
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
050772411

prune205.0ms

Filtered
79 candidates to 115 candidates (-45.6%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1150115
Fresh011
Picked011
Done011
Total1153118

Merged error: 0.5b

Counts
118 → 3

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (/ 2.0 (pow x 7)) (+ (/ 2.0 (pow x 5)) (/ 2.0 (pow x 3))))
0.2b
(/ 2.0 (pow x 5))
0.3b
(/ 2.0 (pow x 7))
0.6b
(/ 2.0 (pow x 3))

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
87×times-frac
78×*-un-lft-identity
64×add-sqr-sqrt add-cube-cbrt
36×unpow-prod-down
26×associate-/r*
19×add-exp-log
12×cube-prod sqr-pow
11×distribute-lft-out
10×add-cbrt-cube
9×div-exp associate-/l* add-log-exp
6×div-inv
4×pow1 cube-mult unpow3 frac-add
3×cbrt-undiv pow-to-exp frac-2neg pow-exp clear-num sum-log
2×flip3-+ flip-+
1×+-commutative associate-+r+
Counts
4 → 177
Calls
4 calls:
55.0ms
(+ (/ 2.0 (pow x 7)) (+ (/ 2.0 (pow x 5)) (/ 2.0 (pow x 3))))
4.0ms
(/ 2.0 (pow x 5))
4.0ms
(/ 2.0 (pow x 7))
5.0ms
(/ 2.0 (pow x 3))

series20.0ms

Counts
4 → 12
Calls
4 calls:
6.0ms
(+ (/ 2.0 (pow x 7)) (+ (/ 2.0 (pow x 5)) (/ 2.0 (pow x 3))))
4.0ms
(/ 2.0 (pow x 5))
5.0ms
(/ 2.0 (pow x 7))
4.0ms
(/ 2.0 (pow x 3))

simplify36.0ms

Algorithm
egg-herbie
Counts
189 → 189
Iterations

Useful iterations: 0 (21.0ms)

IterNodesCost
050652070

prune379.0ms

Filtered
124 candidates to 189 candidates (-52.4%)
Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New1872189
Fresh000
Picked011
Done022
Total1875192

Merged error: 0b

Counts
192 → 5

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (/ 2.0 (pow x 7)) (+ (/ 2.0 (pow x 5)) (/ (/ 2.0 x) (* x x))))
0.1b
(/ (/ 2.0 x) (* x x))
0.2b
(/ 2.0 (pow x 5))
0.3b
(/ 2.0 (pow x 7))

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
73×times-frac
55×*-un-lft-identity
50×add-sqr-sqrt add-cube-cbrt
26×add-exp-log
24×unpow-prod-down
20×add-cbrt-cube
19×associate-/l*
15×associate-/r*
12×div-exp
9×add-log-exp
8×cbrt-undiv sqr-pow
5×div-inv
4×pow1 frac-add
3×frac-2neg clear-num sum-log distribute-lft-out
2×pow-to-exp flip3-+ pow-exp prod-exp cbrt-unprod flip-+
1×+-commutative associate-+r+ associate-/l/
Counts
4 → 154
Calls
4 calls:
35.0ms
(+ (/ 2.0 (pow x 7)) (+ (/ 2.0 (pow x 5)) (/ (/ 2.0 x) (* x x))))
7.0ms
(/ (/ 2.0 x) (* x x))
4.0ms
(/ 2.0 (pow x 5))
4.0ms
(/ 2.0 (pow x 7))

series20.0ms

Counts
4 → 12
Calls
4 calls:
7.0ms
(+ (/ 2.0 (pow x 7)) (+ (/ 2.0 (pow x 5)) (/ (/ 2.0 x) (* x x))))
4.0ms
(/ (/ 2.0 x) (* x x))
4.0ms
(/ 2.0 (pow x 5))
5.0ms
(/ 2.0 (pow x 7))

simplify86.0ms

Algorithm
egg-herbie
Counts
166 → 166
Iterations

Useful iterations: 0 (72.0ms)

IterNodesCost
049681827
149681827

prune317.0ms

Filtered
116 candidates to 166 candidates (-43.1%)
Pruning

5 alts after pruning (1 fresh and 4 done)

PrunedKeptTotal
New1660166
Fresh011
Picked011
Done033
Total1665171

Merged error: 0b

Counts
171 → 5

regimes48.0ms

Accuracy

99.3% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 9.6b

bsearch26.0ms

Steps
ItersRangePoint
8
0.06592465963988953
1253.8160530937032
105.87813595844015
8
-592.0680558286634
-2.244380864214425
-114.36312374053232

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03343
13343

end0.0ms

sample791.0ms

Algorithm
intervals
Results
258.0ms1812×body640valid
164.0ms4253×body80valid
101.0ms953×body320valid
93.0ms514×body1280valid
34.0ms471×body160valid

Profiling

Loading profile data...