Details

Time bar (total: 12.2s)

analyze2.2s

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
0%99.9%0.1%6
0%99.9%0.1%7
1.6%98.3%0.1%8
2.3%97.5%0.1%9
7.4%90.9%1.7%10
9.2%87.4%3.5%11
11.7%83.5%4.8%12
15.2%76%8.8%13
16.4%72%11.6%14

sample136.0ms

Algorithm
intervals
Results
58.0ms66×body1280valid
24.0ms44×body640valid
14.0ms108×body80valid
10.0ms24×body320valid
6.0ms52×body80invalid
4.0ms14×body160valid
3.0ms7×body320invalid
1.0ms3×body640invalid
1.0ms3×body160invalid

simplify23.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (21.0ms)

IterNodesCost
0508625

prune15.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: 31.6b

Counts
2 → 2

localize21.0ms

Local error

Found 4 expressions with local error:

2.2b
(* (/ (pow t 3.0) (* l l)) (sin k))
3.7b
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
11.5b
(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
22.4b
(/ (pow t 3.0) (* l l))

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
108×add-exp-log
58×prod-exp
52×add-cbrt-cube
26×cbrt-unprod
24×div-exp
21×add-sqr-sqrt
20×pow1
19×*-un-lft-identity
17×times-frac
16×associate-*l/
14×add-cube-cbrt
13×associate-*l*
11×associate-*r*
10×frac-times unpow-prod-down pow-prod-down
8×tan-quot cbrt-undiv pow-to-exp pow-exp
7×associate-/l*
6×associate-*r/
4×flip3-+ flip-+ add-log-exp unswap-sqr sqr-pow
3×*-commutative distribute-lft-out
2×div-inv
1×distribute-rgt-in frac-2neg distribute-lft-in clear-num associate-/r*
Counts
4 → 144
Calls
4 calls:
9.0ms
(* (/ (pow t 3.0) (* l l)) (sin k))
13.0ms
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
22.0ms
(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
6.0ms
(/ (pow t 3.0) (* l l))

series339.0ms

Counts
4 → 12
Calls
4 calls:
56.0ms
(* (/ (pow t 3.0) (* l l)) (sin k))
78.0ms
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
165.0ms
(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
40.0ms
(/ (pow t 3.0) (* l l))

simplify55.0ms

Algorithm
egg-herbie
Counts
156 → 156
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
049972562
149972562

prune340.0ms

Filtered
98 candidates to 156 candidates (-59.2%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New14412156
Fresh011
Picked101
Done000
Total14513158

Merged error: 21.5b

Counts
158 → 13

localize27.0ms

Local error

Found 4 expressions with local error:

3.7b
(* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
4.5b
(* (/ (pow (cbrt t) 3.0) l) (sin k))
9.6b
(/ (pow (* (cbrt t) (cbrt t)) 3.0) l)
11.5b
(* (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

rewrite76.0ms

Algorithm
rewrite-expression-head
Rules
304×add-exp-log
184×prod-exp
78×add-cbrt-cube
77×div-exp
50×add-sqr-sqrt
49×times-frac
44×associate-*l/ cbrt-unprod
42×*-un-lft-identity
37×add-cube-cbrt
36×associate-*l*
34×frac-times
33×pow-exp
29×pow1
24×unpow-prod-down
22×pow-to-exp
17×pow-prod-down
16×tan-quot
14×associate-*r/
12×cbrt-undiv
11×associate-*r*
10×cbrt-prod
8×flip3-+ flip-+ sqr-pow
5×associate-/l* unswap-sqr
4×add-log-exp
3×associate-/r* *-commutative distribute-lft-out
2×div-inv
1×distribute-rgt-in frac-2neg distribute-lft-in clear-num
Counts
4 → 229
Calls
4 calls:
16.0ms
(* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
10.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
5.0ms
(/ (pow (* (cbrt t) (cbrt t)) 3.0) l)
32.0ms
(* (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

series373.0ms

Counts
4 → 12
Calls
4 calls:
84.0ms
(* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
55.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
45.0ms
(/ (pow (* (cbrt t) (cbrt t)) 3.0) l)
188.0ms
(* (* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

simplify91.0ms

Algorithm
egg-herbie
Counts
241 → 241
Iterations

Useful iterations: 0 (62.0ms)

IterNodesCost
049665639
149665639

prune590.0ms

Filtered
138 candidates to 241 candidates (-74.6%)
Pruning

18 alts after pruning (18 fresh and 0 done)

PrunedKeptTotal
New2338241
Fresh21012
Picked101
Done000
Total23618254

Merged error: 15.2b

Counts
254 → 18

localize34.0ms

Local error

Found 4 expressions with local error:

0.8b
(* (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) l)) (* (/ (pow (cbrt t) 3.0) l) (sin k)))
3.7b
(* (* (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) l)) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
4.5b
(* (/ (pow (cbrt t) 3.0) l) (sin k))
11.5b
(* (* (* (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) l)) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

rewrite148.0ms

Algorithm
rewrite-expression-head
Rules
1884×add-exp-log
1325×prod-exp
432×div-exp
334×pow-exp
199×pow-to-exp
151×add-cbrt-cube
96×cbrt-unprod
47×associate-*l/
40×add-sqr-sqrt
37×associate-*l*
35×frac-times
34×pow1 times-frac
33×associate-*r/
32×*-un-lft-identity
27×add-cube-cbrt
20×unpow-prod-down pow-prod-down
19×cbrt-undiv
16×tan-quot
12×associate-*r*
10×cbrt-prod
8×flip3-+ flip-+
5×unswap-sqr
4×*-commutative add-log-exp sqr-pow
3×distribute-lft-out
1×distribute-rgt-in distribute-lft-in div-inv
Counts
4 → 486
Calls
4 calls:
17.0ms
(* (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) l)) (* (/ (pow (cbrt t) 3.0) l) (sin k)))
24.0ms
(* (* (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) l)) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
10.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
43.0ms
(* (* (* (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) l)) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

series396.0ms

Counts
4 → 12
Calls
4 calls:
65.0ms
(* (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) l)) (* (/ (pow (cbrt t) 3.0) l) (sin k)))
84.0ms
(* (* (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) l)) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
57.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
190.0ms
(* (* (* (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) l)) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

simplify152.0ms

Algorithm
egg-herbie
Counts
498 → 498
Iterations

Useful iterations: 0 (80.0ms)

IterNodesCost
0498113014
1498113014

prune631.0ms

Filtered
123 candidates to 498 candidates (-304.9%)
Pruning

22 alts after pruning (22 fresh and 0 done)

PrunedKeptTotal
New4908498
Fresh31417
Picked101
Done000
Total49422516

Merged error: 13.9b

Counts
516 → 22

localize36.0ms

Local error

Found 4 expressions with local error:

0.8b
(/ 2.0 (* (* (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) l) (* (/ (pow (cbrt t) 3.0) l) (sin k)))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0)))
3.7b
(* (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) l) (* (/ (pow (cbrt t) 3.0) l) (sin k)))) (tan k))
4.5b
(* (/ (pow (cbrt t) 3.0) l) (sin k))
11.5b
(* (* (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) l) (* (/ (pow (cbrt t) 3.0) l) (sin k)))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

rewrite193.0ms

Algorithm
rewrite-expression-head
Rules
2178×add-exp-log
1521×prod-exp
530×div-exp
337×pow-exp
199×pow-to-exp
154×add-cbrt-cube
95×cbrt-unprod
78×associate-*l/
67×associate-*r/
63×frac-times
42×add-sqr-sqrt
37×times-frac
36×associate-*l*
34×*-un-lft-identity
29×add-cube-cbrt
28×tan-quot
26×cbrt-undiv
23×associate-/r/
20×unpow-prod-down
16×flip3-+ flip-+
13×pow1
11×associate-*r*
10×cbrt-prod
5×pow-prod-down unswap-sqr
4×add-log-exp sqr-pow
3×*-commutative distribute-lft-out associate-/l*
2×div-inv
1×distribute-rgt-in frac-2neg distribute-lft-in clear-num associate-/r*
Counts
4 → 504
Calls
4 calls:
49.0ms
(/ 2.0 (* (* (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) l) (* (/ (pow (cbrt t) 3.0) l) (sin k)))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0)))
26.0ms
(* (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) l) (* (/ (pow (cbrt t) 3.0) l) (sin k)))) (tan k))
12.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
43.0ms
(* (* (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) l) (* (/ (pow (cbrt t) 3.0) l) (sin k)))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

series506.0ms

Counts
4 → 12
Calls
4 calls:
176.0ms
(/ 2.0 (* (* (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) l) (* (/ (pow (cbrt t) 3.0) l) (sin k)))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0)))
87.0ms
(* (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) l) (* (/ (pow (cbrt t) 3.0) l) (sin k)))) (tan k))
55.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
187.0ms
(* (* (* (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) (* (/ (pow (* (cbrt t) (cbrt t)) (/ 3.0 2)) l) (* (/ (pow (cbrt t) 3.0) l) (sin k)))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

simplify157.0ms

Algorithm
egg-herbie
Counts
516 → 516
Iterations

Useful iterations: 0 (73.0ms)

IterNodesCost
0559616815

prune589.0ms

Filtered
141 candidates to 516 candidates (-266.0%)
Pruning

24 alts after pruning (24 fresh and 0 done)

PrunedKeptTotal
New5088516
Fresh51621
Picked101
Done000
Total51424538

Merged error: 9.6b

Counts
538 → 24

regimes819.0ms

Accuracy

26.1% (4.9b remaining)

Error of 16.9b against oracle of 12.0b and baseline of 18.6b

bsearch233.0ms

Steps
ItersRangePoint
8
2.8051231462111727e-173
2.9488352615466736e-170
2.591394722339234e-170
9
-1.1662809502156504e-223
-7.61162919168192e-233
-1.1405663965160772e-223

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
060115
160115

end0.0ms

sample4.0s

Algorithm
intervals
Results
1.6s2043×body1280valid
904.0ms1644×body640valid
433.0ms3251×body80valid
279.0ms711×body320valid
176.0ms1366×body80invalid
94.0ms351×body160valid
75.0ms126×body640invalid
45.0ms117×body320invalid
24.0ms89×body160invalid
20.0ms26×body1280invalid

Profiling

Loading profile data...