Details

Time bar (total: 38.6s)

analyze8.9s

Algorithm
search
sampling

Space saved by range analysis: 0.146413%

Space saved by search: 5.076928%

Guaranteed chance to sample good point: 1.617978%

sample532.0ms

Algorithm
intervals
Results
140.0ms44×body2560invalid
130.0ms35×body5120invalid
84.0ms103×body1280valid
35.0ms63×body640valid
32.0ms12×body5120valid
30.0ms22×body2560valid
23.0ms28×body1280invalid
8.0ms21×body320valid
7.0ms8×body160valid
7.0ms13×body640invalid
5.0ms12×body320invalid
4.0ms31×body80invalid
4.0ms27×body80valid
3.0ms14×body160invalid

simplify29.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 3 (27.0ms)

IterNodesCost
04413
114713
285712
3500211

prune14.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: 39.9b

Counts
2 → 2

localize24.0ms

Local error

Found 4 expressions with local error:

0.2b
(pow (/ k t) 2.0)
0.8b
(* (pow t 3.0) (tan k))
19.3b
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k))) (sin k)))
31.5b
(* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k)))

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
337×add-exp-log
220×prod-exp
71×div-exp
65×add-cbrt-cube
51×pow-exp
34×pow-to-exp cbrt-unprod
30×unpow-prod-down
28×add-sqr-sqrt
24×associate-*l*
23×add-cube-cbrt *-un-lft-identity
19×times-frac
12×cbrt-undiv
5×pow1 associate-*r/
4×associate-*r* add-log-exp sqr-pow
3×tan-quot pow-unpow div-inv unswap-sqr
2×*-commutative
1×pow-pow frac-2neg associate-*l/ clear-num associate-/r* associate-/r/ associate-/l*
Counts
4 → 179
Calls
4 calls:
4.0ms
(pow (/ k t) 2.0)
5.0ms
(* (pow t 3.0) (tan k))
17.0ms
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k))) (sin k)))
11.0ms
(* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k)))

series244.0ms

Counts
4 → 12
Calls
4 calls:
14.0ms
(pow (/ k t) 2.0)
51.0ms
(* (pow t 3.0) (tan k))
107.0ms
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k))) (sin k)))
73.0ms
(* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k)))

simplify44.0ms

Algorithm
egg-herbie
Counts
191 → 191
Iterations

Useful iterations: 1 (25.0ms)

IterNodesCost
011232068
150021738

prune310.0ms

Filtered
93 candidates to 191 candidates (-105.4%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New17912191
Fresh011
Picked101
Done000
Total18013193

Merged error: 29.3b

Counts
193 → 13

localize21.0ms

Local error

Found 4 expressions with local error:

0.8b
(* (pow t 3.0) (tan k))
16.2b
(* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k))))
19.3b
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))) (sin k)))
22.5b
(* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))

rewrite105.0ms

Algorithm
rewrite-expression-head
Rules
1610×add-exp-log
1168×prod-exp
346×div-exp
341×pow-exp
205×pow-to-exp
95×add-cbrt-cube
55×cbrt-unprod
41×associate-*l*
30×unpow-prod-down
28×add-sqr-sqrt
23×add-cube-cbrt *-un-lft-identity
19×times-frac
15×cbrt-undiv
9×associate-*r/
5×associate-*r*
4×tan-quot pow1 add-log-exp sqr-pow
3×*-commutative div-inv unswap-sqr
1×frac-2neg associate-*l/ clear-num associate-/r* associate-/r/ associate-/l*
Counts
4 → 408
Calls
4 calls:
5.0ms
(* (pow t 3.0) (tan k))
16.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k))))
27.0ms
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))) (sin k)))
10.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))

series294.0ms

Counts
4 → 12
Calls
4 calls:
50.0ms
(* (pow t 3.0) (tan k))
66.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k))))
106.0ms
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))) (sin k)))
71.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))

simplify86.0ms

Algorithm
egg-herbie
Counts
420 → 420
Iterations

Useful iterations: 1 (26.0ms)

IterNodesCost
017716487
150025612

prune427.0ms

Filtered
109 candidates to 420 candidates (-285.3%)
Pruning

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New4164420
Fresh11112
Picked101
Done000
Total41815433

Merged error: 29.2b

Counts
433 → 15

localize23.0ms

Local error

Found 4 expressions with local error:

2.5b
(/ (* l l) (sin k))
16.2b
(* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k))))
17.0b
(* (/ 2.0 (* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k))))) (/ (* l l) (sin k)))
22.5b
(* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))

rewrite108.0ms

Algorithm
rewrite-expression-head
Rules
1610×add-exp-log
1029×prod-exp
485×div-exp
340×pow-exp
204×pow-to-exp
98×add-cbrt-cube
48×cbrt-unprod
42×associate-*l*
30×add-sqr-sqrt
28×times-frac
26×add-cube-cbrt unpow-prod-down *-un-lft-identity
24×cbrt-undiv
9×associate-*r/ associate-*r*
6×pow1
5×div-inv
4×add-log-exp
3×tan-quot associate-/r* *-commutative
2×unswap-sqr sqr-pow
1×frac-times frac-2neg pow-prod-down associate-*l/ clear-num associate-/r/ associate-/l*
Counts
4 → 418
Calls
4 calls:
4.0ms
(/ (* l l) (sin k))
16.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k))))
29.0ms
(* (/ 2.0 (* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k))))) (/ (* l l) (sin k)))
11.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))

series336.0ms

Counts
4 → 12
Calls
4 calls:
9.0ms
(/ (* l l) (sin k))
66.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k))))
188.0ms
(* (/ 2.0 (* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k))))) (/ (* l l) (sin k)))
72.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))

simplify82.0ms

Algorithm
egg-herbie
Counts
430 → 430
Iterations

Useful iterations: 1 (27.0ms)

IterNodesCost
017306648
150015458

prune391.0ms

Filtered
106 candidates to 430 candidates (-305.7%)
Pruning

19 alts after pruning (19 fresh and 0 done)

PrunedKeptTotal
New4228430
Fresh31114
Picked101
Done000
Total42619445

Merged error: 23.2b

Counts
445 → 19

localize22.0ms

Local error

Found 4 expressions with local error:

2.5b
(/ (* l l) (sin k))
14.0b
(* (/ 1 (pow (/ k t) (/ 2.0 2))) (* (/ 2.0 (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))) (/ (* l l) (sin k))))
16.5b
(* (/ 2.0 (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))) (/ (* l l) (sin k)))
22.5b
(* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))

rewrite220.0ms

Algorithm
rewrite-expression-head
Rules
4987×add-exp-log
2928×prod-exp
1997×div-exp
846×pow-exp
509×pow-to-exp
220×rec-exp 1-exp
217×add-cbrt-cube
105×cbrt-unprod
97×times-frac
80×associate-*l*
66×cbrt-undiv
64×add-sqr-sqrt
60×add-cube-cbrt *-un-lft-identity
52×unpow-prod-down
11×pow1
10×associate-*r/
9×associate-*r*
8×div-inv
6×frac-times
4×pow-prod-down associate-*l/ add-log-exp sqr-pow
3×associate-/r* *-commutative
2×tan-quot unswap-sqr
1×frac-2neg clear-num associate-/r/ associate-/l*
Counts
4 → 975
Calls
4 calls:
4.0ms
(/ (* l l) (sin k))
40.0ms
(* (/ 1 (pow (/ k t) (/ 2.0 2))) (* (/ 2.0 (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))) (/ (* l l) (sin k))))
17.0ms
(* (/ 2.0 (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))) (/ (* l l) (sin k)))
11.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))

series461.0ms

Counts
4 → 12
Calls
4 calls:
10.0ms
(/ (* l l) (sin k))
191.0ms
(* (/ 1 (pow (/ k t) (/ 2.0 2))) (* (/ 2.0 (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))) (/ (* l l) (sin k))))
188.0ms
(* (/ 2.0 (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))) (/ (* l l) (sin k)))
72.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))

simplify197.0ms

Algorithm
egg-herbie
Counts
987 → 987
Iterations

Useful iterations: 1 (37.0ms)

IterNodesCost
0307517702
1500216681

prune514.0ms

Filtered
156 candidates to 987 candidates (-532.7%)
Pruning

19 alts after pruning (19 fresh and 0 done)

PrunedKeptTotal
New9816987
Fresh51318
Picked101
Done000
Total987191006

Merged error: 22.2b

Counts
1006 → 19

regimes1.1s

Accuracy

39.7% (6.1b remaining)

Error of 28.3b against oracle of 22.2b and baseline of 32.3b

bsearch432.0ms

Steps
ItersRangePoint
5
1.5237780733172816e-97
4.832662380472009e-97
1.5554222248664504e-97
5
1.442950850271525e-192
3.4472062137831915e-192
1.964318218621919e-192
11
-1.0369007482628143e-104
-3.697300832997422e-139
-2.792408765308407e-107

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
08176
18976
28976

end0.0ms

analyze9.0s

Algorithm
search
sampling

Space saved by range analysis: 0.146413%

Space saved by search: 5.076928%

Guaranteed chance to sample good point: 1.617978%

sample14.6s

Algorithm
intervals
Results
3.4s714×body5120invalid
3.3s1235×body2560invalid
2.8s3365×body1280valid
1.3s923×body2560valid
1.1s1970×body640valid
687.0ms199×body5120valid
621.0ms751×body1280invalid
296.0ms686×body320valid
280.0ms534×body640invalid
117.0ms315×body320invalid
105.0ms786×body80invalid
91.0ms630×body80valid
61.0ms227×body160valid
50.0ms199×body160invalid

Profiling

Loading profile data...