Details

sample148.0ms

Algorithm

intervals

Results

80.0ms

551×

body

valid

simplify1.6s

Counts

1 → 1

Iterations

Iter	Nodes
done	5001
4	1710
3	614
2	201
1	66
0	28

prune35.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 4.8b

localize75.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* x 18.0) y)
0.2b	(* (* j 27.0) k)
5.6b	(* (* (* x 18.0) y) z)
6.4b	(* (* (* (* x 18.0) y) z) t)

rewrite248.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` `add-log-exp`

Counts

4 → 81

Calls

4 calls:

17.0ms	(* (* x 18.0) y)
13.0ms	(* (* j 27.0) k)
46.0ms	(* (* (* x 18.0) y) z)
165.0ms	(* (* (* (* x 18.0) y) z) t)

series161.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(* (* x 18.0) y)
22.0ms	(* (* j 27.0) k)
40.0ms	(* (* (* x 18.0) y) z)
71.0ms	(* (* (* (* x 18.0) y) z) t)

simplify2.5s

Counts

93 → 93

Iterations

Iter	Nodes
done	5000
2	3116
1	370
0	137

prune960.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize82.0ms

Local error

Found 4 expressions with local error:

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

rewrite280.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` `add-log-exp`

Counts

4 → 81

Calls

4 calls:

164.0ms	(* (* (* (* t x) z) y) 18.0)
14.0ms	(* (* j 27.0) k)
16.0ms	(* (* t x) z)
83.0ms	(* (* (* t x) z) y)

series166.0ms

Counts

4 → 12

Calls

4 calls:

54.0ms	(* (* (* (* t x) z) y) 18.0)
25.0ms	(* (* j 27.0) k)
37.0ms	(* (* t x) z)
50.0ms	(* (* (* t x) z) y)

simplify1.8s

Counts

93 → 93

Iterations

Iter	Nodes
done	5000
2	2741
1	362
0	134

prune900.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize61.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* (pow (* x (* z t)) 1) y) 18.0)
0.2b	(* (* j 27.0) k)
4.4b	(* x (* z t))
5.1b	(* (pow (* x (* z t)) 1) y)

rewrite123.0ms

Algorithm

rewrite-expression-head

Rules

45×	`add-exp-log`
28×	`prod-exp`
21×	`add-cbrt-cube`
19×	`pow1`
12×	`add-sqr-sqrt`
10×	`associate-r` `associate-l` `pow-prod-down` `cbrt-unprod`
9×	`*-un-lft-identity` `add-cube-cbrt`
6×	`pow-exp`
4×	`*-commutative` `add-log-exp`
2×	`pow-to-exp` `unswap-sqr` `sqr-pow`
1×	`unpow-prod-down`

Counts

4 → 83

Calls

4 calls:

58.0ms	(* (* (pow (* x (* z t)) 1) y) 18.0)
22.0ms	(* (* j 27.0) k)
21.0ms	(* x (* z t))
18.0ms	(* (pow (* x (* z t)) 1) y)

series228.0ms

Counts

4 → 12

Calls

4 calls:

91.0ms	(* (* (pow (* x (* z t)) 1) y) 18.0)
38.0ms	(* (* j 27.0) k)
40.0ms	(* x (* z t))
59.0ms	(* (pow (* x (* z t)) 1) y)

simplify1.8s

Counts

95 → 95

Iterations

Iter	Nodes
done	5001
2	2511
1	381
0	151

prune1.1s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize88.0ms

Local error

Found 4 expressions with local error:

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

rewrite315.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 81

Calls

4 calls:

211.0ms	(* (* (* (* t x) z) y) 18.0)
12.0ms	(* j (* 27.0 k))
25.0ms	(* (* t x) z)
61.0ms	(* (* (* t x) z) y)

series223.0ms

Counts

4 → 12

Calls

4 calls:

66.0ms	(* (* (* (* t x) z) y) 18.0)
41.0ms	(* j (* 27.0 k))
33.0ms	(* (* t x) z)
83.0ms	(* (* (* t x) z) y)

simplify1.7s

Counts

93 → 93

Iterations

Iter	Nodes
done	5002
2	2329
1	351
0	132

prune885.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

regimes3.0s

Accuracy

41.7% (2.4b remaining)

Error of 2.5b against oracle of 0.1b and baseline of 4.2b

bsearch446.0ms

Steps

Iters	Range		Point
6	6.794562394289223e-30	3.8003873091909475e-29	3.0818788547116815e-29
8	-9.298255809697272e+29	-1.9788698557631762e+27	-3.2401600216708523e+27

simplify29.0ms

Iterations

Iter	Nodes
done	89
3	89
2	87
1	85
0	58

end0.0ms

sample5.9s

Algorithm

intervals

Results

2.6s

16095×

body

valid