Details

sample96.0ms

Algorithm

intervals

Results

57.0ms

488×

body

valid

simplify5.4s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
5	4998
4	2295
3	723
2	217
1	67
0	28

prune21.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.0b

localize59.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* j 27.0) k)
0.2b	(* (* x 18.0) y)
4.6b	(* (* (* (* x 18.0) y) z) t)
7.2b	(* (* (* x 18.0) y) z)

rewrite290.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×	`expm1-log1p-u` `associate-l` `*-commutative` `insert-posit16` `log1p-expm1-u` `add-log-exp`

Counts

4 → 93

Calls

4 calls:

24.0ms	(* (* j 27.0) k)
15.0ms	(* (* x 18.0) y)
180.0ms	(* (* (* (* x 18.0) y) z) t)
69.0ms	(* (* (* x 18.0) y) z)

series180.0ms

Counts

4 → 12

Calls

4 calls:

40.0ms	(* (* j 27.0) k)
37.0ms	(* (* x 18.0) y)
71.0ms	(* (* (* (* x 18.0) y) z) t)
32.0ms	(* (* (* x 18.0) y) z)

simplify1.5s

Counts

105 → 105

Iterations

Iter	Nodes
done	5003
2	1490
1	380
0	149

prune966.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize93.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* j 27.0) k)
0.2b	(* 18.0 (* t (* x (* z y))))
4.6b	(* t (* x (* z y)))
5.1b	(* x (* z y))

rewrite209.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 93

Calls

4 calls:

22.0ms	(* (* j 27.0) k)
119.0ms	(* 18.0 (* t (* x (* z y))))
51.0ms	(* t (* x (* z y)))
15.0ms	(* x (* z y))

series225.0ms

Counts

4 → 12

Calls

4 calls:

32.0ms	(* (* j 27.0) k)
88.0ms	(* 18.0 (* t (* x (* z y))))
73.0ms	(* t (* x (* z y)))
33.0ms	(* x (* z y))

simplify1.4s

Counts

105 → 105

Iterations

Iter	Nodes
done	5000
2	1256
1	332
0	136

prune924.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize81.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* j 27.0) k)
0.2b	(* 18.0 (* t (* (* x z) y)))
4.6b	(* t (* (* x z) y))
5.7b	(* (* x z) y)

rewrite252.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 93

Calls

4 calls:

30.0ms	(* (* j 27.0) k)
131.0ms	(* 18.0 (* t (* (* x z) y)))
61.0ms	(* t (* (* x z) y))
28.0ms	(* (* x z) y)

series248.0ms

Counts

4 → 12

Calls

4 calls:

40.0ms	(* (* j 27.0) k)
70.0ms	(* 18.0 (* t (* (* x z) y)))
86.0ms	(* t (* (* x z) y))
52.0ms	(* (* x z) y)

simplify1.5s

Counts

105 → 105

Iterations

Iter	Nodes
done	5001
2	1328
1	349
0	141

prune987.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize58.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* j 27.0) k)
0.2b	(* 18.0 (* (* t (* x z)) y))
4.4b	(* (* t (* x z)) y)
6.1b	(* t (* x z))

rewrite256.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 93

Calls

4 calls:

26.0ms	(* (* j 27.0) k)
119.0ms	(* 18.0 (* (* t (* x z)) y))
87.0ms	(* (* t (* x z)) y)
23.0ms	(* t (* x z))

series257.0ms

Counts

4 → 12

Calls

4 calls:

47.0ms	(* (* j 27.0) k)
98.0ms	(* 18.0 (* (* t (* x z)) y))
72.0ms	(* (* t (* x z)) y)
39.0ms	(* t (* x z))

simplify1.4s

Counts

105 → 105

Iterations

Iter	Nodes
done	5001
2	1426
1	362
0	142

prune877.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

regimes2.4s

Accuracy

62.1% (2.1b remaining)

Error of 2.1b against oracle of 0.0b and baseline of 5.6b

bsearch3.0ms

simplify24.0ms

Iterations

Iter	Nodes
done	86
1	86
0	59

end0.0ms

sample4.8s

Algorithm

intervals

Results

3.8s

16188×

body

valid