Details

sample117.0ms

Algorithm

intervals

Results

78.0ms

488×

body

valid

simplify4.8s

Counts

1 → 1

Iterations

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

prune23.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.0b

localize72.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)

rewrite277.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:

22.0ms	(* (* j 27.0) k)
21.0ms	(* (* x 18.0) y)
177.0ms	(* (* (* (* x 18.0) y) z) t)
54.0ms	(* (* (* x 18.0) y) z)

series195.0ms

Counts

4 → 12

Calls

4 calls:

43.0ms	(* (* j 27.0) k)
34.0ms	(* (* x 18.0) y)
75.0ms	(* (* (* (* x 18.0) y) z) t)
43.0ms	(* (* (* x 18.0) y) z)

simplify1.7s

Counts

105 → 105

Iterations

Iter	Nodes
done	5003
2	1490
1	380
0	149

prune1.0s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize76.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))

rewrite211.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:

14.0ms	(* (* j 27.0) k)
119.0ms	(* 18.0 (* t (* x (* z y))))
49.0ms	(* t (* x (* z y)))
26.0ms	(* x (* z y))

series244.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(* (* j 27.0) k)
87.0ms	(* 18.0 (* t (* x (* z y))))
76.0ms	(* t (* x (* z y)))
42.0ms	(* x (* z y))

simplify1.3s

Counts

105 → 105

Iterations

Iter	Nodes
done	5000
2	1256
1	332
0	136

prune809.0ms

Pruning

8 alts after pruning (8 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.6b	(* t (* (* x z) y))
5.7b	(* (* x z) y)

rewrite245.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:

16.0ms	(* (* j 27.0) k)
128.0ms	(* 18.0 (* t (* (* x z) y)))
79.0ms	(* t (* (* x z) y))
20.0ms	(* (* x z) y)

series243.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(* (* j 27.0) k)
78.0ms	(* 18.0 (* t (* (* x z) y)))
70.0ms	(* t (* (* x z) y))
58.0ms	(* (* x z) y)

simplify1.4s

Counts

105 → 105

Iterations

Iter	Nodes
done	5001
2	1328
1	349
0	141

prune921.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize68.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))

rewrite269.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)
164.0ms	(* 18.0 (* (* t (* x z)) y))
58.0ms	(* (* t (* x z)) y)
15.0ms	(* t (* x z))

series227.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(* (* j 27.0) k)
87.0ms	(* 18.0 (* (* t (* x z)) y))
70.0ms	(* (* t (* x z)) y)
33.0ms	(* t (* x z))

simplify1.5s

Counts

105 → 105

Iterations

Iter	Nodes
done	5001
2	1426
1	362
0	142

prune917.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

regimes2.3s

Accuracy

62.1% (2.1b remaining)

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

bsearch5.0ms

simplify19.0ms

Iterations

Iter	Nodes
done	86
1	86
0	59

end0.0ms

sample4.9s

Algorithm

intervals

Results

3.9s

16188×

body

valid