Details

Time bar (total: 42.7s)

sample44.0ms

Algorithm
intervals
Results
23.0ms256×body80valid

simplify102.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (20.0ms)

IterNodesCost
013286
155778
2262241
3500141

prune28.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 28.4b

Counts
2 → 2

localize43.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* x x) 0.0072644182)
0.2b
(* (* x x) 0.0140005442)
14.8b
(/ x (/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))))
24.4b
(/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))

rewrite115.0ms

Algorithm
rewrite-expression-head
Rules
80×associate-*r/ frac-add
68×flip3-+ flip-+
45×associate-/r/
28×associate-/l/
15×associate-/r*
4×associate-*l* *-commutative
3×frac-2neg clear-num div-inv
Counts
4 → 72
Calls
4 calls:
4.0ms
(* (* x x) 0.0072644182)
4.0ms
(* (* x x) 0.0140005442)
45.0ms
(/ x (/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))))
55.0ms
(/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))

series719.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(* (* x x) 0.0072644182)
25.0ms
(* (* x x) 0.0140005442)
262.0ms
(/ x (/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))))
407.0ms
(/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))

simplify74.0ms

Algorithm
egg-herbie
Counts
84 → 84
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
013114450
150014450

prune1.0s

Filtered
84 candidates to 74 candidates (88.1%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New81384
Fresh101
Picked101
Done000
Total83386

Merged error: 0b

Counts
86 → 3

localize45.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* x x) 0.0072644182)
0.2b
(* (* x x) 0.0140005442)
0.2b
(/ x (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))))
27.7b
(/ (/ x (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442))))) (/ 1 (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))))

rewrite155.0ms

Algorithm
rewrite-expression-head
Rules
660×associate-*r/ frac-add
561×flip3-+ flip-+
465×associate-/r/
225×times-frac
34×div-inv
15×associate-/r* associate-/l*
4×frac-2neg associate-*l* clear-num *-commutative
3×associate-/l/
Counts
4 → 287
Calls
4 calls:
4.0ms
(* (* x x) 0.0072644182)
4.0ms
(* (* x x) 0.0140005442)
28.0ms
(/ x (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))))
58.0ms
(/ (/ x (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442))))) (/ 1 (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))))

series485.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(* (* x x) 0.0072644182)
24.0ms
(* (* x x) 0.0140005442)
160.0ms
(/ x (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))))
272.0ms
(/ (/ x (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442))))) (/ 1 (+ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))))

simplify445.0ms

Algorithm
egg-herbie
Counts
299 → 299
Iterations

Useful iterations: 1 (56.0ms)

IterNodesCost
0333846581
1500145357

prune6.5s

Filtered
299 candidates to 286 candidates (95.7%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New2990299
Fresh022
Picked011
Done000
Total2993302

Merged error: 0b

Counts
302 → 3

localize55.0ms

Local error

Found 4 expressions with local error:

20.0b
(- (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))
22.6b
(- (* (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x))))) (* (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))
27.4b
(/ (/ x (/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (- (* (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x))))) (* (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))))) (- (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))
28.4b
(/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (- (* (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x))))) (* (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))))

rewrite666.0ms

Algorithm
rewrite-expression-head
Rules
3584×associate-*r/
2610×flip3-+ flip-+
1440×frac-times
1400×frac-add
1176×frac-sub
807×associate-/r/
432×associate-*l/
418×associate-/l/
395×associate-/r*
24×distribute-rgt-in distribute-lft-in associate--l+
22×associate-/l*
18×+-commutative
12×associate-+l+ *-commutative associate--r+ difference-of-squares
6×associate-+r+
5×flip3-- flip--
4×frac-2neg clear-num div-inv
2×sub-neg
Counts
4 → 1280
Calls
4 calls:
17.0ms
(- (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))
67.0ms
(- (* (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x))))) (* (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))
173.0ms
(/ (/ x (/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (- (* (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x))))) (* (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))))) (- (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))
121.0ms
(/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (- (* (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x))))) (* (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))))

series843.0ms

Counts
4 → 12
Calls
4 calls:
80.0ms
(- (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))
108.0ms
(- (* (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x))))) (* (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))
424.0ms
(/ (/ x (/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (- (* (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x))))) (* (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))))) (- (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182)))))
231.0ms
(/ (+ (+ (* (* x (* (pow (* x x) 3) (pow x 3))) (+ 0.0008327945 (* (* x x) (* 2.0 0.0001789971)))) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (pow x 6) (+ 0.0694555761 (* (* x x) 0.0140005442)))) (- (* (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x)))) (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ 1.0 (* 0.1049934947 (* x x))))) (* (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))) (* (pow x 4) (+ 0.0424060604 (* (* x x) 0.0072644182))))))

simplify1.3s

Algorithm
egg-herbie
Counts
1292 → 1292
Iterations

Useful iterations: 0 (33.0ms)

IterNodesCost
05001140880

prune28.3s

Filtered
1292 candidates to 1277 candidates (98.8%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New129111292
Fresh101
Picked011
Done011
Total129231295

Merged error: 0b

Counts
1295 → 3

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(* 0.1529819634592937 (/ 1 (pow x 5)))
0.1b
(/ 1 (pow x 5))
0.1b
(* 0.2514179000665373 (/ 1 (pow x 3)))
0.1b
(/ 1 (pow x 3))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
9×associate-*r/
6×clear-num associate-/r*
4×frac-2neg un-div-inv div-inv sqr-pow
2×pow-to-exp rec-exp pow-flip unpow3 associate-*r* *-commutative inv-pow
Counts
4 → 32
Calls
4 calls:
3.0ms
(* 0.1529819634592937 (/ 1 (pow x 5)))
3.0ms
(/ 1 (pow x 5))
3.0ms
(* 0.2514179000665373 (/ 1 (pow x 3)))
3.0ms
(/ 1 (pow x 3))

series162.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(* 0.1529819634592937 (/ 1 (pow x 5)))
45.0ms
(/ 1 (pow x 5))
35.0ms
(* 0.2514179000665373 (/ 1 (pow x 3)))
35.0ms
(/ 1 (pow x 3))

simplify90.0ms

Algorithm
egg-herbie
Counts
44 → 44
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
07258
123858
282358
3419258
4500158

prune84.0ms

Filtered
44 candidates to 24 candidates (54.5%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New44044
Fresh000
Picked011
Done022
Total44347

Merged error: 0b

Counts
47 → 3

regimes52.0ms

Accuracy

100% (0.0b remaining)

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

bsearch599.0ms

Steps
ItersRangePoint
9
357.20278190505735
4524963932.878733
782.0321228156733
8
-298845738972.0616
-119005586.03332348
-2229348345.527301

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
010552
110552

end0.0ms

sample826.0ms

Algorithm
intervals
Results
717.0ms8000×body80valid