Details

sample206.0ms

Algorithm

intervals

Results

119.0ms

525×

body

valid

simplify1.4s

Counts

1 → 1

Iterations

Iter	Nodes
4	2295
3	723
2	217
1	67
0	28

prune52.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 3.6b

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

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

17.0ms	(* (* x 18.0) y)
30.0ms	(* (* j 27.0) k)
53.0ms	(* (* (* x 18.0) y) z)
186.0ms	(* (* (* (* x 18.0) y) z) t)

series144.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(* (* x 18.0) y)
27.0ms	(* (* j 27.0) k)
43.0ms	(* (* (* x 18.0) y) z)
51.0ms	(* (* (* (* x 18.0) y) z) t)

simplify5.9s

Counts

105 → 105

Iterations

Iter	Nodes
3	8441
2	1559
1	379
0	149

prune2.4s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.5b

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

rewrite10.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`
9×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
8×	`diff-log`
7×	`associate-r` `associate--l+`
6×	`prod-diff`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u`
3×	`fma-neg` `associate-l` `*-commutative`
2×	`sum-log` `sub-neg`
1×	`associate--l-` `flip3--` `flip--`

Counts

4 → 104

Calls

4 calls:

10.1s	(- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
15.0ms	(* (* x 18.0) y)
25.0ms	(* (* j 27.0) k)
80.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))
22.0ms	(* (* x 18.0) y)
34.0ms	(* (* j 27.0) k)
50.0ms	(* (* (* x 18.0) y) (* z t))

simplify9.8s

Counts

116 → 116

Iterations

Iter	Nodes
3	10355
2	1879
1	498
0	199

prune2.3s

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

rewrite7.4s

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`
9×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
8×	`diff-log`
7×	`associate--l+`
6×	`prod-diff`
5×	`associate-r` `associate-l`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u`
3×	`fma-neg` `*-commutative`
2×	`sum-log` `sub-neg`
1×	`associate--l-` `flip3--` `flip--`

Counts

4 → 104

Calls

4 calls:

7.3s	(- (- (+ (- (* (* x 18.0) (* y (* z t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
29.0ms	(* (* j 27.0) k)
85.0ms	(* (* x 18.0) (* y (* z t)))
17.0ms	(* y (* z t))

series3.7s

Counts

4 → 12

Calls

4 calls:

3.6s	(- (- (+ (- (* (* x 18.0) (* y (* z t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
37.0ms	(* (* j 27.0) k)
49.0ms	(* (* x 18.0) (* y (* z t)))
28.0ms	(* y (* z t))

simplify7.1s

Counts

116 → 116

Iterations

Iter	Nodes
3	10476
2	1872
1	481
0	196

prune2.3s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize53.0ms

Local error

Found 4 expressions with local error:

0.2b	(* 18.0 (* y (* z t)))
0.3b	(* (* j 27.0) k)
5.0b	(* x (* 18.0 (* y (* z t))))
5.8b	(* y (* z t))

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

44.0ms	(* 18.0 (* y (* z t)))
15.0ms	(* (* j 27.0) k)
142.0ms	(* x (* 18.0 (* y (* z t))))
14.0ms	(* y (* z t))

series154.0ms

Counts

4 → 12

Calls

4 calls:

39.0ms	(* 18.0 (* y (* z t)))
27.0ms	(* (* j 27.0) k)
55.0ms	(* x (* 18.0 (* y (* z t))))
33.0ms	(* y (* z t))

simplify2.9s

Counts

105 → 105

Iterations

Iter	Nodes
3	7368
2	1412
1	345
0	142

prune1.8s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

regimes1.7s

Accuracy

69.7% (1.8b remaining)

Error of 1.8b against oracle of 0.1b and baseline of 5.9b

bsearch588.0ms

Steps

Iters	Range		Point
9	2.73103238760579e-57	4.580049931788149e-48	5.789205146559688e-53
7	-3.204861256431973e-94	-1.4392720121211538e-96	-3.131828165595172e-94

simplify16.0ms

Iterations

Iter	Nodes
2	86
1	86
0	59

end0.0ms

sample3.9s

Algorithm

intervals

Results

2.8s

16007×

body

valid