Details

Time bar (total: 45.9s)

sample537.0ms

Algorithm
intervals
Results
339.0ms250×body10240exit
106.0ms282×body80valid
3.0ms8×body160valid

simplify1.2s

Counts
1 → 1
Iterations
IterNodes
12723
11723
10686
9575
8428
7323
6262
5218
4136
386
243
120
010

prune30.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.5b

localize22.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (/ (tan (* PI l)) F) F)
0.2b
(* PI l)
0.2b
(* PI l)
2.7b
(tan (* PI l))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
75×times-frac
54×add-sqr-sqrt
50×*-un-lft-identity add-cube-cbrt
13×add-cbrt-cube add-exp-log associate-/l*
8×pow1
6×associate-*r* associate-*l*
5×div-inv
4×insert-posit16 add-log-exp
3×cbrt-undiv associate-/r* div-exp
2×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×clear-num frac-2neg tan-quot associate-/l/
Counts
4 → 118
Calls
4 calls:
11.0ms
(/ (/ (tan (* PI l)) F) F)
5.0ms
(* PI l)
5.0ms
(* PI l)
9.0ms
(tan (* PI l))

series344.0ms

Counts
4 → 12
Calls
4 calls:
205.0ms
(/ (/ (tan (* PI l)) F) F)
37.0ms
(* PI l)
21.0ms
(* PI l)
80.0ms
(tan (* PI l))

simplify2.2s

Counts
130 → 130
Iterations
IterNodes
34464
21211
1439
0198

prune1.3s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 0.4b

localize37.0ms

Local error

Found 4 expressions with local error:

0.2b
(* PI l)
0.2b
(* PI l)
0.5b
(/ 1 (/ F (/ (tan (* PI l)) F)))
2.7b
(tan (* PI l))

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
396×times-frac
197×add-sqr-sqrt
193×*-un-lft-identity add-cube-cbrt
44×associate-/r*
29×add-exp-log
17×add-cbrt-cube div-inv
15×div-exp
9×pow1
6×cbrt-undiv associate-*r* associate-*l*
5×associate-/r/
4×insert-posit16 add-log-exp
3×rec-exp 1-exp associate-/l*
2×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×clear-num frac-2neg tan-quot pow-flip inv-pow
Counts
4 → 252
Calls
4 calls:
5.0ms
(* PI l)
6.0ms
(* PI l)
14.0ms
(/ 1 (/ F (/ (tan (* PI l)) F)))
21.0ms
(tan (* PI l))

series305.0ms

Counts
4 → 12
Calls
4 calls:
28.0ms
(* PI l)
32.0ms
(* PI l)
155.0ms
(/ 1 (/ F (/ (tan (* PI l)) F)))
90.0ms
(tan (* PI l))

simplify1.0s

Counts
264 → 264
Iterations
IterNodes
23273
11183
0455

prune2.8s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 0.4b

localize25.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (/ 1 F) (/ (tan (* PI l)) F))
0.2b
(* PI l)
0.2b
(* PI l)
2.7b
(tan (* PI l))

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
43×add-sqr-sqrt
30×add-exp-log
25×times-frac
24×*-un-lft-identity
22×add-cube-cbrt
20×add-cbrt-cube
19×associate-*r* associate-*l*
10×pow1 prod-exp
8×div-exp unswap-sqr
6×cbrt-unprod
4×cbrt-undiv insert-posit16 add-log-exp
3×pow-prod-down *-commutative
2×rec-exp 1-exp div-inv
1×frac-times associate-*l/ tan-quot associate-*r/
Counts
4 → 104
Calls
4 calls:
33.0ms
(* (/ 1 F) (/ (tan (* PI l)) F))
11.0ms
(* PI l)
11.0ms
(* PI l)
16.0ms
(tan (* PI l))

series318.0ms

Counts
4 → 12
Calls
4 calls:
172.0ms
(* (/ 1 F) (/ (tan (* PI l)) F))
28.0ms
(* PI l)
37.0ms
(* PI l)
81.0ms
(tan (* PI l))

simplify2.2s

Counts
116 → 116
Iterations
IterNodes
34482
21363
1460
0165

prune1.3s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.4b

localize23.0ms

Local error

Found 4 expressions with local error:

0.2b
(* PI l)
0.5b
(/ 1 (/ F (/ (/ (sin (* PI l)) (cos (* PI l))) F)))
2.5b
(cos (* PI l))
2.7b
(sin (* PI l))

rewrite99.0ms

Algorithm
rewrite-expression-head
Rules
1710×times-frac
739×add-sqr-sqrt
737×*-un-lft-identity add-cube-cbrt
134×associate-/r*
53×div-inv
40×add-exp-log
26×div-exp
20×add-cbrt-cube
10×cbrt-undiv
7×pow1
5×associate-/r/
4×rec-exp 1-exp insert-posit16 add-log-exp
3×associate-*r* associate-*l* associate-/l*
1×clear-num frac-2neg pow-prod-down prod-exp *-commutative cbrt-unprod pow-flip inv-pow unswap-sqr
Counts
4 → 604
Calls
4 calls:
10.0ms
(* PI l)
38.0ms
(/ 1 (/ F (/ (/ (sin (* PI l)) (cos (* PI l))) F)))
15.0ms
(cos (* PI l))
11.0ms
(sin (* PI l))

series277.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(* PI l)
170.0ms
(/ 1 (/ F (/ (/ (sin (* PI l)) (cos (* PI l))) F)))
29.0ms
(cos (* PI l))
35.0ms
(sin (* PI l))

simplify2.4s

Counts
616 → 616
Iterations
IterNodes
13524
01245

prune8.1s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.4b

regimes514.0ms

Accuracy

0% (0.2b remaining)

Error of 0.7b against oracle of 0.4b and baseline of 0.7b

bsearch0.0ms

simplify6.0ms

Iterations
IterNodes
219
119
015

end0.0ms

sample20.6s

Algorithm
intervals
Results
18.1s7724×body10240exit
1.9s8943×body80valid
115.0ms250×body160valid