Details

sample1.2s

Algorithm

intervals

Results

297.0ms	33×	body	5120	valid
290.0ms	129×	body	1280	valid
274.0ms	73×	body	2560	valid
199.0ms	87×	body	640	valid
52.0ms	67×	body	80	valid
32.0ms	28×	body	320	valid
10.0ms	14×	body	160	valid

simplify5.0s

Counts

1 → 1

Iterations

Iter	Nodes
4	7040
3	1010
2	176
1	49
0	19

prune17.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 20.3b

localize54.0ms

Local error

Found 4 expressions with local error:

1.6b	(* (/ k t) (* (/ k t) (/ t l)))
2.7b	(/ (/ 2 (* (* (/ k t) (* (/ k t) (/ t l))) (* (/ t l) t))) (* (sin k) (tan k)))
12.2b	(* (/ k t) (/ t l))
18.3b	(* (* (/ k t) (* (/ k t) (/ t l))) (* (/ t l) t))

rewrite409.0ms

Algorithm

rewrite-expression-head

Rules

810×	`add-cbrt-cube` `add-exp-log`
384×	`prod-exp` `cbrt-unprod`
305×	`cbrt-undiv` `div-exp`
67×	`associate-*l/`
59×	`times-frac`
57×	`frac-times`
41×	`add-sqr-sqrt`
40×	`associate-*r/`
32×	`pow1`
31×	`associate-/r/`
29×	`*-un-lft-identity` `add-cube-cbrt`
27×	`associate-l`
22×	`associate-/l*`
19×	`pow-prod-down`
15×	`associate-r`
6×	`div-inv`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
3×	`*-commutative`
1×	`clear-num` `associate-/r*` `frac-2neg` `tan-quot` `associate-/l/`

Counts

4 → 407

Calls

4 calls:

43.0ms	(* (/ k t) (* (/ k t) (/ t l)))
184.0ms	(/ (/ 2 (* (* (/ k t) (* (/ k t) (/ t l))) (* (/ t l) t))) (* (sin k) (tan k)))
14.0ms	(* (/ k t) (/ t l))
138.0ms	(* (* (/ k t) (* (/ k t) (/ t l))) (* (/ t l) t))

series398.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(* (/ k t) (* (/ k t) (/ t l)))
303.0ms	(/ (/ 2 (* (* (/ k t) (* (/ k t) (/ t l))) (* (/ t l) t))) (* (sin k) (tan k)))
15.0ms	(* (/ k t) (/ t l))
41.0ms	(* (* (/ k t) (* (/ k t) (/ t l))) (* (/ t l) t))

simplify1.1s

Counts

419 → 419

Iterations

Iter	Nodes
1	2078
0	612

prune2.4s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 4.1b

localize47.0ms

Local error

Found 4 expressions with local error:

2.7b	(/ (/ -2 (* (/ k t) (* (* (* (/ t l) (/ k t)) (/ t l)) t))) (- (* (sin k) (tan k))))
4.2b	(* (* (* (/ t l) (/ k t)) (/ t l)) t)
12.2b	(* (/ t l) (/ k t))
13.7b	(* (/ k t) (* (* (* (/ t l) (/ k t)) (/ t l)) t))

rewrite1.1s

Algorithm

rewrite-expression-head

Rules

410×	`add-cbrt-cube` `add-exp-log`
213×	`associate-*l/`
197×	`prod-exp` `cbrt-unprod`
184×	`times-frac`
144×	`cbrt-undiv` `div-exp`
142×	`frac-times`
109×	`associate-*r/`
106×	`associate-/r/`
75×	`add-sqr-sqrt`
63×	`*-un-lft-identity` `add-cube-cbrt`
29×	`pow1`
27×	`associate-l`
23×	`distribute-lft-neg-in` `neg-mul-1` `distribute-rgt-neg-in`
22×	`associate-/l*`
17×	`associate-r` `pow-prod-down`
11×	`div-inv`
6×	`associate-/r*`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
3×	`*-commutative`
1×	`clear-num` `frac-2neg` `tan-quot` `distribute-neg-frac` `associate-/l/`

Counts

4 → 419

Calls

4 calls:

520.0ms	(/ (/ -2 (* (/ k t) (* (* (* (/ t l) (/ k t)) (/ t l)) t))) (- (* (sin k) (tan k))))
144.0ms	(* (* (* (/ t l) (/ k t)) (/ t l)) t)
25.0ms	(* (/ t l) (/ k t))
406.0ms	(* (/ k t) (* (* (* (/ t l) (/ k t)) (/ t l)) t))

series489.0ms

Counts

4 → 12

Calls

4 calls:

382.0ms	(/ (/ -2 (* (/ k t) (* (* (* (/ t l) (/ k t)) (/ t l)) t))) (- (* (sin k) (tan k))))
55.0ms	(* (* (* (/ t l) (/ k t)) (/ t l)) t)
11.0ms	(* (/ t l) (/ k t))
41.0ms	(* (/ k t) (* (* (* (/ t l) (/ k t)) (/ t l)) t))

simplify1.1s

Counts

431 → 431

Iterations

Iter	Nodes
1	2335
0	735

prune2.8s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 3.1b

localize38.0ms

Local error

Found 4 expressions with local error:

2.7b	(/ (/ -2 (* (* (/ k t) (* (* (/ t l) (/ k t)) (/ t l))) t)) (- (* (sin k) (tan k))))
6.0b	(* (* (/ k t) (* (* (/ t l) (/ k t)) (/ t l))) t)
10.2b	(* (/ k t) (* (* (/ t l) (/ k t)) (/ t l)))
12.2b	(* (/ t l) (/ k t))

rewrite1.2s

Algorithm

rewrite-expression-head

Rules

466×	`add-cbrt-cube` `add-exp-log`
224×	`prod-exp` `cbrt-unprod`
220×	`associate-*l/`
184×	`times-frac`
164×	`cbrt-undiv` `div-exp`
154×	`frac-times`
119×	`associate-*r/`
106×	`associate-/r/`
75×	`add-sqr-sqrt`
63×	`*-un-lft-identity` `add-cube-cbrt`
29×	`pow1`
27×	`associate-l`
23×	`distribute-lft-neg-in` `neg-mul-1` `distribute-rgt-neg-in`
22×	`associate-/l*`
17×	`associate-r` `pow-prod-down`
11×	`div-inv`
6×	`associate-/r*`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
3×	`*-commutative`
1×	`clear-num` `frac-2neg` `tan-quot` `distribute-neg-frac` `associate-/l/`

Counts

4 → 445

Calls

4 calls:

558.0ms	(/ (/ -2 (* (* (/ k t) (* (* (/ t l) (/ k t)) (/ t l))) t)) (- (* (sin k) (tan k))))
469.0ms	(* (* (/ k t) (* (* (/ t l) (/ k t)) (/ t l))) t)
154.0ms	(* (/ k t) (* (* (/ t l) (/ k t)) (/ t l)))
24.0ms	(* (/ t l) (/ k t))

series411.0ms

Counts

4 → 12

Calls

4 calls:

311.0ms	(/ (/ -2 (* (* (/ k t) (* (* (/ t l) (/ k t)) (/ t l))) t)) (- (* (sin k) (tan k))))
48.0ms	(* (* (/ k t) (* (* (/ t l) (/ k t)) (/ t l))) t)
40.0ms	(* (/ k t) (* (* (/ t l) (/ k t)) (/ t l)))
12.0ms	(* (/ t l) (/ k t))

simplify1.1s

Counts

457 → 457

Iterations

Iter	Nodes
1	2439
0	757

prune3.1s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 3.0b

localize55.0ms

Local error

Found 4 expressions with local error:

3.9b	(* (* t (/ k t)) (/ t l))
4.8b	(* (* (/ k t) (* (* t (/ k t)) (/ t l))) t)
8.2b	(* (/ k t) (* (* t (/ k t)) (/ t l)))
12.8b	(* t (/ k t))

rewrite411.0ms

Algorithm

rewrite-expression-head

Rules

176×	`add-cbrt-cube` `add-exp-log`
95×	`prod-exp` `cbrt-unprod`
40×	`cbrt-undiv` `div-exp`
34×	`pow1`
32×	`add-sqr-sqrt`
30×	`associate-r`
28×	`times-frac`
27×	`*-un-lft-identity` `add-cube-cbrt`
22×	`associate-*r/`
20×	`pow-prod-down`
18×	`associate-l`
14×	`associate-*l/`
11×	`frac-times`
4×	`expm1-log1p-u` `*-commutative` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`div-inv`
2×	`unswap-sqr`

Counts

4 → 196

Calls

4 calls:

47.0ms	(* (* t (/ k t)) (/ t l))
282.0ms	(* (* (/ k t) (* (* t (/ k t)) (/ t l))) t)
66.0ms	(* (/ k t) (* (* t (/ k t)) (/ t l)))
9.0ms	(* t (/ k t))

series117.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(* (* t (/ k t)) (/ t l))
39.0ms	(* (* (/ k t) (* (* t (/ k t)) (/ t l))) t)
29.0ms	(* (/ k t) (* (* t (/ k t)) (/ t l)))
13.0ms	(* t (/ k t))

simplify1.6s

Counts

208 → 208

Iterations

Iter	Nodes
2	4144
1	827
0	254

prune1.3s

Pruning

19 alts after pruning (18 fresh and 1 done)

Merged error: 0.7b

regimes767.0ms

Accuracy

33.9% (6.7b remaining)

Error of 8.4b against oracle of 1.7b and baseline of 11.8b

bsearch693.0ms

Steps

Iters	Range		Point
6	1.2523769154409283e+128	7.9500928371064e+128	6.197353443504037e+128
8	-5.669290374558008e+155	-2.381500784733795e+151	-1.3736813118155453e+154

simplify21.0ms

Iterations

Iter	Nodes
3	50
2	50
1	48
0	36

end0.0ms

sample40.0s

Algorithm

intervals

Results

11.0s	3932×	body	1280	valid
10.5s	2267×	body	2560	valid
9.0s	1003×	body	5120	valid
5.8s	2604×	body	640	valid
1.9s	977×	body	320	valid
800.0ms	1964×	body	80	valid
402.0ms	441×	body	160	valid