Details

Time bar (total: 31.1s)

analyze2.7s

Algorithm
search

sample500.0ms

Algorithm
intervals
Results
147.0ms28×body5120invalid
99.0ms44×body2560invalid
87.0ms107×body1280valid
54.0ms40×body2560valid
26.0ms46×body640valid
22.0ms27×body1280invalid
10.0ms26×body320valid
10.0ms19×body640invalid
8.0ms32×body80invalid
7.0ms3×body5120valid
4.0ms10×body320invalid
3.0ms25×body80valid
2.0ms9×body160valid
1.0ms6×body160invalid

simplify26.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 3 (24.0ms)

IterNodesCost
04413
114713
285712
3500211

prune19.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: 41.9b

Counts
2 → 2

localize18.0ms

Local error

Found 4 expressions with local error:

0.2b
(pow (/ k t) 2.0)
1.5b
(* (pow t 3.0) (tan k))
22.4b
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k))) (sin k)))
29.7b
(* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k)))

rewrite51.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)))
10.0ms
(* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k)))

series230.0ms

Counts
4 → 12
Calls
4 calls:
12.0ms
(pow (/ k t) 2.0)
51.0ms
(* (pow t 3.0) (tan k))
104.0ms
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k))) (sin k)))
63.0ms
(* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k)))

simplify42.0ms

Algorithm
egg-herbie
Counts
191 → 191
Iterations

Useful iterations: 1 (23.0ms)

IterNodesCost
011232068
150021738

prune292.0ms

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

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New18011191
Fresh011
Picked101
Done000
Total18112193

Merged error: 29.0b

Counts
193 → 12

localize20.0ms

Local error

Found 4 expressions with local error:

1.5b
(* (pow t 3.0) (tan k))
15.2b
(* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k))))
17.6b
(* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))
22.4b
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))) (sin k)))

rewrite102.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:
7.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))))
10.0ms
(* (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)))

series297.0ms

Counts
4 → 12
Calls
4 calls:
51.0ms
(* (pow t 3.0) (tan k))
67.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k))))
67.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))
113.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)))

simplify86.0ms

Algorithm
egg-herbie
Counts
420 → 420
Iterations

Useful iterations: 1 (26.0ms)

IterNodesCost
017716487
150015612

prune382.0ms

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

14 alts after pruning (13 fresh and 1 done)

PrunedKeptTotal
New4155420
Fresh3811
Picked011
Done000
Total41814432

Merged error: 28.9b

Counts
432 → 14

localize29.0ms

Local error

Found 4 expressions with local error:

0.7b
(pow (cbrt t) 3.0)
15.2b
(* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (tan k)))))
17.6b
(* (pow (/ k t) (/ 2.0 2)) (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (tan k))))
22.4b
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (tan k))))) (sin k)))

rewrite319.0ms

Algorithm
rewrite-expression-head
Rules
7574×add-exp-log
6101×prod-exp
1947×pow-exp
1399×div-exp
1110×pow-to-exp
126×add-cbrt-cube
79×cbrt-unprod
34×associate-*l*
32×unpow-prod-down
23×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
19×times-frac
18×cbrt-undiv
11×associate-*r/
5×pow1
4×add-log-exp
3×tan-quot cbrt-prod pow-unpow div-inv sqr-pow
2×pow-pow associate-*r* *-commutative
1×frac-2neg pow1/3 associate-*l/ clear-num associate-/r* associate-/r/ associate-/l*
Counts
4 → 1292
Calls
4 calls:
3.0ms
(pow (cbrt t) 3.0)
24.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (tan k)))))
15.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (tan k))))
55.0ms
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (tan k))))) (sin k)))

series306.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(pow (cbrt t) 3.0)
69.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (tan k)))))
72.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (tan k))))
119.0ms
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (tan k))))) (sin k)))

simplify263.0ms

Algorithm
egg-herbie
Counts
1304 → 1304
Iterations

Useful iterations: 1 (32.0ms)

IterNodesCost
0338828032
1500225461

prune474.0ms

Filtered
110 candidates to 1304 candidates (-1085.5%)
Pruning

13 alts after pruning (12 fresh and 1 done)

PrunedKeptTotal
New130221304
Fresh21012
Picked101
Done011
Total1305131318

Merged error: 27.9b

Counts
1318 → 13

localize29.0ms

Local error

Found 4 expressions with local error:

0.7b
(pow (cbrt t) 3.0)
15.2b
(* (pow (/ k t) (/ 2.0 2)) (* (* (pow (/ k t) (/ 2.0 2)) (pow (* (cbrt t) (cbrt t)) 3.0)) (* (pow (cbrt t) 3.0) (tan k))))
22.4b
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) (/ 2.0 2)) (* (* (pow (/ k t) (/ 2.0 2)) (pow (* (cbrt t) (cbrt t)) 3.0)) (* (pow (cbrt t) 3.0) (tan k)))) (sin k)))
22.8b
(* (pow (/ k t) (/ 2.0 2)) (pow (* (cbrt t) (cbrt t)) 3.0))

rewrite307.0ms

Algorithm
rewrite-expression-head
Rules
7406×add-exp-log
5973×prod-exp
1865×pow-exp
1370×div-exp
1069×pow-to-exp
144×add-cbrt-cube
92×cbrt-unprod
43×unpow-prod-down
40×add-sqr-sqrt
34×associate-*l*
24×add-cube-cbrt *-un-lft-identity
22×times-frac
21×cbrt-undiv
12×unswap-sqr
11×sqr-pow
6×associate-*r/ associate-*r*
5×pow1
4×add-log-exp
3×cbrt-prod pow-unpow div-inv
2×tan-quot pow-pow *-commutative
1×frac-2neg pow1/3 associate-*l/ clear-num associate-/r* associate-/r/ associate-/l*
Counts
4 → 1257
Calls
4 calls:
3.0ms
(pow (cbrt t) 3.0)
24.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (* (pow (/ k t) (/ 2.0 2)) (pow (* (cbrt t) (cbrt t)) 3.0)) (* (pow (cbrt t) 3.0) (tan k))))
56.0ms
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) (/ 2.0 2)) (* (* (pow (/ k t) (/ 2.0 2)) (pow (* (cbrt t) (cbrt t)) 3.0)) (* (pow (cbrt t) 3.0) (tan k)))) (sin k)))
11.0ms
(* (pow (/ k t) (/ 2.0 2)) (pow (* (cbrt t) (cbrt t)) 3.0))

series301.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(pow (cbrt t) 3.0)
72.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (* (pow (/ k t) (/ 2.0 2)) (pow (* (cbrt t) (cbrt t)) 3.0)) (* (pow (cbrt t) 3.0) (tan k))))
114.0ms
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) (/ 2.0 2)) (* (* (pow (/ k t) (/ 2.0 2)) (pow (* (cbrt t) (cbrt t)) 3.0)) (* (pow (cbrt t) 3.0) (tan k)))) (sin k)))
69.0ms
(* (pow (/ k t) (/ 2.0 2)) (pow (* (cbrt t) (cbrt t)) 3.0))

simplify269.0ms

Algorithm
egg-herbie
Counts
1269 → 1269
Iterations

Useful iterations: 1 (34.0ms)

IterNodesCost
0345127555
1500226624

prune491.0ms

Filtered
124 candidates to 1269 candidates (-923.4%)
Pruning

20 alts after pruning (19 fresh and 1 done)

PrunedKeptTotal
New1259101269
Fresh2911
Picked101
Done011
Total1262201282

Merged error: 20.5b

Counts
1282 → 20

regimes1.1s

Accuracy

20.9% (5.9b remaining)

Error of 26.4b against oracle of 20.5b and baseline of 27.9b

bsearch5.0s

Steps
ItersRangePoint
8
9.329257806582346e+68
6.440118695667914e+71
6.035649968556474e+71
8
2.039991560007017e-134
2.1826468760032195e-131
6.0501059291393805e-133
6
-9.20692130100403e-93
-1.1561811967770372e-93
-2.862104407100657e-93
6
-1.3721417515499589e+159
-2.780746256129901e+158
-2.8201453078894997e+158

simplify4.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
071113
174113
277113
377113

end0.0ms

analyze2.7s

Algorithm
search

sample14.8s

Algorithm
intervals
Results
3.7s786×body5120invalid
3.1s1218×body2560invalid
2.8s3272×body1280valid
1.4s998×body2560valid
1.1s1972×body640valid
648.0ms766×body1280invalid
603.0ms188×body5120valid
276.0ms500×body640invalid
270.0ms659×body320valid
145.0ms366×body320invalid
123.0ms924×body80invalid
93.0ms664×body80valid
67.0ms247×body160valid
44.0ms175×body160invalid

Profiling

Loading profile data...