Details

sample155.0ms

Algorithm

intervals

Results

108.0ms

488×

body

valid

simplify4.9s

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)

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

15.0ms	(* (* j 27.0) k)
14.0ms	(* (* x 18.0) y)
149.0ms	(* (* (* (* x 18.0) y) z) t)
65.0ms	(* (* (* x 18.0) y) z)

series170.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(* (* j 27.0) k)
35.0ms	(* (* x 18.0) y)
72.0ms	(* (* (* (* x 18.0) y) z) t)
38.0ms	(* (* (* x 18.0) y) z)

simplify1.2s

Counts

105 → 105

Iterations

Iter	Nodes
done	5003
2	1490
1	380
0	149

prune938.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

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

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

16.0ms	(* (* j 27.0) k)
126.0ms	(* 18.0 (* t (* x (* z y))))
441.0ms	(* t (* x (* z y)))
15.0ms	(* x (* z y))

series205.0ms

Counts

4 → 12

Calls

4 calls:

31.0ms	(* (* j 27.0) k)
61.0ms	(* 18.0 (* t (* x (* z y))))
69.0ms	(* t (* x (* z y)))
44.0ms	(* x (* z y))

simplify1.4s

Counts

105 → 105

Iterations

Iter	Nodes
done	5000
2	1256
1	332
0	136

prune892.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

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

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

21.0ms	(* (* j 27.0) k)
143.0ms	(* 18.0 (* t (* (* x z) y)))
59.0ms	(* t (* (* x z) y))
17.0ms	(* (* x z) y)

series176.0ms

Counts

4 → 12

Calls

4 calls:

37.0ms	(* (* j 27.0) k)
55.0ms	(* 18.0 (* t (* (* x z) y)))
52.0ms	(* t (* (* x z) y))
31.0ms	(* (* x z) y)

simplify1.4s

Counts

105 → 105

Iterations

Iter	Nodes
done	5001
2	1328
1	349
0	141

prune953.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

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

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:

15.0ms	(* (* j 27.0) k)
148.0ms	(* 18.0 (* (* t (* x z)) y))
61.0ms	(* (* t (* x z)) y)
26.0ms	(* t (* x z))

series201.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(* (* j 27.0) k)
79.0ms	(* 18.0 (* (* t (* x z)) y))
57.0ms	(* (* t (* x z)) y)
38.0ms	(* t (* x z))

simplify1.4s

Counts

105 → 105

Iterations

Iter	Nodes
done	5001
2	1426
1	362
0	142

prune874.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

regimes2.1s

Accuracy

62.1% (2.1b remaining)

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

bsearch5.0ms

simplify31.0ms

Iterations

Iter	Nodes
done	86
1	86
0	59

end0.0ms

sample6.9s

Algorithm

intervals

Results

5.1s

16188×

body

valid