Details

Time bar (total: 20.9s)

sample491.0ms

Algorithm
intervals
Results
139.0ms27×body5120valid
136.0ms69×body2560valid
95.0ms113×body1280valid
50.0ms84×body640valid
13.0ms35×body320valid
9.0ms68×body80valid
3.0ms11×body160valid

simplify26.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 3 (24.0ms)

IterNodesCost
04413
114713
285712
3500211

prune13.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: 37.8b

Counts
2 → 2

localize22.0ms

Local error

Found 4 expressions with local error:

0.2b
(pow (/ k t) 2.0)
1.3b
(* (pow t 3.0) (tan k))
20.5b
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k))) (sin k)))
27.0b
(* (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)))

series243.0ms

Counts
4 → 12
Calls
4 calls:
14.0ms
(pow (/ k t) 2.0)
51.0ms
(* (pow t 3.0) (tan k))
108.0ms
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k))) (sin k)))
70.0ms
(* (pow (/ k t) 2.0) (* (pow t 3.0) (tan k)))

simplify45.0ms

Algorithm
egg-herbie
Counts
191 → 191
Iterations

Useful iterations: 1 (25.0ms)

IterNodesCost
011232068
150021738

prune496.0ms

Filtered
93 candidates to 191 candidates (-105.4%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New18110191
Fresh011
Picked101
Done000
Total18211193

Merged error: 27.4b

Counts
193 → 11

localize22.0ms

Local error

Found 4 expressions with local error:

1.3b
(* (pow t 3.0) (tan k))
12.3b
(* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k))))
16.6b
(* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))
20.5b
(/ (* 2.0 (* l l)) (* (* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))) (sin k)))

rewrite109.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:
6.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)))
30.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)))

series297.0ms

Counts
4 → 12
Calls
4 calls:
53.0ms
(* (pow t 3.0) (tan k))
66.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)))
110.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)))

simplify87.0ms

Algorithm
egg-herbie
Counts
420 → 420
Iterations

Useful iterations: 1 (27.0ms)

IterNodesCost
017716487
150015612

prune400.0ms

Filtered
111 candidates to 420 candidates (-278.4%)
Pruning

13 alts after pruning (12 fresh and 1 done)

PrunedKeptTotal
New4146420
Fresh4610
Picked011
Done000
Total41813431

Merged error: 27.3b

Counts
431 → 13

localize22.0ms

Local error

Found 4 expressions with local error:

4.9b
(/ (* l l) (sin k))
12.3b
(* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k))))
16.6b
(* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k)))
18.2b
(* (/ 2.0 (* (pow (/ k t) (/ 2.0 2)) (* (pow (/ k t) (/ 2.0 2)) (* (pow t 3.0) (tan k))))) (/ (* l l) (sin k)))

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

series340.0ms

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

prune414.0ms

Filtered
106 candidates to 430 candidates (-305.7%)
Pruning

17 alts after pruning (16 fresh and 1 done)

PrunedKeptTotal
New42010430
Fresh5611
Picked101
Done011
Total42617443

Merged error: 22.1b

Counts
443 → 17

localize21.0ms

Local error

Found 4 expressions with local error:

4.9b
(/ (* l l) (sin k))
12.3b
(* (pow (/ k t) (/ 2.0 2)) (* (* (pow (/ k t) (/ 2.0 2)) (pow t 3.0)) (tan k)))
17.1b
(* (pow (/ k t) (/ 2.0 2)) (pow t 3.0))
18.2b
(* (/ 2.0 (* (pow (/ k t) (/ 2.0 2)) (* (* (pow (/ k t) (/ 2.0 2)) (pow t 3.0)) (tan k)))) (/ (* l l) (sin k)))

rewrite102.0ms

Algorithm
rewrite-expression-head
Rules
1338×add-exp-log
869×prod-exp
396×div-exp
282×pow-exp
175×pow-to-exp
95×add-cbrt-cube
52×add-sqr-sqrt
46×cbrt-unprod
42×associate-*l*
39×unpow-prod-down
31×times-frac
28×add-cube-cbrt *-un-lft-identity
24×cbrt-undiv
15×associate-*r*
14×unswap-sqr
10×sqr-pow
6×pow1
5×associate-*r/ div-inv
4×add-log-exp
3×associate-/r* *-commutative
2×tan-quot
1×frac-times frac-2neg pow-prod-down associate-*l/ clear-num associate-/r/ associate-/l*
Counts
4 → 382
Calls
4 calls:
5.0ms
(/ (* l l) (sin k))
17.0ms
(* (pow (/ k t) (/ 2.0 2)) (* (* (pow (/ k t) (/ 2.0 2)) (pow t 3.0)) (tan k)))
10.0ms
(* (pow (/ k t) (/ 2.0 2)) (pow t 3.0))
30.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)))

series326.0ms

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

simplify83.0ms

Algorithm
egg-herbie
Counts
394 → 394
Iterations

Useful iterations: 1 (28.0ms)

IterNodesCost
016276050
150025119

prune337.0ms

Filtered
120 candidates to 394 candidates (-228.3%)
Pruning

17 alts after pruning (16 fresh and 1 done)

PrunedKeptTotal
New3895394
Fresh41115
Picked101
Done011
Total39417411

Merged error: 20.7b

Counts
411 → 17

regimes694.0ms

Accuracy

23.3% (8.0b remaining)

Error of 29.9b against oracle of 21.9b and baseline of 32.3b

bsearch1.2s

Steps
ItersRangePoint
10
4.933778060826095e+68
3.162713279464115e+80
6.540644128271181e+78
9
1.413109706140246e-26
5.087364755830614e-21
3.261751371442639e-26
10
1.2410415853464138e-236
1.667621655906862e-222
1.635916264946238e-222
8
-2.4188562558421076e-123
-1.6180268071903021e-127
-1.6429965258483605e-127
4
-1.588014420265854e-79
-9.970676766124926e-80
-1.2181490212471121e-79
7
-3.3234494427312007e+82
-1.9179258922372816e+80
-3.234789597764696e+82

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0105123
1109123
2109123

end0.0ms

sample14.8s

Algorithm
intervals
Results
4.5s2244×body2560valid
4.3s958×body5120valid
3.2s3955×body1280valid
1.4s2581×body640valid
398.0ms995×body320valid
265.0ms2014×body80valid
117.0ms430×body160valid

Profiling

Loading profile data...