Details

Time bar (total: 11.7s)

analyze2.5s

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
58.0ms65×body1280valid
28.0ms50×body640valid
15.0ms116×body80valid
6.0ms15×body320valid
6.0ms46×body80invalid
3.0ms6×body640invalid
3.0ms10×body160valid
2.0ms5×body320invalid
1.0ms1×body1280invalid
1.0ms3×body160invalid

simplify23.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (21.0ms)

IterNodesCost
0508625

prune17.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.9b
(* (/ (pow t 3.0) (* l l)) (sin k))
3.7b
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
12.4b
(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
18.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:
9.0ms
(* (/ (pow t 3.0) (* l l)) (sin k))
10.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))

series327.0ms

Counts
4 → 12
Calls
4 calls:
55.0ms
(* (/ (pow t 3.0) (* l l)) (sin k))
72.0ms
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
161.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))

simplify55.0ms

Algorithm
egg-herbie
Counts
156 → 156
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
049972562
149972562

prune298.0ms

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

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New1479156
Fresh011
Picked101
Done000
Total14810158

Merged error: 21.0b

Counts
158 → 10

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.9b
(* (/ (pow (cbrt t) 3.0) l) (sin k))
9.4b
(/ (pow (* (cbrt t) (cbrt t)) 3.0) l)
12.4b
(* (* (* (/ (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))
13.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
5.0ms
(/ (pow (* (cbrt t) (cbrt t)) 3.0) l)
29.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:
81.0ms
(* (* (/ (pow (* (cbrt t) (cbrt t)) 3.0) l) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k))
54.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
43.0ms
(/ (pow (* (cbrt t) (cbrt t)) 3.0) l)
179.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

prune533.0ms

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

20 alts after pruning (20 fresh and 0 done)

PrunedKeptTotal
New22714241
Fresh369
Picked101
Done000
Total23120251

Merged error: 15.5b

Counts
251 → 20

localize37.0ms

Local error

Found 4 expressions with local error:

1.1b
(* (* (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.9b
(* (/ (pow (cbrt t) 3.0) l) (sin k))
12.4b
(* (* (* (* (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))

rewrite152.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)))
25.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))
16.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
40.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))

series374.0ms

Counts
4 → 12
Calls
4 calls:
62.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)))
82.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))
52.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
178.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))

simplify151.0ms

Algorithm
egg-herbie
Counts
498 → 498
Iterations

Useful iterations: 0 (78.0ms)

IterNodesCost
0498113014
1498113014

prune542.0ms

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

24 alts after pruning (24 fresh and 0 done)

PrunedKeptTotal
New4908498
Fresh31619
Picked101
Done000
Total49424518

Merged error: 13.9b

Counts
518 → 24

localize35.0ms

Local error

Found 4 expressions with local error:

1.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))))
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.9b
(* (/ (pow (cbrt t) 3.0) l) (sin k))
12.4b
(* (* (* (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))

rewrite149.0ms

Algorithm
rewrite-expression-head
Rules
1857×add-exp-log
1310×prod-exp
423×div-exp
337×pow-exp
199×pow-to-exp
124×add-cbrt-cube
78×cbrt-unprod
47×associate-*l/
42×associate-*r/
41×add-sqr-sqrt associate-*l*
35×frac-times
34×times-frac
33×*-un-lft-identity
28×add-cube-cbrt
21×unpow-prod-down
16×tan-quot cbrt-undiv
13×pow1
12×associate-*r*
10×cbrt-prod
8×flip3-+ flip-+
5×pow-prod-down unswap-sqr sqr-pow
4×*-commutative add-log-exp
3×distribute-lft-out
1×distribute-rgt-in distribute-lft-in div-inv
Counts
4 → 475
Calls
4 calls:
18.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))))
25.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))
11.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))

series376.0ms

Counts
4 → 12
Calls
4 calls:
60.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))))
80.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))
54.0ms
(* (/ (pow (cbrt t) 3.0) l) (sin k))
181.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))

simplify149.0ms

Algorithm
egg-herbie
Counts
487 → 487
Iterations

Useful iterations: 0 (77.0ms)

IterNodesCost
0497112733
1497112733

prune422.0ms

Filtered
124 candidates to 487 candidates (-292.7%)
Pruning

27 alts after pruning (27 fresh and 0 done)

PrunedKeptTotal
New4798487
Fresh41923
Picked101
Done000
Total48427511

Merged error: 12.4b

Counts
511 → 27

regimes611.0ms

Accuracy

8% (4.3b remaining)

Error of 17.4b against oracle of 13.1b and baseline of 17.8b

bsearch162.0ms

Steps
ItersRangePoint
6
1.5899101668148664e+125
9.989517911855283e+125
9.028227821464582e+125
10
1.1545307737890277e-92
2.29641538419416e-80
1.4363650222473826e-80

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
080175
180175

end0.0ms

sample4.1s

Algorithm
intervals
Results
1.7s2007×body1280valid
948.0ms1646×body640valid
440.0ms3242×body80valid
316.0ms776×body320valid
180.0ms1328×body80invalid
91.0ms329×body160valid
65.0ms118×body640invalid
45.0ms112×body320invalid
22.0ms82×body160invalid
19.0ms24×body1280invalid

Profiling

Loading profile data...