Details

sample200.0ms

Algorithm

intervals

Results

142.0ms

480×

body

valid

simplify2.5s

Counts

1 → 1

Iterations

Iter	Nodes
6	2452
5	1745
4	1125
3	543
2	196
1	66
0	28

prune34.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 4.8b

localize85.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* x 4.0) i)
0.4b	(* (* x 18.0) y)
4.0b	(* (* (* x 18.0) y) z)
7.2b	(* (* (* (* x 18.0) y) z) t)

rewrite312.0ms

Algorithm

rewrite-expression-head

Rules

37×	`pow1` `add-cbrt-cube` `add-exp-log`
22×	`pow-prod-down` `prod-exp` `cbrt-unprod`
12×	`associate-r`
8×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`associate-l` `*-commutative` `insert-posit16` `add-log-exp`

Counts

4 → 85

Calls

4 calls:

14.0ms	(* (* x 4.0) i)
14.0ms	(* (* x 18.0) y)
70.0ms	(* (* (* x 18.0) y) z)
213.0ms	(* (* (* (* x 18.0) y) z) t)

series158.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(* (* x 4.0) i)
30.0ms	(* (* x 18.0) y)
43.0ms	(* (* (* x 18.0) y) z)
61.0ms	(* (* (* (* x 18.0) y) z) t)

simplify6.5s

Counts

97 → 97

Iterations

Iter	Nodes
3	8744
2	1514
1	365
0	137

prune2.1s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 1.0b

localize45.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* j 27.0) k)
0.2b	(* (* x 4.0) i)
0.4b	(* (* x 18.0) y)
7.9b	(* (* (* x 18.0) y) (* z t))

rewrite104.0ms

Algorithm

rewrite-expression-head

Rules

40×	`pow1` `add-cbrt-cube` `add-exp-log`
24×	`pow-prod-down` `prod-exp` `cbrt-unprod`
10×	`associate-r`
7×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`associate-l` `*-commutative` `insert-posit16` `add-log-exp`

Counts

4 → 86

Calls

4 calls:

14.0ms	(* (* j 27.0) k)
14.0ms	(* (* x 4.0) i)
15.0ms	(* (* x 18.0) y)
60.0ms	(* (* (* x 18.0) y) (* z t))

series115.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(* (* j 27.0) k)
24.0ms	(* (* x 4.0) i)
22.0ms	(* (* x 18.0) y)
48.0ms	(* (* (* x 18.0) y) (* z t))

simplify4.7s

Counts

98 → 98

Iterations

Iter	Nodes
3	7985
2	1663
1	422
0	159

prune2.3s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.3b

localize83.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* x 4.0) i)
0.3b	(* 27.0 (* j k))
0.4b	(* (* x 18.0) y)
7.9b	(* (* (* x 18.0) y) (* z t))

rewrite154.0ms

Algorithm

rewrite-expression-head

Rules

40×	`pow1` `add-cbrt-cube` `add-exp-log`
24×	`pow-prod-down` `prod-exp` `cbrt-unprod`
8×	`associate-r`
7×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
6×	`associate-l`
4×	`*-commutative` `insert-posit16` `add-log-exp`

Counts

4 → 86

Calls

4 calls:

28.0ms	(* (* x 4.0) i)
26.0ms	(* 27.0 (* j k))
16.0ms	(* (* x 18.0) y)
81.0ms	(* (* (* x 18.0) y) (* z t))

series191.0ms

Counts

4 → 12

Calls

4 calls:

37.0ms	(* (* x 4.0) i)
36.0ms	(* 27.0 (* j k))
36.0ms	(* (* x 18.0) y)
81.0ms	(* (* (* x 18.0) y) (* z t))

simplify4.1s

Counts

98 → 98

Iterations

Iter	Nodes
3	8049
2	1614
1	405
0	155

prune2.4s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.3b

localize76.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* x 4.0) i)
0.2b	(* 18.0 (* x y))
0.3b	(* 27.0 (* j k))
7.9b	(* (* 18.0 (* x y)) (* z t))

rewrite151.0ms

Algorithm

rewrite-expression-head

Rules

40×	`pow1` `add-cbrt-cube` `add-exp-log`
24×	`pow-prod-down` `prod-exp` `cbrt-unprod`
8×	`associate-l`
7×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
6×	`associate-r`
4×	`*-commutative` `insert-posit16` `add-log-exp`

Counts

4 → 86

Calls

4 calls:

14.0ms	(* (* x 4.0) i)
19.0ms	(* 18.0 (* x y))
24.0ms	(* 27.0 (* j k))
93.0ms	(* (* 18.0 (* x y)) (* z t))

series166.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(* (* x 4.0) i)
36.0ms	(* 18.0 (* x y))
32.0ms	(* 27.0 (* j k))
64.0ms	(* (* 18.0 (* x y)) (* z t))

simplify2.8s

Counts

98 → 98

Iterations

Iter	Nodes
3	6943
2	1485
1	394
0	151

prune2.5s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

regimes2.5s

Accuracy

74.8% (1.5b remaining)

Error of 1.6b against oracle of 0.1b and baseline of 5.9b

bsearch357.0ms

Steps

Iters	Range		Point
3	1.705397399257739e+26	2.2249950319902085e+26	1.737872251303518e+26
10	-2.646302339815037e-48	-1.0411165549086523e-60	-6.220885485035918e-49

simplify8.0ms

Iterations

Iter	Nodes
2	62
1	62
0	42

end0.0ms

sample5.8s

Algorithm

intervals

Results

4.6s

16087×

body

valid