Details

Time bar (total: 16.8s)

analyze2.4s

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

sample138.0ms

Algorithm
intervals
Results
49.0ms61×body1280valid
31.0ms57×body640valid
18.0ms104×body80valid
9.0ms24×body320valid
5.0ms40×body80invalid
5.0ms9×body640invalid
3.0ms10×body160valid
2.0ms6×body320invalid
1.0ms1×body1280invalid
1.0ms2×body160invalid

simplify24.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (22.0ms)

IterNodesCost
0508625

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: 30.0b

Counts
2 → 2

localize21.0ms

Local error

Found 4 expressions with local error:

2.7b
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
3.1b
(* (/ (pow t 3.0) (* l l)) (sin k))
13.7b
(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
16.2b
(/ (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:
10.0ms
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
8.0ms
(* (/ (pow t 3.0) (* l l)) (sin k))
22.0ms
(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
9.0ms
(/ (pow t 3.0) (* l l))

series325.0ms

Counts
4 → 12
Calls
4 calls:
71.0ms
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
55.0ms
(* (/ (pow t 3.0) (* l l)) (sin k))
160.0ms
(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
38.0ms
(/ (pow t 3.0) (* l l))

simplify48.0ms

Algorithm
egg-herbie
Counts
156 → 156
Iterations

Useful iterations: 0 (30.0ms)

IterNodesCost
053902634

prune295.0ms

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

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New1497156
Fresh011
Picked101
Done000
Total1508158

Merged error: 21.4b

Counts
158 → 8

localize28.0ms

Local error

Found 4 expressions with local error:

2.7b
(* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
4.2b
(* (/ (pow (cbrt t) 3.0) l) (sin k))
8.6b
(/ (pow (* (cbrt t) (cbrt t)) 3.0) l)
13.7b
(* (* (* (/ (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))

rewrite77.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)
33.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))

series358.0ms

Counts
4 → 12
Calls
4 calls:
80.0ms
(* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
53.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
43.0ms
(/ (pow (* (cbrt t) (cbrt t)) 3.0) l)
182.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))

simplify68.0ms

Algorithm
egg-herbie
Counts
241 → 241
Iterations

Useful iterations: 0 (36.0ms)

IterNodesCost
055235683

prune497.0ms

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

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New2347241
Fresh077
Picked101
Done000
Total23514249

Merged error: 16.2b

Counts
249 → 14

localize25.0ms

Local error

Found 4 expressions with local error:

1.3b
(* (/ (pow (cbrt t) 3.0) (/ l (pow (cbrt t) 3.0))) (* (/ (pow (cbrt t) 3.0) l) (sin k)))
2.7b
(* (* (/ (pow (cbrt t) 3.0) (/ l (pow (cbrt t) 3.0))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
4.2b
(* (/ (pow (cbrt t) 3.0) l) (sin k))
13.7b
(* (* (* (/ (pow (cbrt t) 3.0) (/ l (pow (cbrt t) 3.0))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

rewrite236.0ms

Algorithm
rewrite-expression-head
Rules
1050×add-exp-log
674×times-frac
554×prod-exp
435×div-exp
404×unpow-prod-down
381×associate-*l*
343×add-sqr-sqrt
335×*-un-lft-identity
330×add-cube-cbrt
202×cbrt-prod
151×add-cbrt-cube
145×pow-to-exp pow-exp
78×cbrt-unprod
68×sqr-pow
47×associate-*l/
37×cbrt-undiv
35×frac-times
34×pow1
20×pow-prod-down
16×tan-quot
15×associate-*r/
12×associate-*r* div-inv
8×flip3-+ flip-+
5×unswap-sqr
4×*-commutative add-log-exp
3×distribute-lft-out
1×distribute-rgt-in distribute-lft-in associate-/r/
Counts
4 → 710
Calls
4 calls:
59.0ms
(* (/ (pow (cbrt t) 3.0) (/ l (pow (cbrt t) 3.0))) (* (/ (pow (cbrt t) 3.0) l) (sin k)))
43.0ms
(* (* (/ (pow (cbrt t) 3.0) (/ l (pow (cbrt t) 3.0))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
10.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
54.0ms
(* (* (* (/ (pow (cbrt t) 3.0) (/ l (pow (cbrt t) 3.0))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

series372.0ms

Counts
4 → 12
Calls
4 calls:
62.0ms
(* (/ (pow (cbrt t) 3.0) (/ l (pow (cbrt t) 3.0))) (* (/ (pow (cbrt t) 3.0) l) (sin k)))
80.0ms
(* (* (/ (pow (cbrt t) 3.0) (/ l (pow (cbrt t) 3.0))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
52.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
177.0ms
(* (* (* (/ (pow (cbrt t) 3.0) (/ l (pow (cbrt t) 3.0))) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))

simplify121.0ms

Algorithm
egg-herbie
Counts
722 → 722
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
0544315476

prune2.6s

Filtered
484 candidates to 722 candidates (-49.2%)
Pruning

24 alts after pruning (24 fresh and 0 done)

PrunedKeptTotal
New70913722
Fresh21113
Picked101
Done000
Total71224736

Merged error: 14.7b

Counts
736 → 24

localize39.0ms

Local error

Found 4 expressions with local error:

13.7b
(* (* (* (/ (* (cbrt (pow (cbrt t) 3.0)) (cbrt (pow (cbrt t) 3.0))) (* (cbrt (/ l (pow (cbrt t) 3.0))) (cbrt (/ l (pow (cbrt t) 3.0))))) (* (* (/ (pow (cbrt t) 3.0) l) (sin k)) (/ (cbrt (pow (cbrt t) 3.0)) (cbrt (/ l (pow (cbrt t) 3.0)))))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
15.6b
(cbrt (/ l (pow (cbrt t) 3.0)))
15.6b
(cbrt (/ l (pow (cbrt t) 3.0)))
15.6b
(cbrt (/ l (pow (cbrt t) 3.0)))

rewrite139.0ms

Algorithm
rewrite-expression-head
Rules
452×add-exp-log
302×prod-exp
194×add-cbrt-cube
186×cbrt-unprod
129×cbrt-prod
99×div-exp
90×times-frac
81×frac-times
78×associate-*l/
70×*-un-lft-identity
65×add-sqr-sqrt add-cube-cbrt
54×unpow-prod-down
53×cbrt-undiv
35×associate-*r/
24×tan-quot pow1
16×flip3-+ flip-+
15×pow-prod-down
10×pow-to-exp pow-exp
9×sqr-pow
5×associate-*r*
4×add-log-exp
3×cbrt-div pow1/3 div-inv distribute-lft-out
1×distribute-rgt-in distribute-lft-in associate-*l* *-commutative
Counts
4 → 291
Calls
4 calls:
95.0ms
(* (* (* (/ (* (cbrt (pow (cbrt t) 3.0)) (cbrt (pow (cbrt t) 3.0))) (* (cbrt (/ l (pow (cbrt t) 3.0))) (cbrt (/ l (pow (cbrt t) 3.0))))) (* (* (/ (pow (cbrt t) 3.0) l) (sin k)) (/ (cbrt (pow (cbrt t) 3.0)) (cbrt (/ l (pow (cbrt t) 3.0)))))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
5.0ms
(cbrt (/ l (pow (cbrt t) 3.0)))
5.0ms
(cbrt (/ l (pow (cbrt t) 3.0)))
5.0ms
(cbrt (/ l (pow (cbrt t) 3.0)))

series283.0ms

Counts
4 → 12
Calls
4 calls:
178.0ms
(* (* (* (/ (* (cbrt (pow (cbrt t) 3.0)) (cbrt (pow (cbrt t) 3.0))) (* (cbrt (/ l (pow (cbrt t) 3.0))) (cbrt (/ l (pow (cbrt t) 3.0))))) (* (* (/ (pow (cbrt t) 3.0) l) (sin k)) (/ (cbrt (pow (cbrt t) 3.0)) (cbrt (/ l (pow (cbrt t) 3.0)))))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
36.0ms
(cbrt (/ l (pow (cbrt t) 3.0)))
34.0ms
(cbrt (/ l (pow (cbrt t) 3.0)))
35.0ms
(cbrt (/ l (pow (cbrt t) 3.0)))

simplify126.0ms

Algorithm
egg-herbie
Counts
303 → 303
Iterations

Useful iterations: 0 (67.0ms)

IterNodesCost
0494612240
1494612240

prune1.5s

Filtered
175 candidates to 303 candidates (-73.1%)
Pruning

23 alts after pruning (23 fresh and 0 done)

PrunedKeptTotal
New2985303
Fresh51823
Picked101
Done000
Total30423327

Merged error: 12.8b

Counts
327 → 23

regimes804.0ms

Accuracy

0% (2.9b remaining)

Error of 15.4b against oracle of 12.5b and baseline of 15.4b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03666
13666

end0.0ms

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

sample4.1s

Algorithm
intervals
Results
1.7s2087×body1280valid
901.0ms1594×body640valid
446.0ms3259×body80valid
292.0ms718×body320valid
178.0ms1334×body80invalid
95.0ms342×body160valid
76.0ms141×body640invalid
44.0ms112×body320invalid
22.0ms28×body1280invalid
18.0ms67×body160invalid

Profiling

Loading profile data...