Details

Time bar (total: 24.7s)

sample436.0ms

Algorithm
intervals
Results
130.0ms34×body5120valid
115.0ms67×body2560valid
97.0ms138×body1280valid
37.0ms65×body640valid
12.0ms33×body320valid
7.0ms55×body80valid
4.0ms18×body160valid

simplify26.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 3 (25.0ms)

IterNodesCost
04413
114713
285712
3500211

prune21.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: 42.7b

Counts
2 → 2

localize19.0ms

Local error

Found 4 expressions with local error:

0.2b
(pow (/ k t) 2.0)
1.0b
(* (pow t 3.0) (tan k))
23.0b
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k))) (sin k)))
31.6b
(* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k)))

rewrite48.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)))

series253.0ms

Counts
4 → 12
Calls
4 calls:
13.0ms
(pow (/ k t) 2.0)
56.0ms
(* (pow t 3.0) (tan k))
113.0ms
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k))) (sin k)))
72.0ms
(* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k)))

simplify44.0ms

Algorithm
egg-herbie
Counts
191 → 191
Iterations

Useful iterations: 1 (26.0ms)

IterNodesCost
011232068
150021738

prune1.2s

Filtered
191 candidates to 93 candidates (51.3%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New18011191
Fresh011
Picked101
Done000
Total18112193

Merged error: 31.4b

Counts
193 → 12

localize21.0ms

Local error

Found 4 expressions with local error:

1.0b
(* (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.2b
(* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))
23.0b
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))) (sin k)))

rewrite108.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))))
11.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))
31.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)))

series304.0ms

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

simplify79.0ms

Algorithm
egg-herbie
Counts
420 → 420
Iterations

Useful iterations: 1 (26.0ms)

IterNodesCost
017716487
150015612

prune1.8s

Filtered
420 candidates to 109 candidates (74.0%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New4173420
Fresh11011
Picked101
Done000
Total41913432

Merged error: 31.4b

Counts
432 → 13

localize20.0ms

Local error

Found 4 expressions with local error:

4.4b
(/ (* l l) (sin k))
16.2b
(* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k))))
19.2b
(* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))
19.8b
(* (/ 2.0 (* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k))))) (/ (* l l) (sin k)))

rewrite104.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:
5.0ms
(/ (* l l) (sin k))
20.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k))))
11.0ms
(* (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)))

series354.0ms

Counts
4 → 12
Calls
4 calls:
10.0ms
(/ (* l l) (sin k))
70.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k))))
69.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))
204.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)))

simplify85.0ms

Algorithm
egg-herbie
Counts
430 → 430
Iterations

Useful iterations: 1 (26.0ms)

IterNodesCost
017306648
150015458

prune1.3s

Filtered
430 candidates to 107 candidates (75.1%)
Pruning

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New4228430
Fresh5712
Picked101
Done000
Total42815443

Merged error: 26.1b

Counts
443 → 15

localize22.0ms

Local error

Found 4 expressions with local error:

1.0b
(* (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.2b
(* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))
19.8b
(* (/ 2.0 (* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k))))) (* l (/ l (sin k))))

rewrite113.0ms

Algorithm
rewrite-expression-head
Rules
1610×add-exp-log
1101×prod-exp
413×div-exp
341×pow-exp
205×pow-to-exp
95×add-cbrt-cube
53×cbrt-unprod
49×associate-*l*
30×add-sqr-sqrt unpow-prod-down
25×add-cube-cbrt *-un-lft-identity
21×times-frac
17×cbrt-undiv
12×associate-*r/
9×pow1
6×associate-*r*
4×tan-quot *-commutative add-log-exp sqr-pow
3×pow-prod-down div-inv unswap-sqr
1×frac-times associate-*l/ associate-/r/
Counts
4 → 416
Calls
4 calls:
5.0ms
(* (pow t 3.0) (tan k))
17.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k))))
11.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))
31.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))))

series398.0ms

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

simplify81.0ms

Algorithm
egg-herbie
Counts
428 → 428
Iterations

Useful iterations: 1 (29.0ms)

IterNodesCost
017246568
150025372

prune1.5s

Filtered
428 candidates to 103 candidates (75.9%)
Pruning

18 alts after pruning (17 fresh and 1 done)

PrunedKeptTotal
New4226428
Fresh31114
Picked011
Done000
Total42518443

Merged error: 25.7b

Counts
443 → 18

regimes1.4s

Accuracy

38.9% (8.1b remaining)

Error of 31.9b against oracle of 23.8b and baseline of 37.1b

bsearch610.0ms

Steps
ItersRangePoint
6
3.2971032807938346e-118
2.9861293991502864e-117
2.9462302763418328e-117
10
-2.3277859518990383e-296
9.106863836259708e-302
-6.157478014041324e-309
7
-1.3032219338408259e-117
-4.477705876881643e-119
-1.288237987848465e-117

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
010686
110686

end0.0ms

sample14.3s

Algorithm
intervals
Results
4.4s2277×body2560valid
4.1s989×body5120valid
3.1s4011×body1280valid
1.3s2508×body640valid
377.0ms995×body320valid
255.0ms2120×body80valid
108.0ms445×body160valid

Profiling

Loading profile data...