Details

sample428.0ms

Algorithm

intervals

Results

202.0ms	71×	body	1280	valid
95.0ms	49×	body	640	valid
62.0ms	176×	body	80	valid
36.0ms	29×	body	320	valid
9.0ms	12×	body	160	valid

simplify1.7s

Counts

1 → 1

Iterations

Iter	Nodes
done	2000
4	2000
3	1118
2	185
1	54
0	19

prune14.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 24.1b

localize61.0ms

Local error

Found 4 expressions with local error:

1.5b	(* (* (/ t l) (/ t l)) t)
2.7b	(* (sin k) (* (* (/ t l) (/ t l)) t))
4.9b	(/ (/ 2 (tan k)) (* (sin k) (* (* (/ t l) (/ t l)) t)))
16.0b	(/ (/ (/ 2 (tan k)) (* (sin k) (* (* (/ t l) (/ t l)) t))) (+ (* (/ k t) (/ k t)) 2))

rewrite473.0ms

Algorithm

rewrite-expression-head

Rules

209×	`add-cbrt-cube` `add-exp-log`
187×	`times-frac`
84×	`prod-exp` `cbrt-unprod`
81×	`cbrt-undiv` `div-exp`
75×	`add-sqr-sqrt`
74×	`*-un-lft-identity` `add-cube-cbrt`
35×	`associate-/l*`
28×	`associate-*l/`
25×	`associate-*r/`
23×	`associate-/r/`
18×	`pow1`
12×	`div-inv`
9×	`pow-prod-down`
7×	`frac-times`
6×	`tan-quot`
4×	`associate-/r` `associate-r` `associate-l*` `insert-posit16` `add-log-exp`
2×	`clear-num` `frac-2neg` `*-commutative` `associate-/l/`
1×	`flip3-+` `flip-+` `unswap-sqr`

Counts

4 → 263

Calls

4 calls:

46.0ms	(* (* (/ t l) (/ t l)) t)
115.0ms	(* (sin k) (* (* (/ t l) (/ t l)) t))
127.0ms	(/ (/ 2 (tan k)) (* (sin k) (* (* (/ t l) (/ t l)) t)))
174.0ms	(/ (/ (/ 2 (tan k)) (* (sin k) (* (* (/ t l) (/ t l)) t))) (+ (* (/ k t) (/ k t)) 2))

series1.6s

Counts

4 → 12

Calls

4 calls:

68.0ms	(* (* (/ t l) (/ t l)) t)
152.0ms	(* (sin k) (* (* (/ t l) (/ t l)) t))
398.0ms	(/ (/ 2 (tan k)) (* (sin k) (* (* (/ t l) (/ t l)) t)))
939.0ms	(/ (/ (/ 2 (tan k)) (* (sin k) (* (* (/ t l) (/ t l)) t))) (+ (* (/ k t) (/ k t)) 2))

simplify1.5s

Counts

275 → 275

Iterations

Iter	Nodes
done	2001
2	2001
1	1235
0	448

prune1.8s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 14.9b

localize47.0ms

Local error

Found 4 expressions with local error:

1.3b	(* (* (sin k) (* (/ t l) (/ t l))) t)
3.7b	(* (sin k) (* (/ t l) (/ t l)))
4.9b	(/ (/ 2 (tan k)) (* (* (sin k) (* (/ t l) (/ t l))) t))
16.0b	(/ (/ (/ 2 (tan k)) (* (* (sin k) (* (/ t l) (/ t l))) t)) (+ (* (/ k t) (/ k t)) 2))

rewrite449.0ms

Algorithm

rewrite-expression-head

Rules

209×	`add-cbrt-cube` `add-exp-log`
187×	`times-frac`
84×	`prod-exp` `cbrt-unprod`
81×	`cbrt-undiv` `div-exp`
75×	`add-sqr-sqrt`
74×	`*-un-lft-identity` `add-cube-cbrt`
35×	`associate-/l*`
28×	`associate-*r/`
25×	`associate-*l/`
23×	`associate-/r/`
18×	`pow1`
12×	`div-inv`
9×	`pow-prod-down`
7×	`frac-times`
6×	`tan-quot`
4×	`associate-/r` `associate-r` `associate-l*` `insert-posit16` `add-log-exp`
2×	`clear-num` `frac-2neg` `*-commutative` `associate-/l/`
1×	`flip3-+` `flip-+` `unswap-sqr`

Counts

4 → 263

Calls

4 calls:

107.0ms	(* (* (sin k) (* (/ t l) (/ t l))) t)
28.0ms	(* (sin k) (* (/ t l) (/ t l)))
140.0ms	(/ (/ 2 (tan k)) (* (* (sin k) (* (/ t l) (/ t l))) t))
167.0ms	(/ (/ (/ 2 (tan k)) (* (* (sin k) (* (/ t l) (/ t l))) t)) (+ (* (/ k t) (/ k t)) 2))

series1.6s

Counts

4 → 12

Calls

4 calls:

159.0ms	(* (* (sin k) (* (/ t l) (/ t l))) t)
119.0ms	(* (sin k) (* (/ t l) (/ t l)))
360.0ms	(/ (/ 2 (tan k)) (* (* (sin k) (* (/ t l) (/ t l))) t))
987.0ms	(/ (/ (/ 2 (tan k)) (* (* (sin k) (* (/ t l) (/ t l))) t)) (+ (* (/ k t) (/ k t)) 2))

simplify1.5s

Counts

275 → 275

Iterations

Iter	Nodes
done	2010
2	2010
1	1316
0	463

prune2.0s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 12.4b

localize76.0ms

Local error

Found 4 expressions with local error:

0.4b	(/ 2 (* (* (sin k) (/ t l)) (/ t l)))
3.6b	(/ (/ (/ 1 (tan k)) t) (+ (* (/ k t) (/ k t)) 2))
4.2b	(* (sin k) (/ t l))
14.8b	(* (/ 2 (* (* (sin k) (/ t l)) (/ t l))) (/ (/ (/ 1 (tan k)) t) (+ (* (/ k t) (/ k t)) 2)))

rewrite375.0ms

Algorithm

rewrite-expression-head

Rules

784×	`times-frac`
385×	`add-sqr-sqrt`
363×	`*-un-lft-identity`
362×	`add-cube-cbrt`
361×	`add-exp-log`
247×	`add-cbrt-cube`
184×	`div-exp`
157×	`associate-r`
120×	`prod-exp`
115×	`cbrt-undiv`
84×	`cbrt-unprod`
49×	`associate-/l*`
33×	`div-inv`
31×	`associate-/r/`
21×	`tan-quot`
13×	`associate-l`
9×	`rec-exp` `1-exp`
8×	`pow1` `associate-*r/`
7×	`unswap-sqr`
4×	`associate-/r*` `insert-posit16` `add-log-exp`
3×	`frac-times` `associate-*l/`
2×	`clear-num` `frac-2neg` `flip3-+` `pow-prod-down` `*-commutative` `flip-+`
1×	`associate-/l/`

Counts

4 → 529

Calls

4 calls:

49.0ms	(/ 2 (* (* (sin k) (/ t l)) (/ t l)))
53.0ms	(/ (/ (/ 1 (tan k)) t) (+ (* (/ k t) (/ k t)) 2))
24.0ms	(* (sin k) (/ t l))
221.0ms	(* (/ 2 (* (* (sin k) (/ t l)) (/ t l))) (/ (/ (/ 1 (tan k)) t) (+ (* (/ k t) (/ k t)) 2)))

series1.5s

Counts

4 → 12

Calls

4 calls:

205.0ms	(/ 2 (* (* (sin k) (/ t l)) (/ t l)))
254.0ms	(/ (/ (/ 1 (tan k)) t) (+ (* (/ k t) (/ k t)) 2))
98.0ms	(* (sin k) (/ t l))
914.0ms	(* (/ 2 (* (* (sin k) (/ t l)) (/ t l))) (/ (/ (/ 1 (tan k)) t) (+ (* (/ k t) (/ k t)) 2)))

simplify1.7s

Counts

541 → 541

Iterations

Iter	Nodes
done	2000
1	2000
0	841

prune4.6s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 12.2b

localize85.0ms

Local error

Found 4 expressions with local error:

3.6b	(/ (/ (/ 1 (tan k)) t) (+ (* (/ k t) (/ k t)) 2))
4.2b	(* (sin k) (/ t l))
6.1b	(* (/ 1 (* (sin k) (/ t l))) (* (/ 2 (/ t l)) (/ (/ (/ 1 (tan k)) t) (+ (* (/ k t) (/ k t)) 2))))
7.7b	(* (/ 2 (/ t l)) (/ (/ (/ 1 (tan k)) t) (+ (* (/ k t) (/ k t)) 2)))

rewrite468.0ms

Algorithm

rewrite-expression-head

Rules

1376×	`add-exp-log`
880×	`times-frac`
744×	`div-exp`
504×	`prod-exp`
469×	`add-sqr-sqrt`
422×	`add-cbrt-cube`
398×	`*-un-lft-identity`
395×	`add-cube-cbrt`
209×	`cbrt-undiv`
158×	`associate-r`
140×	`cbrt-unprod`
91×	`rec-exp` `1-exp`
55×	`associate-l`
46×	`associate-/l*`
36×	`div-inv`
27×	`associate-/r/`
21×	`tan-quot`
17×	`unswap-sqr`
13×	`pow1`
8×	`associate-*r/`
6×	`frac-times`
5×	`pow-prod-down`
4×	`associate-*l/` `insert-posit16` `add-log-exp`
3×	`associate-/r` `-commutative`
2×	`flip3-+` `flip-+`
1×	`clear-num` `frac-2neg` `associate-/l/`

Counts

4 → 757

Calls

4 calls:

55.0ms	(/ (/ (/ 1 (tan k)) t) (+ (* (/ k t) (/ k t)) 2))
24.0ms	(* (sin k) (/ t l))
208.0ms	(* (/ 1 (* (sin k) (/ t l))) (* (/ 2 (/ t l)) (/ (/ (/ 1 (tan k)) t) (+ (* (/ k t) (/ k t)) 2))))
126.0ms	(* (/ 2 (/ t l)) (/ (/ (/ 1 (tan k)) t) (+ (* (/ k t) (/ k t)) 2)))

series1.6s

Counts

4 → 12

Calls

4 calls:

272.0ms	(/ (/ (/ 1 (tan k)) t) (+ (* (/ k t) (/ k t)) 2))
88.0ms	(* (sin k) (/ t l))
979.0ms	(* (/ 1 (* (sin k) (/ t l))) (* (/ 2 (/ t l)) (/ (/ (/ 1 (tan k)) t) (+ (* (/ k t) (/ k t)) 2))))
311.0ms	(* (/ 2 (/ t l)) (/ (/ (/ 1 (tan k)) t) (+ (* (/ k t) (/ k t)) 2)))

simplify3.7s

Counts

769 → 769

Iterations

Iter	Nodes
done	2001
1	2001
0	1115

prune5.4s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 12.1b

regimes533.0ms

Accuracy

0% (0.8b remaining)

Error of 11.2b against oracle of 10.4b and baseline of 11.2b

bsearch0.0ms

simplify7.0ms

Iterations

Iter	Nodes
done	27
1	27
0	20

end0.0ms

sample16.5s

Algorithm

intervals

Results

6.9s	2115×	body	1280	valid
3.5s	5971×	body	80	valid
3.5s	1654×	body	640	valid
1.8s	841×	body	320	valid
374.0ms	436×	body	160	valid