Details

sample176.0ms

Algorithm

intervals

Results

123.0ms

517×

body

valid

simplify1.4s

Counts

1 → 1

Iterations

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

prune31.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 4.1b

localize49.0ms

Local error

Found 4 expressions with local error:

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

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

23.0ms	(* (* x 18.0) y)
22.0ms	(* (* j 27.0) k)
190.0ms	(* (* (* (* x 18.0) y) z) t)
79.0ms	(* (* (* x 18.0) y) z)

series176.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(* (* x 18.0) y)
35.0ms	(* (* j 27.0) k)
67.0ms	(* (* (* (* x 18.0) y) z) t)
50.0ms	(* (* (* x 18.0) y) z)

simplify3.7s

Counts

105 → 105

Iterations

Iter	Nodes
3	8095
2	1519
1	380
0	149

prune2.2s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.7b

localize55.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.2b	(* (* j 27.0) k)
9.8b	(* (* (* x 18.0) y) (* z t))

rewrite9.7s

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:

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

series3.4s

Counts

4 → 12

Calls

4 calls:

3.2s	(- (- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
47.0ms	(* (* x 18.0) y)
26.0ms	(* (* j 27.0) k)
60.0ms	(* (* (* x 18.0) y) (* z t))

simplify5.1s

Counts

116 → 116

Iterations

Iter	Nodes
3	10526
2	1882
1	499
0	199

prune2.3s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.3b

localize61.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	(* (* j 27.0) k)
4.4b	(* y (* z t))
5.0b	(* (* x 18.0) (* y (* z t)))

rewrite6.5s

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:

6.4s	(- (- (+ (- (* (* x 18.0) (* y (* z t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
21.0ms	(* (* j 27.0) k)
17.0ms	(* y (* z t))
51.0ms	(* (* x 18.0) (* y (* z t)))

series3.3s

Counts

4 → 12

Calls

4 calls:

3.2s	(- (- (+ (- (* (* x 18.0) (* y (* z t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))
25.0ms	(* (* j 27.0) k)
37.0ms	(* y (* z t))
73.0ms	(* (* x 18.0) (* y (* z t)))

simplify3.9s

Counts

116 → 116

Iterations

Iter	Nodes
3	9986
2	1809
1	484
0	196

prune2.5s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize52.0ms

Local error

Found 4 expressions with local error:

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

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

23.0ms	(* (* j 27.0) k)
55.0ms	(* 18.0 (* y (* z t)))
18.0ms	(* y (* z t))
100.0ms	(* x (* 18.0 (* y (* z t))))

series145.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify2.4s

Counts

105 → 105

Iterations

Iter	Nodes
3	7170
2	1386
1	347
0	142

prune1.6s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

regimes1.7s

Accuracy

66.9% (1.8b remaining)

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

bsearch194.0ms

Steps

Iters	Range		Point
5	0.00012261676803507736	0.00031379096395292826	0.00021300604894650404
4	-1.2429103355925825e-78	-6.830176274913335e-79	-1.213022955905185e-78

simplify10.0ms

Iterations

Iter	Nodes
2	66
1	66
0	44

end0.0ms

sample4.4s

Algorithm

intervals

Results

3.5s

16279×

body

valid