Details

Time bar (total: 28.8s)

sample390.0ms

Algorithm
intervals
Results
113.0ms68×body2560valid
91.0ms116×body1280valid
80.0ms26×body5120valid
48.0ms79×body640valid
17.0ms44×body320valid
8.0ms58×body80valid
2.0ms9×body160valid

simplify1.2s

Counts
1 → 1
Iterations

Useful iterations: 4 (319.0ms)

IterNodesCost
01925
14425
214325
371223
4398421
done500021

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

Counts
2 → 2

localize18.0ms

Local error

Found 4 expressions with local error:

1.0b
(* (/ (pow t 3.0) (* l l)) (sin k))
1.3b
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
12.6b
(/ (pow t 3.0) (* l l))
30.8b
(/ (/ 2.0 (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))) (pow (/ k t) 2.0))

rewrite83.0ms

Algorithm
rewrite-expression-head
Rules
340×times-frac
272×add-exp-log
153×unpow-prod-down
144×add-sqr-sqrt
137×add-cube-cbrt *-un-lft-identity
128×div-exp
103×prod-exp
59×add-cbrt-cube
58×associate-*l/
54×associate-/r/
38×tan-quot
34×pow-exp
32×div-inv
24×pow-to-exp
21×cbrt-unprod
19×cbrt-undiv frac-times associate-*r/
18×associate-/r*
17×associate-/l*
15×sqr-pow
12×associate-*l*
11×pow1
6×associate-*r*
4×pow-prod-down add-log-exp unswap-sqr
2×frac-2neg clear-num *-commutative
1×associate-/l/
Counts
4 → 354
Calls
4 calls:
10.0ms
(* (/ (pow t 3.0) (* l l)) (sin k))
16.0ms
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
7.0ms
(/ (pow t 3.0) (* l l))
24.0ms
(/ (/ 2.0 (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))) (pow (/ k t) 2.0))

series381.0ms

Counts
4 → 12
Calls
4 calls:
62.0ms
(* (/ (pow t 3.0) (* l l)) (sin k))
87.0ms
(* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
43.0ms
(/ (pow t 3.0) (* l l))
189.0ms
(/ (/ 2.0 (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))) (pow (/ k t) 2.0))

simplify522.0ms

Counts
366 → 366
Iterations

Useful iterations: done (503.0ms)

IterNodesCost
071410403
1181410140
done500010094

prune1.1s

Filtered
298 candidates to 366 candidates (-22.8%)
Pruning

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New35115366
Fresh101
Picked101
Done000
Total35315368

Merged error: 24.0b

Counts
368 → 15

localize25.0ms

Local error

Found 4 expressions with local error:

17.2b
(cbrt (/ k t))
17.2b
(cbrt (/ k t))
17.2b
(cbrt (/ k t))
25.2b
(/ (/ 2.0 (* (/ (/ (pow t 3.0) l) l) (pow (sin k) 2))) (pow (* (cbrt (/ k t)) (cbrt (/ k t))) 2.0))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
316×add-exp-log
216×div-exp
85×times-frac
77×prod-exp
66×pow-exp
49×pow-to-exp
46×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
39×cbrt-prod
24×add-cbrt-cube
12×cbrt-undiv
10×div-inv
9×unpow-prod-down sqr-pow
8×associate-/l*
6×associate-*l/ associate-/r/
5×associate-/r*
4×pow1 add-log-exp
3×cbrt-div pow1/3 cbrt-unprod
1×frac-2neg clear-num associate-/l/
Counts
4 → 203
Calls
4 calls:
3.0ms
(cbrt (/ k t))
3.0ms
(cbrt (/ k t))
3.0ms
(cbrt (/ k t))
26.0ms
(/ (/ 2.0 (* (/ (/ (pow t 3.0) l) l) (pow (sin k) 2))) (pow (* (cbrt (/ k t)) (cbrt (/ k t))) 2.0))

series219.0ms

Counts
4 → 12
Calls
4 calls:
14.0ms
(cbrt (/ k t))
18.0ms
(cbrt (/ k t))
14.0ms
(cbrt (/ k t))
172.0ms
(/ (/ 2.0 (* (/ (/ (pow t 3.0) l) l) (pow (sin k) 2))) (pow (* (cbrt (/ k t)) (cbrt (/ k t))) 2.0))

simplify840.0ms

Counts
215 → 215
Iterations

Useful iterations: done (831.0ms)

IterNodesCost
03615908
19305482
233975111
done50015106

prune526.0ms

Filtered
131 candidates to 215 candidates (-64.1%)
Pruning

17 alts after pruning (17 fresh and 0 done)

PrunedKeptTotal
New2114215
Fresh11314
Picked101
Done000
Total21317230

Merged error: 23.5b

Counts
230 → 17

localize28.0ms

Local error

Found 4 expressions with local error:

12.9b
(* (/ (/ 2.0 (* (/ (pow t 3.0) l) (pow (sin k) 2))) (pow (cbrt (/ k t)) 2.0)) (/ l (pow (cbrt (/ k t)) 2.0)))
17.2b
(cbrt (/ k t))
17.2b
(cbrt (/ k t))
17.2b
(cbrt (/ k t))

rewrite458.0ms

Algorithm
rewrite-expression-head
Rules
870×add-exp-log
561×div-exp
478×times-frac
318×add-sqr-sqrt
316×prod-exp
212×unpow-prod-down
206×cbrt-prod
186×add-cube-cbrt *-un-lft-identity
183×pow-to-exp pow-exp
164×associate-*l*
64×associate-*r*
49×add-cbrt-cube
36×div-inv unswap-sqr
23×sqr-pow
21×cbrt-undiv associate-*l/
20×associate-/r/
14×cbrt-unprod
6×pow1
4×add-log-exp
3×cbrt-div pow1/3
1×frac-times associate-*r/ pow-prod-down *-commutative
Counts
4 → 524
Calls
4 calls:
387.0ms
(* (/ (/ 2.0 (* (/ (pow t 3.0) l) (pow (sin k) 2))) (pow (cbrt (/ k t)) 2.0)) (/ l (pow (cbrt (/ k t)) 2.0)))
3.0ms
(cbrt (/ k t))
3.0ms
(cbrt (/ k t))
3.0ms
(cbrt (/ k t))

series211.0ms

Counts
4 → 12
Calls
4 calls:
167.0ms
(* (/ (/ 2.0 (* (/ (pow t 3.0) l) (pow (sin k) 2))) (pow (cbrt (/ k t)) 2.0)) (/ l (pow (cbrt (/ k t)) 2.0)))
14.0ms
(cbrt (/ k t))
14.0ms
(cbrt (/ k t))
14.0ms
(cbrt (/ k t))

simplify608.0ms

Counts
536 → 536
Iterations

Useful iterations: done (576.0ms)

IterNodesCost
075416593
1244216137
done500115560

prune1.9s

Filtered
351 candidates to 536 candidates (-52.7%)
Pruning

22 alts after pruning (22 fresh and 0 done)

PrunedKeptTotal
New5288536
Fresh21416
Picked101
Done000
Total53122553

Merged error: 22.3b

Counts
553 → 22

localize34.0ms

Local error

Found 4 expressions with local error:

11.1b
(/ (/ 2.0 (* (/ (pow t 3.0) l) (pow (sin k) 2))) (pow (cbrt (/ k t)) 2.0))
12.9b
(* (/ (/ 2.0 (* (/ (pow t 3.0) l) (pow (sin k) 2))) (pow (cbrt (/ k t)) 2.0)) (/ l (pow (cbrt (/ k t)) 2.0)))
17.2b
(cbrt (/ k t))
17.2b
(cbrt (/ k t))

rewrite279.0ms

Algorithm
rewrite-expression-head
Rules
1021×add-exp-log
773×times-frac
669×div-exp
434×add-sqr-sqrt
356×unpow-prod-down
352×prod-exp
310×cbrt-prod
302×add-cube-cbrt *-un-lft-identity
218×pow-to-exp pow-exp
164×associate-*l*
66×div-inv
64×associate-*r*
63×add-cbrt-cube
42×associate-*l/
41×associate-/r/
36×unswap-sqr
32×sqr-pow
29×cbrt-undiv
20×associate-/r*
16×cbrt-unprod
8×associate-/l*
6×pow1
4×add-log-exp
2×cbrt-div pow1/3
1×frac-times frac-2neg associate-*r/ pow-prod-down clear-num *-commutative associate-/l/
Counts
4 → 747
Calls
4 calls:
22.0ms
(/ (/ 2.0 (* (/ (pow t 3.0) l) (pow (sin k) 2))) (pow (cbrt (/ k t)) 2.0))
172.0ms
(* (/ (/ 2.0 (* (/ (pow t 3.0) l) (pow (sin k) 2))) (pow (cbrt (/ k t)) 2.0)) (/ l (pow (cbrt (/ k t)) 2.0)))
3.0ms
(cbrt (/ k t))
3.0ms
(cbrt (/ k t))

series356.0ms

Counts
4 → 12
Calls
4 calls:
153.0ms
(/ (/ 2.0 (* (/ (pow t 3.0) l) (pow (sin k) 2))) (pow (cbrt (/ k t)) 2.0))
175.0ms
(* (/ (/ 2.0 (* (/ (pow t 3.0) l) (pow (sin k) 2))) (pow (cbrt (/ k t)) 2.0)) (/ l (pow (cbrt (/ k t)) 2.0)))
14.0ms
(cbrt (/ k t))
14.0ms
(cbrt (/ k t))

simplify739.0ms

Counts
759 → 759
Iterations

Useful iterations: done (692.0ms)

IterNodesCost
095924262
1296423695
done500123330

prune3.5s

Filtered
523 candidates to 759 candidates (-45.1%)
Pruning

23 alts after pruning (22 fresh and 1 done)

PrunedKeptTotal
New7554759
Fresh31821
Picked011
Done000
Total75823781

Merged error: 21.0b

Counts
781 → 23

regimes875.0ms

Accuracy

39.2% (7.5b remaining)

Error of 26.9b against oracle of 19.4b and baseline of 31.8b

bsearch605.0ms

Steps
ItersRangePoint
8
1.0529247379305399e-100
7.248439960361559e-97
5.2158022003006615e-99
10
1.8138351544280106e-181
1.211706859483848e-167
5.555975749479158e-175
9
-3.3484224682401105e-270
-4.3601980109449003e-275
-4.406059402765893e-275
9
-5.111541199600187e-99
-4.0055463535402934e-105
-3.339633577834786e-103

simplify21.0ms

Iterations

Useful iterations: 2 (10.0ms)

IterNodesCost
088206
1112202
2126201
3128201
done128201

end0.0ms

sample13.9s

Algorithm
intervals
Results
4.3s2217×body2560valid
3.5s897×body5120valid
3.3s4112×body1280valid
1.3s2478×body640valid
399.0ms954×body320valid
278.0ms2016×body80valid
118.0ms426×body160valid

Profiling

Loading profile data...