Details

Time bar (total: 16.5s)

sample130.0ms

Algorithm
intervals
Results
42.0ms53×body1280valid
35.0ms58×body640valid
22.0ms205×body80valid
12.0ms32×body320valid
3.0ms11×body160valid

simplify31.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 3 (29.0ms)

IterNodesCost
04813
116113
294413
3500212

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 33.1b

localize20.0ms

Local error

Found 4 expressions with local error:

2.2b
(* (pow t 3.0) (sin k))
3.0b
(/ (* l l) (fma 2 1.0 (pow (/ k t) 2.0)))
3.0b
(/ (/ 2.0 (* (pow t 3.0) (sin k))) (tan k))
28.8b
(* (/ (/ 2.0 (* (pow t 3.0) (sin k))) (tan k)) (/ (* l l) (fma 2 1.0 (pow (/ k t) 2.0))))

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
117×add-exp-log
74×add-cbrt-cube
73×times-frac
56×add-sqr-sqrt
50×div-exp
41×add-cube-cbrt *-un-lft-identity
40×prod-exp
33×associate-*l*
30×cbrt-undiv
22×cbrt-unprod
11×div-inv
10×associate-*r*
8×associate-/l*
7×unswap-sqr
6×pow1 associate-/r*
5×pow-to-exp pow-exp
4×expm1-log1p-u unpow-prod-down log1p-expm1-u add-log-exp
2×tan-quot frac-2neg clear-num associate-/r/ *-commutative sqr-pow
1×frac-times associate-*r/ pow-prod-down associate-*l/ associate-/l/
Counts
4 → 184
Calls
4 calls:
6.0ms
(* (pow t 3.0) (sin k))
3.0ms
(/ (* l l) (fma 2 1.0 (pow (/ k t) 2.0)))
8.0ms
(/ (/ 2.0 (* (pow t 3.0) (sin k))) (tan k))
33.0ms
(* (/ (/ 2.0 (* (pow t 3.0) (sin k))) (tan k)) (/ (* l l) (fma 2 1.0 (pow (/ k t) 2.0))))

series1.4s

Counts
4 → 12
Calls
4 calls:
167.0ms
(* (pow t 3.0) (sin k))
71.0ms
(/ (* l l) (fma 2 1.0 (pow (/ k t) 2.0)))
325.0ms
(/ (/ 2.0 (* (pow t 3.0) (sin k))) (tan k))
842.0ms
(* (/ (/ 2.0 (* (pow t 3.0) (sin k))) (tan k)) (/ (* l l) (fma 2 1.0 (pow (/ k t) 2.0))))

simplify44.0ms

Algorithm
egg-herbie
Counts
196 → 196
Iterations

Useful iterations: 1 (23.0ms)

IterNodesCost
010192396
150011978

prune724.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 26.2b

localize25.0ms

Local error

Found 4 expressions with local error:

2.2b
(* (pow t 3.0) (sin k))
2.5b
(/ (* (/ 2.0 (* (pow t 3.0) (sin k))) l) (tan k))
8.3b
(* (/ 2.0 (* (pow t 3.0) (sin k))) l)
17.3b
(* (/ (* (/ 2.0 (* (pow t 3.0) (sin k))) l) (tan k)) (/ l (fma 2 1.0 (pow (/ k t) 2.0))))

rewrite84.0ms

Algorithm
rewrite-expression-head
Rules
117×add-exp-log
74×add-cbrt-cube
49×prod-exp
41×div-exp
33×add-sqr-sqrt
27×cbrt-unprod
25×cbrt-undiv
22×associate-*l*
21×add-cube-cbrt *-un-lft-identity
19×times-frac associate-*r*
8×pow1
6×unswap-sqr
5×pow-to-exp pow-exp
4×expm1-log1p-u unpow-prod-down log1p-expm1-u div-inv add-log-exp
3×associate-*l/ associate-/r* *-commutative
2×tan-quot pow-prod-down associate-/r/ sqr-pow
1×frac-times frac-2neg associate-*r/ clear-num associate-/l/ associate-/l*
Counts
4 → 150
Calls
4 calls:
8.0ms
(* (pow t 3.0) (sin k))
12.0ms
(/ (* (/ 2.0 (* (pow t 3.0) (sin k))) l) (tan k))
13.0ms
(* (/ 2.0 (* (pow t 3.0) (sin k))) l)
44.0ms
(* (/ (* (/ 2.0 (* (pow t 3.0) (sin k))) l) (tan k)) (/ l (fma 2 1.0 (pow (/ k t) 2.0))))

series1.8s

Counts
4 → 12
Calls
4 calls:
173.0ms
(* (pow t 3.0) (sin k))
442.0ms
(/ (* (/ 2.0 (* (pow t 3.0) (sin k))) l) (tan k))
335.0ms
(* (/ 2.0 (* (pow t 3.0) (sin k))) l)
853.0ms
(* (/ (* (/ 2.0 (* (pow t 3.0) (sin k))) l) (tan k)) (/ l (fma 2 1.0 (pow (/ k t) 2.0))))

simplify118.0ms

Algorithm
egg-herbie
Counts
162 → 162
Iterations

Useful iterations: 1 (23.0ms)

IterNodesCost
09131905
148941506
250011506

prune583.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 25.7b

localize27.0ms

Local error

Found 4 expressions with local error:

0.8b
(* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (sin k)))
2.5b
(/ (* (/ 2.0 (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (sin k)))) l) (tan k))
8.3b
(* (/ 2.0 (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (sin k)))) l)
17.3b
(* (/ (* (/ 2.0 (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (sin k)))) l) (tan k)) (/ l (fma 2 1.0 (pow (/ k t) 2.0))))

rewrite250.0ms

Algorithm
rewrite-expression-head
Rules
474×add-exp-log
272×prod-exp
145×div-exp
103×add-cbrt-cube
60×pow-exp
43×cbrt-unprod
40×pow-to-exp
33×cbrt-undiv
26×add-sqr-sqrt
20×associate-*l*
19×add-cube-cbrt *-un-lft-identity times-frac
17×associate-*r*
8×pow1
4×expm1-log1p-u log1p-expm1-u div-inv add-log-exp
3×associate-*l/ associate-/r* *-commutative unswap-sqr
2×tan-quot pow-prod-down associate-/r/
1×frac-times unpow-prod-down frac-2neg associate-*r/ clear-num associate-/l/ associate-/l* sqr-pow
Counts
4 → 213
Calls
4 calls:
13.0ms
(* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (sin k)))
38.0ms
(/ (* (/ 2.0 (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (sin k)))) l) (tan k))
44.0ms
(* (/ 2.0 (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (sin k)))) l)
140.0ms
(* (/ (* (/ 2.0 (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (sin k)))) l) (tan k)) (/ l (fma 2 1.0 (pow (/ k t) 2.0))))

series2.1s

Counts
4 → 12
Calls
4 calls:
200.0ms
(* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (sin k)))
508.0ms
(/ (* (/ 2.0 (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (sin k)))) l) (tan k))
400.0ms
(* (/ 2.0 (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (sin k)))) l)
943.0ms
(* (/ (* (/ 2.0 (* (pow (* (cbrt t) (cbrt t)) 3.0) (* (pow (cbrt t) 3.0) (sin k)))) l) (tan k)) (/ l (fma 2 1.0 (pow (/ k t) 2.0))))

simplify67.0ms

Algorithm
egg-herbie
Counts
225 → 225
Iterations

Useful iterations: 1 (28.0ms)

IterNodesCost
011964087
150013315

prune674.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 21.4b

localize28.0ms

Local error

Found 4 expressions with local error:

1.2b
(* (/ 2.0 (* (pow (cbrt t) 3.0) (sin k))) l)
2.5b
(/ (* (/ 1 (pow (* (cbrt t) (cbrt t)) 3.0)) (* (/ 2.0 (* (pow (cbrt t) 3.0) (sin k))) l)) (tan k))
2.8b
(* (/ 1 (pow (* (cbrt t) (cbrt t)) 3.0)) (* (/ 2.0 (* (pow (cbrt t) 3.0) (sin k))) l))
17.3b
(* (/ (* (/ 1 (pow (* (cbrt t) (cbrt t)) 3.0)) (* (/ 2.0 (* (pow (cbrt t) 3.0) (sin k))) l)) (tan k)) (/ l (fma 2 1.0 (pow (/ k t) 2.0))))

rewrite320.0ms

Algorithm
rewrite-expression-head
Rules
1794×add-exp-log
968×prod-exp
721×div-exp
203×add-cbrt-cube
197×pow-exp
125×pow-to-exp
96×rec-exp 1-exp
88×cbrt-unprod
71×cbrt-undiv
34×add-sqr-sqrt times-frac associate-*l*
27×add-cube-cbrt *-un-lft-identity
17×associate-*r*
13×pow1
8×associate-*l/
5×pow-prod-down div-inv
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×frac-times unpow-prod-down associate-*r/ associate-/r* *-commutative associate-/l/ unswap-sqr sqr-pow
2×tan-quot associate-/r/
1×frac-2neg clear-num associate-/l*
Counts
4 → 480
Calls
4 calls:
16.0ms
(* (/ 2.0 (* (pow (cbrt t) 3.0) (sin k))) l)
45.0ms
(/ (* (/ 1 (pow (* (cbrt t) (cbrt t)) 3.0)) (* (/ 2.0 (* (pow (cbrt t) 3.0) (sin k))) l)) (tan k))
49.0ms
(* (/ 1 (pow (* (cbrt t) (cbrt t)) 3.0)) (* (/ 2.0 (* (pow (cbrt t) 3.0) (sin k))) l))
162.0ms
(* (/ (* (/ 1 (pow (* (cbrt t) (cbrt t)) 3.0)) (* (/ 2.0 (* (pow (cbrt t) 3.0) (sin k))) l)) (tan k)) (/ l (fma 2 1.0 (pow (/ k t) 2.0))))

series2.4s

Counts
4 → 12
Calls
4 calls:
424.0ms
(* (/ 2.0 (* (pow (cbrt t) 3.0) (sin k))) l)
492.0ms
(/ (* (/ 1 (pow (* (cbrt t) (cbrt t)) 3.0)) (* (/ 2.0 (* (pow (cbrt t) 3.0) (sin k))) l)) (tan k))
571.0ms
(* (/ 1 (pow (* (cbrt t) (cbrt t)) 3.0)) (* (/ 2.0 (* (pow (cbrt t) 3.0) (sin k))) l))
939.0ms
(* (/ (* (/ 1 (pow (* (cbrt t) (cbrt t)) 3.0)) (* (/ 2.0 (* (pow (cbrt t) 3.0) (sin k))) l)) (tan k)) (/ l (fma 2 1.0 (pow (/ k t) 2.0))))

simplify108.0ms

Algorithm
egg-herbie
Counts
492 → 492
Iterations

Useful iterations: 1 (32.0ms)

IterNodesCost
020449167
150018223

prune822.0ms

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 17.0b

regimes646.0ms

Accuracy

0% (2.8b remaining)

Error of 21.7b against oracle of 18.8b and baseline of 21.7b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03121
13121

end0.0ms

sample4.0s

Algorithm
intervals
Results
1.7s2116×body1280valid
886.0ms1673×body640valid
658.0ms5928×body80valid
313.0ms864×body320valid
118.0ms448×body160valid