Details

Time bar (total: 4.2s)

sample42.0ms

Algorithm
intervals
Results
19.0ms256×body80valid

simplify97.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (95.0ms)

IterNodesCost
0397521
1397521

prune9.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 30.5b

Counts
2 → 1

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ x y) z)
1.6b
(+ (* (+ x y) z) (* (+ t y) a))
2.4b
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
28.6b
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
38×*-un-lft-identity
18×add-sqr-sqrt
16×add-cube-cbrt
15×times-frac
13×distribute-lft-out
11×add-log-exp
10×associate-*l/
8×add-exp-log add-cbrt-cube
7×flip3-+ flip-+
6×pow1
5×associate-/r*
4×associate-*l* frac-add
3×associate-*r* associate-/l*
2×flip3-- diff-log sum-log associate-/r/ flip-- associate-/l/
1×cbrt-undiv +-commutative sub-neg frac-2neg div-sub div-exp pow-prod-down prod-exp associate--l+ clear-num *-commutative cbrt-unprod div-inv unswap-sqr
Counts
4 → 90
Calls
4 calls:
7.0ms
(* (+ x y) z)
8.0ms
(+ (* (+ x y) z) (* (+ t y) a))
12.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
16.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

series217.0ms

Counts
4 → 12
Calls
4 calls:
6.0ms
(* (+ x y) z)
19.0ms
(+ (* (+ x y) z) (* (+ t y) a))
36.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
157.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

simplify36.0ms

Algorithm
egg-herbie
Counts
102 → 102
Iterations

Useful iterations: 0 (26.0ms)

IterNodesCost
052812061

prune369.0ms

Filtered
75 candidates to 102 candidates (-36.0%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New939102
Fresh000
Picked101
Done000
Total949103

Merged error: 4.3b

Counts
103 → 9

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ y (+ x (+ y t)))
1.6b
(+ (* (+ x y) z) (* (+ y t) a))
3.5b
(* (/ y (+ x (+ y t))) b)
24.8b
(/ (+ (* (+ x y) z) (* (+ y t) a)) (+ x (+ y t)))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
89×*-un-lft-identity
46×times-frac
39×add-sqr-sqrt
34×add-cube-cbrt
33×distribute-lft-out
21×associate-*l*
17×associate-*l/
13×add-exp-log flip3-+ add-cbrt-cube flip-+
10×associate-/r*
8×frac-add
6×pow1 associate-/r/ associate-/l/ associate-/l* add-log-exp
3×cbrt-undiv div-exp associate-*r* div-inv
2×frac-2neg prod-exp clear-num cbrt-unprod unswap-sqr
1×+-commutative pow-prod-down sum-log *-commutative
Counts
4 → 135
Calls
4 calls:
7.0ms
(/ y (+ x (+ y t)))
8.0ms
(+ (* (+ x y) z) (* (+ y t) a))
11.0ms
(* (/ y (+ x (+ y t))) b)
15.0ms
(/ (+ (* (+ x y) z) (* (+ y t) a)) (+ x (+ y t)))

series133.0ms

Counts
4 → 12
Calls
4 calls:
14.0ms
(/ y (+ x (+ y t)))
19.0ms
(+ (* (+ x y) z) (* (+ y t) a))
31.0ms
(* (/ y (+ x (+ y t))) b)
69.0ms
(/ (+ (* (+ x y) z) (* (+ y t) a)) (+ x (+ y t)))

simplify51.0ms

Algorithm
egg-herbie
Counts
147 → 147
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
050252273

prune170.0ms

Filtered
101 candidates to 147 candidates (-45.5%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New1425147
Fresh538
Picked101
Done000
Total1488156

Merged error: 2.8b

Counts
156 → 8

localize16.0ms

Local error

Found 4 expressions with local error:

0.2b
(* y (/ 1 (+ x (+ y t))))
1.6b
(+ (* (+ x y) z) (* (+ y t) a))
3.5b
(* (* y (/ 1 (+ x (+ y t)))) b)
24.8b
(/ (+ (* (+ x y) z) (* (+ y t) a)) (+ x (+ y t)))

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
61×*-un-lft-identity
32×add-sqr-sqrt times-frac
30×add-exp-log
25×add-cube-cbrt
24×associate-*r*
21×distribute-lft-out
20×add-cbrt-cube
18×associate-*l/
13×prod-exp
12×flip3-+ flip-+
11×pow1
8×frac-add
7×cbrt-unprod
6×associate-/l/ add-log-exp
5×div-exp associate-/r*
4×associate-*l* pow-prod-down associate-/r/
3×cbrt-undiv associate-/l* unswap-sqr
2×rec-exp 1-exp associate-*r/ un-div-inv *-commutative div-inv
1×+-commutative frac-2neg clear-num sum-log
Counts
4 → 126
Calls
4 calls:
13.0ms
(* y (/ 1 (+ x (+ y t))))
8.0ms
(+ (* (+ x y) z) (* (+ y t) a))
13.0ms
(* (* y (/ 1 (+ x (+ y t)))) b)
17.0ms
(/ (+ (* (+ x y) z) (* (+ y t) a)) (+ x (+ y t)))

series130.0ms

Counts
4 → 12
Calls
4 calls:
12.0ms
(* y (/ 1 (+ x (+ y t))))
19.0ms
(+ (* (+ x y) z) (* (+ y t) a))
32.0ms
(* (* y (/ 1 (+ x (+ y t)))) b)
68.0ms
(/ (+ (* (+ x y) z) (* (+ y t) a)) (+ x (+ y t)))

simplify51.0ms

Algorithm
egg-herbie
Counts
138 → 138
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
050682044

prune154.0ms

Filtered
89 candidates to 138 candidates (-55.1%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New1380138
Fresh077
Picked011
Done000
Total1388146

Merged error: 2.8b

Counts
146 → 8

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ (+ (* (+ x y) z) (* (+ y t) a)) (+ x (+ y t))) (* y (/ b (+ x (+ y t)))))
1.6b
(+ (* (+ x y) z) (* (+ y t) a))
6.8b
(* y (/ b (+ x (+ y t))))
24.8b
(/ (+ (* (+ x y) z) (* (+ y t) a)) (+ x (+ y t)))

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
59×*-un-lft-identity
31×times-frac
29×add-sqr-sqrt
24×add-cube-cbrt
21×associate-*r* distribute-lft-out
16×associate-*l/
12×flip3-+ flip-+
11×add-exp-log add-cbrt-cube
8×frac-add add-log-exp
6×pow1 associate-/l/
5×associate-/r*
4×associate-/r/
3×associate-*r/ associate-*l* associate-/l*
2×cbrt-undiv div-exp prod-exp cbrt-unprod div-inv unswap-sqr
1×+-commutative sub-neg flip3-- frac-2neg diff-log pow-prod-down clear-num sum-log *-commutative frac-sub flip-- sub-div
Counts
4 → 112
Calls
4 calls:
17.0ms
(- (/ (+ (* (+ x y) z) (* (+ y t) a)) (+ x (+ y t))) (* y (/ b (+ x (+ y t)))))
10.0ms
(+ (* (+ x y) z) (* (+ y t) a))
12.0ms
(* y (/ b (+ x (+ y t))))
15.0ms
(/ (+ (* (+ x y) z) (* (+ y t) a)) (+ x (+ y t)))

series342.0ms

Counts
4 → 12
Calls
4 calls:
231.0ms
(- (/ (+ (* (+ x y) z) (* (+ y t) a)) (+ x (+ y t))) (* y (/ b (+ x (+ y t)))))
19.0ms
(+ (* (+ x y) z) (* (+ y t) a))
22.0ms
(* y (/ b (+ x (+ y t))))
70.0ms
(/ (+ (* (+ x y) z) (* (+ y t) a)) (+ x (+ y t)))

simplify40.0ms

Algorithm
egg-herbie
Counts
124 → 124
Iterations

Useful iterations: 0 (27.0ms)

IterNodesCost
049932344
149932344

prune113.0ms

Filtered
89 candidates to 124 candidates (-39.3%)
Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New1231124
Fresh156
Picked011
Done011
Total1248132

Merged error: 2.8b

Counts
132 → 8

regimes764.0ms

Accuracy

2.8% (21.0b remaining)

Error of 24.0b against oracle of 3.0b and baseline of 24.6b

bsearch217.0ms

Steps
ItersRangePoint
7
1.817843105092943e+164
1.6112770041946738e+166
1.0582827174564234e+165
1
1.260735084595998e+82
1.3540496745246885e+82
1.2840637320781706e+82
8
8.228045754398994e-79
2.6855017234277423e-74
2.1157437148132097e-74
10
1.6484873824518662e-232
1.3994626587696508e-214
6.987015471052139e-217
8
-1.472509169697192e-235
-8.579489161807521e-239
-1.4559921776831976e-235
4
-6.728240533841265e-160
-3.494541859308342e-160
-4.9367313380022246e-160
8
-7.2176241449079834e-68
-3.4450917583555815e-71
-1.1948563734800308e-70
8
-5.484906525578225e+79
-2.161463471147188e+76
-7.901762548677616e+77
8
-2.4478686666901204e+110
-8.477278499927068e+107
-2.2316186460834853e+110
7
-2.4706565945152896e+160
-8.893327464571915e+158
-9.056202621880578e+158

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
066211
166211

end0.0ms

sample1.0s

Algorithm
intervals
Results
473.0ms7997×body80valid
0.0ms2×body640valid
0.0ms1×body1280valid

Profiling

Loading profile data...