Details

sample135.0ms

Algorithm

intervals

Results

46.0ms	294×	body	80	valid
28.0ms	299×	body	80	nan

simplify11.3s

Counts

1 → 1

Iterations

Iter	Nodes
done	5001
5	2220
4	752
3	251
2	84
1	30
0	15

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize60.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (- a 0.5) b)
0.0b	(+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
0.1b	(- (+ (+ x y) z) (* z (log t)))
0.2b	(* z (log t))

rewrite2.0s

Algorithm

rewrite-expression-head

Rules

27×	`add-log-exp`
18×	`add-sqr-sqrt`
14×	`*-un-lft-identity`
12×	`add-cube-cbrt` `log-prod`
10×	`sum-log`
9×	`pow1`
8×	`add-exp-log` `associate-l` `add-cbrt-cube`
7×	`associate-r`
6×	`distribute-rgt-in` `flip3--` `distribute-lft-in` `diff-log` `associate-*l/` `flip--` `associate--r+`
4×	`frac-add`
3×	`associate-+l+`
2×	`sub-neg` `pow-prod-down` `prod-exp` `associate--l+` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`+-commutative` `associate-+l-` `flip3-+` `log-pow` `flip-+` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 90

Calls

4 calls:

104.0ms	(* (- a 0.5) b)
1.4s	(+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
407.0ms	(- (+ (+ x y) z) (* z (log t)))
18.0ms	(* z (log t))

series995.0ms

Counts

4 → 12

Calls

4 calls:

55.0ms	(* (- a 0.5) b)
584.0ms	(+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
160.0ms	(- (+ (+ x y) z) (* z (log t)))
196.0ms	(* z (log t))

simplify4.1s

Counts

102 → 102

Iterations

Iter	Nodes
done	5000
2	2056
1	552
0	204

prune1.5s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize50.0ms

Local error

Found 4 expressions with local error:

0.0b	(* b (- a 0.5))
0.0b	(- (* b (- a 0.5)) (* z (log t)))
0.1b	(+ (+ (+ x y) z) (- (* b (- a 0.5)) (* z (log t))))
0.2b	(* z (log t))

rewrite487.0ms

Algorithm

rewrite-expression-head

Rules

27×	`add-log-exp`
23×	`*-un-lft-identity`
18×	`add-sqr-sqrt`
12×	`distribute-rgt-in` `add-cube-cbrt` `log-prod` `distribute-lft-in` `sum-log`
9×	`pow1` `associate-r`
8×	`add-exp-log` `sub-neg` `associate--l+` `add-cbrt-cube`
6×	`associate-+r+` `associate-l` `distribute-lft-out` `associate--r+`
4×	`flip3--` `diff-log` `frac-add` `flip--`
3×	`flip3-+` `flip-+`
2×	`associate-r/` `pow-prod-down` `prod-exp` `-commutative` `cbrt-unprod` `unswap-sqr`
1×	`+-commutative` `associate-+r-` `associate-+l+` `log-pow` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 104

Calls

4 calls:

113.0ms	(* b (- a 0.5))
45.0ms	(- (* b (- a 0.5)) (* z (log t)))
294.0ms	(+ (+ (+ x y) z) (- (* b (- a 0.5)) (* z (log t))))
28.0ms	(* z (log t))

series610.0ms

Counts

4 → 12

Calls

4 calls:

56.0ms	(* b (- a 0.5))
154.0ms	(- (* b (- a 0.5)) (* z (log t)))
328.0ms	(+ (+ (+ x y) z) (- (* b (- a 0.5)) (* z (log t))))
72.0ms	(* z (log t))

simplify4.7s

Counts

116 → 116

Iterations

Iter	Nodes
done	5010
2	2271
1	583
0	216

prune1.7s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize61.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (- a 0.5) b)
0.0b	(+ (+ x (- (+ z y) (* z (log t)))) (* (- a 0.5) b))
0.1b	(- (+ z y) (* z (log t)))
0.2b	(* z (log t))

rewrite1.3s

Algorithm

rewrite-expression-head

Rules

23×	`add-log-exp`
18×	`add-sqr-sqrt`
14×	`*-un-lft-identity`
12×	`add-cube-cbrt` `log-prod`
9×	`pow1` `sum-log`
8×	`add-exp-log` `associate-l` `add-cbrt-cube`
7×	`associate-r`
6×	`distribute-rgt-in` `distribute-lft-in` `associate-*l/` `associate--r+`
4×	`flip3--` `diff-log` `frac-add` `flip--`
3×	`flip3-+` `flip-+`
2×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`+-commutative` `associate-+l-` `associate-+r-` `sub-neg` `associate-+l+` `associate--l+` `log-pow` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 87

Calls

4 calls:

77.0ms	(* (- a 0.5) b)
939.0ms	(+ (+ x (- (+ z y) (* z (log t)))) (* (- a 0.5) b))
73.0ms	(- (+ z y) (* z (log t)))
207.0ms	(* z (log t))

series1.1s

Counts

4 → 12

Calls

4 calls:

95.0ms	(* (- a 0.5) b)
794.0ms	(+ (+ x (- (+ z y) (* z (log t)))) (* (- a 0.5) b))
104.0ms	(- (+ z y) (* z (log t)))
74.0ms	(* z (log t))

simplify4.2s

Counts

99 → 99

Iterations

Iter	Nodes
done	5007
2	2093
1	563
0	206

prune2.7s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize106.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (+ (+ x y) z) (* z (log (sqrt t))))
0.1b	(- (- (+ (+ x y) z) (* z (log (sqrt t)))) (* z (log (sqrt t))))
0.2b	(* z (log (sqrt t)))
0.2b	(* z (log (sqrt t)))

rewrite3.3s

Algorithm

rewrite-expression-head

Rules

48×	`log-prod`
28×	`add-sqr-sqrt`
27×	`add-log-exp`
24×	`distribute-rgt-in` `add-cube-cbrt` `*-un-lft-identity` `distribute-lft-in` `sqrt-prod` `associate--r+`
12×	`pow1` `associate-r`
10×	`diff-log`
8×	`add-exp-log` `add-cbrt-cube`
6×	`associate-l` `sum-log` `log-pow`
5×	`associate--l+`
3×	`sub-neg`
2×	`flip3--` `sqrt-pow1` `pow1/2` `pow-prod-down` `prod-exp` `*-commutative` `flip--` `cbrt-unprod` `unswap-sqr`
1×	`associate--l-`

Counts

4 → 124

Calls

4 calls:

687.0ms	(- (+ (+ x y) z) (* z (log (sqrt t))))
2.2s	(- (- (+ (+ x y) z) (* z (log (sqrt t)))) (* z (log (sqrt t))))
35.0ms	(* z (log (sqrt t)))
371.0ms	(* z (log (sqrt t)))

series1.0s

Counts

4 → 12

Calls

4 calls:

444.0ms	(- (+ (+ x y) z) (* z (log (sqrt t))))
109.0ms	(- (- (+ (+ x y) z) (* z (log (sqrt t)))) (* z (log (sqrt t))))
181.0ms	(* z (log (sqrt t)))
284.0ms	(* z (log (sqrt t)))

simplify4.6s

Counts

136 → 136

Iterations

Iter	Nodes
done	5002
2	1469
1	436
0	174

prune2.1s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

regimes5.2s

Accuracy

0% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch18.0ms

simplify318.0ms

Iterations

Iter	Nodes
done	20
1	20
0	15

end0.0ms

sample10.1s

Algorithm

intervals

Results

4.7s	9065×	body	80	nan
3.6s	9162×	body	80	valid
1.0ms	2×	body	1280	valid
1.0ms	2×	body	640	valid
0.0ms	1×	body	320	valid