Details

Time bar (total: 8.7s)

sample366.0ms

Algorithm
intervals
Results
48.0ms57×body1280valid
22.0ms39×body640valid
19.0ms155×body80valid
11.0ms25×body320valid
3.0ms32×body80nan
3.0ms12×body160valid

simplify48.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
04215
18314
215114
335614
4106314
5500114

prune24.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 13.2b

Counts
2 → 1

localize27.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ F (sin B))
0.3b
(* x (/ 1.0 (tan B)))
6.9b
(* (/ F (sin B)) (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (- (/ 1.0 2.0))))
15.9b
(pow (+ (+ (* F F) 2.0) (* 2.0 x)) (- (/ 1.0 2.0)))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
6×frac-times pow-neg clear-num
5×neg-sub0 frac-2neg associate-*r/ div-inv pow-sub
3×pow-unpow associate-*r* associate-*l/
2×un-div-inv *-commutative sqr-pow
1×tan-quot distribute-lft-neg-in pow-to-exp neg-mul-1 distribute-rgt-neg-in associate-*l* associate-/r/
Counts
4 → 32
Calls
4 calls:
2.0ms
(/ F (sin B))
3.0ms
(* x (/ 1.0 (tan B)))
7.0ms
(* (/ F (sin B)) (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (- (/ 1.0 2.0))))
7.0ms
(pow (+ (+ (* F F) 2.0) (* 2.0 x)) (- (/ 1.0 2.0)))

series611.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(/ F (sin B))
110.0ms
(* x (/ 1.0 (tan B)))
289.0ms
(* (/ F (sin B)) (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (- (/ 1.0 2.0))))
159.0ms
(pow (+ (+ (* F F) 2.0) (* 2.0 x)) (- (/ 1.0 2.0)))

simplify138.0ms

Algorithm
egg-herbie
Counts
44 → 44
Iterations

Useful iterations: 1 (8.0ms)

IterNodesCost
0263252
1981249
24693249
35001249

prune175.0ms

Filtered
44 candidates to 34 candidates (77.3%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New35944
Fresh000
Picked101
Done000
Total36945

Merged error: 0.1b

Counts
45 → 9

localize22.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ F (* (sin B) (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (/ 1.0 2.0))))
0.3b
(* x (/ 1.0 (tan B)))
0.3b
(* (sin B) (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (/ 1.0 2.0)))
15.8b
(pow (+ (+ (* F F) 2.0) (* 2.0 x)) (/ 1.0 2.0))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
4×associate-*r*
3×associate-*r/ clear-num associate-/r* *-commutative div-inv sqr-pow
2×frac-2neg
1×tan-quot pow-to-exp pow-unpow associate-/r/ un-div-inv
Counts
4 → 18
Calls
4 calls:
6.0ms
(/ F (* (sin B) (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (/ 1.0 2.0))))
4.0ms
(* x (/ 1.0 (tan B)))
6.0ms
(* (sin B) (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (/ 1.0 2.0)))
5.0ms
(pow (+ (+ (* F F) 2.0) (* 2.0 x)) (/ 1.0 2.0))

series792.0ms

Counts
4 → 12
Calls
4 calls:
301.0ms
(/ F (* (sin B) (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (/ 1.0 2.0))))
111.0ms
(* x (/ 1.0 (tan B)))
245.0ms
(* (sin B) (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (/ 1.0 2.0)))
134.0ms
(pow (+ (+ (* F F) 2.0) (* 2.0 x)) (/ 1.0 2.0))

simplify112.0ms

Algorithm
egg-herbie
Counts
30 → 30
Iterations

Useful iterations: 2 (27.0ms)

IterNodesCost
0286208
1911202
24090195
35001195

prune141.0ms

Filtered
30 candidates to 26 candidates (86.7%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New26430
Fresh358
Picked101
Done000
Total30939

Merged error: 0.0b

Counts
39 → 9

localize28.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (* x (- 1.0)) (- (tan B)))
0.2b
(/ F (* (sin B) (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (/ 1.0 2.0))))
0.3b
(* (sin B) (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (/ 1.0 2.0)))
15.8b
(pow (+ (+ (* F F) 2.0) (* 2.0 x)) (/ 1.0 2.0))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
6×neg-mul-1
4×associate-*r* associate-/r* *-commutative
3×times-frac div-inv associate-/l* sqr-pow
2×frac-2neg clear-num
1×tan-quot pow-to-exp pow-unpow distribute-frac-neg associate-/r/ distribute-rgt-neg-out distribute-neg-frac
Counts
4 → 23
Calls
4 calls:
4.0ms
(/ (* x (- 1.0)) (- (tan B)))
6.0ms
(/ F (* (sin B) (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (/ 1.0 2.0))))
6.0ms
(* (sin B) (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (/ 1.0 2.0)))
5.0ms
(pow (+ (+ (* F F) 2.0) (* 2.0 x)) (/ 1.0 2.0))

series792.0ms

Counts
4 → 12
Calls
4 calls:
114.0ms
(/ (* x (- 1.0)) (- (tan B)))
297.0ms
(/ F (* (sin B) (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (/ 1.0 2.0))))
250.0ms
(* (sin B) (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (/ 1.0 2.0)))
131.0ms
(pow (+ (+ (* F F) 2.0) (* 2.0 x)) (/ 1.0 2.0))

simplify115.0ms

Algorithm
egg-herbie
Counts
35 → 35
Iterations

Useful iterations: 2 (26.0ms)

IterNodesCost
0323246
1912237
24322228
35001228

prune173.0ms

Filtered
35 candidates to 33 candidates (94.3%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New31435
Fresh448
Picked101
Done000
Total36844

Merged error: 0.0b

Counts
44 → 8

localize23.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (* x (- 1.0)) (- (tan B)))
0.2b
(/ F (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (/ 1.0 2.0)))
0.2b
(/ (/ F (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (/ 1.0 2.0))) (sin B))
15.8b
(pow (+ (+ (* F F) 2.0) (* 2.0 x)) (/ 1.0 2.0))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
6×neg-mul-1
5×div-inv
4×frac-2neg clear-num associate-/l/ associate-/l*
3×times-frac associate-/r* sqr-pow
2×associate-*r* *-commutative
1×tan-quot pow-to-exp pow-unpow distribute-frac-neg associate-/r/ distribute-rgt-neg-out distribute-neg-frac
Counts
4 → 27
Calls
4 calls:
4.0ms
(/ (* x (- 1.0)) (- (tan B)))
5.0ms
(/ F (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (/ 1.0 2.0)))
6.0ms
(/ (/ F (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (/ 1.0 2.0))) (sin B))
5.0ms
(pow (+ (+ (* F F) 2.0) (* 2.0 x)) (/ 1.0 2.0))

series840.0ms

Counts
4 → 12
Calls
4 calls:
115.0ms
(/ (* x (- 1.0)) (- (tan B)))
231.0ms
(/ F (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (/ 1.0 2.0)))
358.0ms
(/ (/ F (pow (+ (+ (* F F) 2.0) (* 2.0 x)) (/ 1.0 2.0))) (sin B))
135.0ms
(pow (+ (+ (* F F) 2.0) (* 2.0 x)) (/ 1.0 2.0))

simplify121.0ms

Algorithm
egg-herbie
Counts
39 → 39
Iterations

Useful iterations: 2 (26.0ms)

IterNodesCost
0309272
1865262
24391260
35002260

prune151.0ms

Filtered
39 candidates to 34 candidates (87.2%)
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New36339
Fresh257
Picked011
Done000
Total38947

Merged error: 0.0b

Counts
47 → 9

regimes158.0ms

Accuracy

98% (0.2b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 11.1b

bsearch228.0ms

Steps
ItersRangePoint
7
7152780495357.076
555429331548894.9
4.6470856544956e+14
8
-4.1199642023057757e+158
-1.3231775687772873e+155
-1.3475670115121101e+155

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05439
16039
26139
36139

end0.0ms

sample3.5s

Algorithm
intervals
Results
1.4s1652×body1280valid
758.0ms1367×body640valid
581.0ms4790×body80valid
270.0ms711×body320valid
138.0ms1586×body80nan
94.0ms372×body160valid