Details

Time bar (total: 15.5s)

sample176.0ms

Algorithm
intervals
Results
64.0ms66×body1280valid
41.0ms57×body640valid
37.0ms189×body80valid
14.0ms29×body320valid
3.0ms10×body160valid

simplify30.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 3 (28.0ms)

IterNodesCost
04813
116113
294413
3500212

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 33.3b

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite54.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))
8.0ms
(/ (/ 2.0 (* (pow t 3.0) (sin k))) (tan k))
3.0ms
(/ (* l l) (fma 2 1.0 (pow (/ k t) 2.0)))
29.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))
317.0ms
(/ (/ 2.0 (* (pow t 3.0) (sin k))) (tan k))
71.0ms
(/ (* l l) (fma 2 1.0 (pow (/ k t) 2.0)))
831.0ms
(* (/ (/ 2.0 (* (pow t 3.0) (sin k))) (tan k)) (/ (* l l) (fma 2 1.0 (pow (/ k t) 2.0))))

simplify49.0ms

Algorithm
egg-herbie
Counts
196 → 196
Iterations

Useful iterations: 1 (23.0ms)

IterNodesCost
010192396
150011978

prune812.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 25.2b

localize21.0ms

Local error

Found 4 expressions with local error:

2.4b
(/ (* (/ 2.0 (* (pow t 3.0) (sin k))) l) (tan k))
2.4b
(/ l (fma 2 1.0 (pow (/ k t) 2.0)))
4.9b
(* (/ 2.0 (* (pow t 3.0) (sin k))) l)
18.5b
(* (/ (* (/ 2.0 (* (pow t 3.0) (sin k))) l) (tan k)) (/ l (fma 2 1.0 (pow (/ k t) 2.0))))

rewrite77.0ms

Algorithm
rewrite-expression-head
Rules
114×add-exp-log
74×add-cbrt-cube
46×prod-exp
42×div-exp
33×add-sqr-sqrt
28×times-frac
26×cbrt-undiv add-cube-cbrt *-un-lft-identity cbrt-unprod
16×associate-*r*
15×associate-*l*
8×pow1
6×associate-/r*
5×div-inv
4×expm1-log1p-u pow-to-exp pow-exp log1p-expm1-u associate-/l* add-log-exp
3×associate-*l/ unswap-sqr
2×tan-quot frac-2neg pow-prod-down clear-num associate-/r/ *-commutative
1×frac-times associate-*r/ associate-/l/
Counts
4 → 152
Calls
4 calls:
11.0ms
(/ (* (/ 2.0 (* (pow t 3.0) (sin k))) l) (tan k))
2.0ms
(/ l (fma 2 1.0 (pow (/ k t) 2.0)))
13.0ms
(* (/ 2.0 (* (pow t 3.0) (sin k))) l)
45.0ms
(* (/ (* (/ 2.0 (* (pow t 3.0) (sin k))) l) (tan k)) (/ l (fma 2 1.0 (pow (/ k t) 2.0))))

series1.7s

Counts
4 → 12
Calls
4 calls:
440.0ms
(/ (* (/ 2.0 (* (pow t 3.0) (sin k))) l) (tan k))
84.0ms
(/ l (fma 2 1.0 (pow (/ k t) 2.0)))
329.0ms
(* (/ 2.0 (* (pow t 3.0) (sin k))) l)
860.0ms
(* (/ (* (/ 2.0 (* (pow t 3.0) (sin k))) l) (tan k)) (/ l (fma 2 1.0 (pow (/ k t) 2.0))))

simplify113.0ms

Algorithm
egg-herbie
Counts
164 → 164
Iterations

Useful iterations: 1 (22.0ms)

IterNodesCost
08691986
148481580
250011580

prune656.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 25.2b

localize20.0ms

Local error

Found 4 expressions with local error:

2.4b
(/ (/ (* 2.0 l) (* (pow t 3.0) (sin k))) (tan k))
2.4b
(/ l (fma 2 1.0 (pow (/ k t) 2.0)))
5.1b
(/ (* 2.0 l) (* (pow t 3.0) (sin k)))
18.5b
(* (/ (/ (* 2.0 l) (* (pow t 3.0) (sin k))) (tan k)) (/ l (fma 2 1.0 (pow (/ k t) 2.0))))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
164×add-exp-log
92×add-cbrt-cube
70×div-exp
60×times-frac prod-exp
50×add-sqr-sqrt
38×cbrt-undiv add-cube-cbrt *-un-lft-identity
28×cbrt-unprod
20×associate-*l*
13×associate-*r*
12×div-inv
9×associate-/l*
8×pow-to-exp pow-exp
7×associate-/r*
6×pow1
4×expm1-log1p-u log1p-expm1-u add-log-exp unswap-sqr
3×frac-2neg clear-num
2×tan-quot associate-/r/
1×frac-times associate-*r/ pow-prod-down associate-*l/ *-commutative associate-/l/
Counts
4 → 190
Calls
4 calls:
8.0ms
(/ (/ (* 2.0 l) (* (pow t 3.0) (sin k))) (tan k))
2.0ms
(/ l (fma 2 1.0 (pow (/ k t) 2.0)))
5.0ms
(/ (* 2.0 l) (* (pow t 3.0) (sin k)))
29.0ms
(* (/ (/ (* 2.0 l) (* (pow t 3.0) (sin k))) (tan k)) (/ l (fma 2 1.0 (pow (/ k t) 2.0))))

series1.3s

Counts
4 → 12
Calls
4 calls:
394.0ms
(/ (/ (* 2.0 l) (* (pow t 3.0) (sin k))) (tan k))
85.0ms
(/ l (fma 2 1.0 (pow (/ k t) 2.0)))
245.0ms
(/ (* 2.0 l) (* (pow t 3.0) (sin k)))
530.0ms
(* (/ (/ (* 2.0 l) (* (pow t 3.0) (sin k))) (tan k)) (/ l (fma 2 1.0 (pow (/ k t) 2.0))))

simplify50.0ms

Algorithm
egg-herbie
Counts
202 → 202
Iterations

Useful iterations: 1 (22.0ms)

IterNodesCost
09172548
150012076

prune921.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 22.3b

localize29.0ms

Local error

Found 4 expressions with local error:

16.2b
(* (/ (/ (* 2.0 l) (* (pow t 3.0) (sin k))) (tan k)) (* (cbrt (/ l (fma 2 1.0 (pow (/ k t) 2.0)))) (cbrt (/ l (fma 2 1.0 (pow (/ k t) 2.0))))))
16.9b
(cbrt (/ l (fma 2 1.0 (pow (/ k t) 2.0))))
16.9b
(cbrt (/ l (fma 2 1.0 (pow (/ k t) 2.0))))
16.9b
(cbrt (/ l (fma 2 1.0 (pow (/ k t) 2.0))))

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
104×add-exp-log
50×prod-exp
48×add-cbrt-cube
46×times-frac
39×cbrt-prod
37×add-sqr-sqrt
34×add-cube-cbrt *-un-lft-identity div-exp
26×cbrt-unprod
20×associate-*l*
18×cbrt-undiv
11×cbrt-div
9×pow1
7×div-inv
5×frac-times associate-*r/
4×expm1-log1p-u pow-to-exp pow-exp log1p-expm1-u add-log-exp
3×pow1/3 pow-prod-down associate-*l/
2×unswap-sqr
1×tan-quot associate-*r* associate-/r/ *-commutative
Counts
4 → 146
Calls
4 calls:
38.0ms
(* (/ (/ (* 2.0 l) (* (pow t 3.0) (sin k))) (tan k)) (* (cbrt (/ l (fma 2 1.0 (pow (/ k t) 2.0)))) (cbrt (/ l (fma 2 1.0 (pow (/ k t) 2.0))))))
1.0ms
(cbrt (/ l (fma 2 1.0 (pow (/ k t) 2.0))))
1.0ms
(cbrt (/ l (fma 2 1.0 (pow (/ k t) 2.0))))
1.0ms
(cbrt (/ l (fma 2 1.0 (pow (/ k t) 2.0))))

series1.2s

Counts
4 → 12
Calls
4 calls:
634.0ms
(* (/ (/ (* 2.0 l) (* (pow t 3.0) (sin k))) (tan k)) (* (cbrt (/ l (fma 2 1.0 (pow (/ k t) 2.0)))) (cbrt (/ l (fma 2 1.0 (pow (/ k t) 2.0))))))
196.0ms
(cbrt (/ l (fma 2 1.0 (pow (/ k t) 2.0))))
196.0ms
(cbrt (/ l (fma 2 1.0 (pow (/ k t) 2.0))))
202.0ms
(cbrt (/ l (fma 2 1.0 (pow (/ k t) 2.0))))

simplify96.0ms

Algorithm
egg-herbie
Counts
158 → 158
Iterations

Useful iterations: 2 (74.0ms)

IterNodesCost
08612603
137452194
250022165

prune760.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 22.2b

regimes306.0ms

Accuracy

46.7% (3.0b remaining)

Error of 25.3b against oracle of 22.2b and baseline of 27.9b

bsearch358.0ms

Steps
ItersRangePoint
10
4.33090629582436e-84
1.1045196728765084e-69
4.427129608016175e-84
7
-5.055513853662194e-94
-8.019617409058693e-96
-8.194710049653746e-96

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06465
16465

end0.0ms

sample5.3s

Algorithm
intervals
Results
2.0s2080×body1280valid
1.2s5924×body80valid
1.2s1712×body640valid
429.0ms861×body320valid
137.0ms394×body160valid