Details

sample168.0ms

Algorithm

intervals

Results

121.0ms

525×

body

valid

simplify2.8s

Counts

1 → 1

Iterations

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

prune40.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 3.7b

localize92.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* x 18.0) y)
0.3b	(* (* j 27.0) k)
3.3b	(* (* (* x 18.0) y) z)
7.7b	(* (* (* (* x 18.0) y) z) t)

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

25.0ms	(* (* x 18.0) y)
26.0ms	(* (* j 27.0) k)
47.0ms	(* (* (* x 18.0) y) z)
252.0ms	(* (* (* (* x 18.0) y) z) t)

series150.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(* (* x 18.0) y)
33.0ms	(* (* j 27.0) k)
37.0ms	(* (* (* x 18.0) y) z)
57.0ms	(* (* (* (* x 18.0) y) z) t)

simplify8.0s

Counts

97 → 97

Iterations

Iter	Nodes
3	9045
2	1555
1	369
0	141

prune2.1s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.5b

localize62.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
0.2b	(* (* x 18.0) y)
0.3b	(* (* j 27.0) k)
9.6b	(* (* (* x 18.0) y) (* z t))

rewrite8.2s

Algorithm

rewrite-expression-head

Rules

35×	`pow1` `add-cbrt-cube` `add-exp-log`
21×	`pow-prod-down` `prod-exp` `cbrt-unprod`
18×	`add-log-exp`
8×	`diff-log`
7×	`associate-r`
6×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`associate--l+` `insert-posit16`
3×	`associate-l` `*-commutative`
2×	`sum-log` `sub-neg`
1×	`associate--l-` `flip3--` `flip--`

Counts

4 → 87

Calls

4 calls:

8.1s	(- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
25.0ms	(* (* x 18.0) y)
31.0ms	(* (* j 27.0) k)
92.0ms	(* (* (* x 18.0) y) (* z t))

series3.6s

Counts

4 → 12

Calls

4 calls:

3.5s	(- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
23.0ms	(* (* x 18.0) y)
23.0ms	(* (* j 27.0) k)
70.0ms	(* (* (* x 18.0) y) (* z t))

simplify7.2s

Counts

99 → 99

Iterations

Iter	Nodes
3	9796
2	1770
1	450
0	177

prune2.0s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize58.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* j k)))
0.2b	(* (* x 18.0) y)
0.2b	(* 27.0 (* j k))
9.6b	(* (* (* x 18.0) y) (* z t))

rewrite7.1s

Algorithm

rewrite-expression-head

Rules

35×	`pow1` `add-cbrt-cube` `add-exp-log`
21×	`pow-prod-down` `prod-exp` `cbrt-unprod`
18×	`add-log-exp`
8×	`diff-log`
6×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
5×	`associate-r` `associate-l`
4×	`associate--l+` `insert-posit16`
3×	`*-commutative`
2×	`sum-log` `sub-neg`
1×	`associate--l-` `flip3--` `flip--`

Counts

4 → 87

Calls

4 calls:

7.0s	(- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* j k)))
26.0ms	(* (* x 18.0) y)
13.0ms	(* 27.0 (* j k))
71.0ms	(* (* (* x 18.0) y) (* z t))

series3.5s

Counts

4 → 12

Calls

4 calls:

3.4s	(- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* 27.0 (* j k)))
30.0ms	(* (* x 18.0) y)
27.0ms	(* 27.0 (* j k))
59.0ms	(* (* (* x 18.0) y) (* z t))

simplify4.0s

Counts

99 → 99

Iterations

Iter	Nodes
3	9385
2	1625
1	434
0	173

prune2.0s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize59.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (- (+ (- (* (* x 18.0) (* y (* z t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
0.3b	(* (* j 27.0) k)
5.0b	(* (* x 18.0) (* y (* z t)))
5.8b	(* y (* z t))

rewrite5.3s

Algorithm

rewrite-expression-head

Rules

35×	`pow1` `add-cbrt-cube` `add-exp-log`
21×	`pow-prod-down` `prod-exp` `cbrt-unprod`
18×	`add-log-exp`
8×	`diff-log`
6×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
5×	`associate-r` `associate-l`
4×	`associate--l+` `insert-posit16`
3×	`*-commutative`
2×	`sum-log` `sub-neg`
1×	`associate--l-` `flip3--` `flip--`

Counts

4 → 87

Calls

4 calls:

5.2s	(- (- (+ (- (* (* x 18.0) (* y (* z t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
20.0ms	(* (* j 27.0) k)
52.0ms	(* (* x 18.0) (* y (* z t)))
15.0ms	(* y (* z t))

series3.4s

Counts

4 → 12

Calls

4 calls:

3.3s	(- (- (+ (- (* (* x 18.0) (* y (* z t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
34.0ms	(* (* j 27.0) k)
70.0ms	(* (* x 18.0) (* y (* z t)))
28.0ms	(* y (* z t))

simplify4.2s

Counts

99 → 99

Iterations

Iter	Nodes
3	9418
2	1711
1	439
0	174

prune1.8s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

regimes2.2s

Accuracy

63.2% (1.9b remaining)

Error of 2.1b against oracle of 0.1b and baseline of 5.4b

bsearch532.0ms

Steps

Iters	Range		Point
8	4.303138589908211e+120	4.430574041051004e+123	4.353619239620954e+120
9	-1.209049226813625e+18	-1428954001.7630491	-3265662515.3631783

simplify18.0ms

Iterations

Iter	Nodes
2	66
1	66
0	44

end0.0ms

sample4.6s

Algorithm

intervals

Results

3.6s

16007×

body

valid