Details

Time bar (total: 48.7s)

sample352.0ms

Algorithm
intervals
Results
117.0ms52×body640valid
113.0ms63×body1280valid
53.0ms180×body80valid
36.0ms40×body320valid
10.0ms16×body160valid

simplify3.3s

Counts
1 → 1
Iterations
IterNodes
46637
31079
2183
152
019

prune27.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 23.4b

localize51.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ 2 (* (/ t (* (/ l t) (/ l t))) (sin k)))
1.3b
(/ t (* (/ l t) (/ l t)))
2.5b
(* (/ t (* (/ l t) (/ l t))) (sin k))
20.4b
(/ (/ 2 (* (/ t (* (/ l t) (/ l t))) (sin k))) (* (tan k) (fma (/ k t) (/ k t) 2)))

rewrite216.0ms

Algorithm
rewrite-expression-head
Rules
172×add-cbrt-cube add-exp-log
82×cbrt-undiv div-exp
52×prod-exp cbrt-unprod
24×times-frac
19×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
14×associate-/l*
10×associate-*l* associate-/r/
7×associate-*l/
6×pow1 div-inv
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×clear-num associate-/r* frac-2neg associate-*r*
2×frac-times associate-*r/ unswap-sqr
1×pow-prod-down tan-quot *-commutative associate-/l/
Counts
4 → 172
Calls
4 calls:
62.0ms
(/ 2 (* (/ t (* (/ l t) (/ l t))) (sin k)))
20.0ms
(/ t (* (/ l t) (/ l t)))
65.0ms
(* (/ t (* (/ l t) (/ l t))) (sin k))
62.0ms
(/ (/ 2 (* (/ t (* (/ l t) (/ l t))) (sin k))) (* (tan k) (fma (/ k t) (/ k t) 2)))

series575.0ms

Counts
4 → 12
Calls
4 calls:
118.0ms
(/ 2 (* (/ t (* (/ l t) (/ l t))) (sin k)))
48.0ms
(/ t (* (/ l t) (/ l t)))
115.0ms
(* (/ t (* (/ l t) (/ l t))) (sin k))
295.0ms
(/ (/ 2 (* (/ t (* (/ l t) (/ l t))) (sin k))) (* (tan k) (fma (/ k t) (/ k t) 2)))

simplify1.2s

Counts
184 → 184
Iterations
IterNodes
23420
1811
0282

prune2.8s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 16.5b

localize34.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (/ l t) (/ l t))
0.3b
(/ 2 (* t (sin k)))
4.4b
(/ (/ 2 (* t (sin k))) (/ (* (tan k) (fma (/ k t) (/ k t) 2)) (* (/ l t) (/ l t))))
16.6b
(/ (* (tan k) (fma (/ k t) (/ k t) 2)) (* (/ l t) (/ l t)))

rewrite126.0ms

Algorithm
rewrite-expression-head
Rules
254×add-cbrt-cube add-exp-log
135×times-frac
133×cbrt-undiv div-exp
72×add-sqr-sqrt
68×prod-exp cbrt-unprod
60×*-un-lft-identity add-cube-cbrt
28×associate-/r/
24×div-inv
13×swap-sqr associate-*r* associate-*l*
11×pow1 associate-*l/ associate-/l*
10×frac-times associate-/r* associate-*r/
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
3×clear-num frac-2neg
2×associate-/l/
1×pow2 pow-plus pow-prod-down tan-quot pow-sqr *-commutative pow-prod-up
Counts
4 → 286
Calls
4 calls:
13.0ms
(* (/ l t) (/ l t))
10.0ms
(/ 2 (* t (sin k)))
58.0ms
(/ (/ 2 (* t (sin k))) (/ (* (tan k) (fma (/ k t) (/ k t) 2)) (* (/ l t) (/ l t))))
39.0ms
(/ (* (tan k) (fma (/ k t) (/ k t) 2)) (* (/ l t) (/ l t)))

series945.0ms

Counts
4 → 12
Calls
4 calls:
51.0ms
(* (/ l t) (/ l t))
66.0ms
(/ 2 (* t (sin k)))
556.0ms
(/ (/ 2 (* t (sin k))) (/ (* (tan k) (fma (/ k t) (/ k t) 2)) (* (/ l t) (/ l t))))
272.0ms
(/ (* (tan k) (fma (/ k t) (/ k t) 2)) (* (/ l t) (/ l t)))

simplify2.4s

Counts
298 → 298
Iterations
IterNodes
25990
11392
0452

prune4.0s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 3.0b

localize60.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ 2 (* t (sin k)))
0.6b
(* (/ (sin k) (cos k)) (* (/ k l) (/ k l)))
2.4b
(* (/ (sin k) (cos k)) (* (/ t l) (/ t l)))
4.4b
(/ (/ 2 (* t (sin k))) (fma 2 (* (/ (sin k) (cos k)) (* (/ t l) (/ t l))) (* (/ (sin k) (cos k)) (* (/ k l) (/ k l)))))

rewrite143.0ms

Algorithm
rewrite-expression-head
Rules
100×add-cbrt-cube add-exp-log
56×times-frac
42×add-sqr-sqrt
38×prod-exp cbrt-unprod
36×*-un-lft-identity add-cube-cbrt
33×cbrt-undiv div-exp
26×associate-*l*
14×pow1
10×frac-times associate-*r/ associate-/l*
8×div-inv
6×pow-prod-down associate-*l/
4×expm1-log1p-u associate-/r* insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
2×clear-num frac-2neg associate-*r* *-commutative
1×associate-/l/
Counts
4 → 187
Calls
4 calls:
14.0ms
(/ 2 (* t (sin k)))
35.0ms
(* (/ (sin k) (cos k)) (* (/ k l) (/ k l)))
61.0ms
(* (/ (sin k) (cos k)) (* (/ t l) (/ t l)))
27.0ms
(/ (/ 2 (* t (sin k))) (fma 2 (* (/ (sin k) (cos k)) (* (/ t l) (/ t l))) (* (/ (sin k) (cos k)) (* (/ k l) (/ k l)))))

series988.0ms

Counts
4 → 12
Calls
4 calls:
94.0ms
(/ 2 (* t (sin k)))
106.0ms
(* (/ (sin k) (cos k)) (* (/ k l) (/ k l)))
157.0ms
(* (/ (sin k) (cos k)) (* (/ t l) (/ t l)))
631.0ms
(/ (/ 2 (* t (sin k))) (fma 2 (* (/ (sin k) (cos k)) (* (/ t l) (/ t l))) (* (/ (sin k) (cos k)) (* (/ k l) (/ k l)))))

simplify1.5s

Counts
199 → 199
Iterations
IterNodes
23746
11015
0356

prune3.0s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 2.4b

localize68.0ms

Local error

Found 4 expressions with local error:

1.1b
(/ (cos k) (/ k l))
2.1b
(* (fma 2 (* (/ t l) (* (/ t l) (/ (sin k) (cos k)))) (/ (* (/ k l) (sin k)) (/ (cos k) (/ k l)))) (sin k))
4.1b
(* t (* (fma 2 (* (/ t l) (* (/ t l) (/ (sin k) (cos k)))) (/ (* (/ k l) (sin k)) (/ (cos k) (/ k l)))) (sin k)))
4.7b
(* (/ t l) (/ (sin k) (cos k)))

rewrite88.0ms

Algorithm
rewrite-expression-head
Rules
97×times-frac
77×add-sqr-sqrt
63×*-un-lft-identity add-cube-cbrt
28×add-cbrt-cube add-exp-log
19×associate-*l*
17×associate-*r*
13×pow1 associate-/r*
8×prod-exp cbrt-unprod
7×cbrt-undiv div-exp div-inv
5×pow-prod-down unswap-sqr
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×*-commutative associate-/l*
1×frac-times clear-num frac-2neg associate-*l/ associate-*r/ associate-/r/
Counts
4 → 168
Calls
4 calls:
16.0ms
(/ (cos k) (/ k l))
9.0ms
(* (fma 2 (* (/ t l) (* (/ t l) (/ (sin k) (cos k)))) (/ (* (/ k l) (sin k)) (/ (cos k) (/ k l)))) (sin k))
22.0ms
(* t (* (fma 2 (* (/ t l) (* (/ t l) (/ (sin k) (cos k)))) (/ (* (/ k l) (sin k)) (/ (cos k) (/ k l)))) (sin k)))
33.0ms
(* (/ t l) (/ (sin k) (cos k)))

series1.2s

Counts
4 → 12
Calls
4 calls:
82.0ms
(/ (cos k) (/ k l))
493.0ms
(* (fma 2 (* (/ t l) (* (/ t l) (/ (sin k) (cos k)))) (/ (* (/ k l) (sin k)) (/ (cos k) (/ k l)))) (sin k))
470.0ms
(* t (* (fma 2 (* (/ t l) (* (/ t l) (/ (sin k) (cos k)))) (/ (* (/ k l) (sin k)) (/ (cos k) (/ k l)))) (sin k)))
184.0ms
(* (/ t l) (/ (sin k) (cos k)))

simplify6.2s

Counts
180 → 180
Iterations
IterNodes
23951
1899
0330

prune2.8s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 1.5b

regimes764.0ms

Accuracy

35% (2.7b remaining)

Error of 5.4b against oracle of 2.7b and baseline of 6.8b

bsearch325.0ms

Steps
ItersRangePoint
9
5.713985831832012e-114
1.520144482204382e-107
2.837915385852385e-111
5
-2.5106255504461017e-138
-6.376474592730086e-139
-2.4692632667526504e-138

simplify45.0ms

Iterations
IterNodes
256
156
046

end0.0ms

sample15.5s

Algorithm
intervals
Results
6.6s2142×body1280valid
3.2s1657×body640valid
3.1s5953×body80valid
1.8s892×body320valid
372.0ms423×body160valid