Details

sample63.0ms

Algorithm

intervals

Results

23.0ms	282×	body	80	valid
14.0ms	279×	body	80	nan

simplify3.7s

Counts

1 → 1

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	11	275
1	26	250
2	57	250
3	123	250
4	364	250
5	1087	250
6	2495	250
7	4526	250
done	5000	250

prune20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize24.0ms

Local error

Found 3 expressions with local error:

0.0b	(fma x 0.5 (* y (+ (- 1.0 z) (log z))))
0.0b	(+ (- 1.0 z) (log z))
0.2b	(* y (+ (- 1.0 z) (log z)))

rewrite113.0ms

Algorithm

rewrite-expression-head

Rules

31×	`*-un-lft-identity`
17×	`add-sqr-sqrt`
13×	`add-cube-cbrt`
11×	`associate-+l+`
9×	`pow1` `prod-diff`
8×	`distribute-lft-out`
7×	`associate-r`
6×	`add-log-exp`
5×	`fma-def` `add-cbrt-cube` `add-exp-log` `distribute-lft-out--`
4×	`log-pow`
3×	`expm1-log1p-u` `associate-+r+` `log-prod` `associate-l` `log1p-expm1-u`
2×	`sum-log` `flip3-+` `associate-*r/` `flip-+`
1×	`distribute-rgt-in` `+-commutative` `sub-neg` `distribute-lft-in` `diff-log` `pow-prod-down` `prod-exp` `*-commutative` `associate-+l-` `cbrt-unprod` `fma-udef` `difference-of-squares` `unswap-sqr`

Counts

3 → 76

Calls

3 calls:

0.0ms	(fma x 0.5 (* y (+ (- 1.0 z) (log z))))
27.0ms	(+ (- 1.0 z) (log z))
83.0ms	(* y (+ (- 1.0 z) (log z)))

series486.0ms

Counts

3 → 9

Calls

3 calls:

66.0ms	(fma x 0.5 (* y (+ (- 1.0 z) (log z))))
326.0ms	(+ (- 1.0 z) (log z))
94.0ms	(* y (+ (- 1.0 z) (log z)))

simplify1.4s

Counts

85 → 85

Iterations

Useful iterations: done (1.4s)

Iter	Nodes	Cost
0	130	20508
1	343	18958
2	1335	17534
done	5002	17415

prune583.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

0.0b	(log (sqrt z))
0.0b	(fma x 0.5 (* y (+ (+ (- 1.0 z) (log (sqrt z))) (log (sqrt z)))))
0.0b	(+ (+ (- 1.0 z) (log (sqrt z))) (log (sqrt z)))
0.2b	(* y (+ (+ (- 1.0 z) (log (sqrt z))) (log (sqrt z))))

rewrite709.0ms

Algorithm

rewrite-expression-head

Rules

65×	`*-un-lft-identity`
40×	`distribute-lft-out`
28×	`pow1`
23×	`log-pow`
13×	`add-sqr-sqrt` `associate-r`
12×	`log-prod`
11×	`add-cube-cbrt`
10×	`distribute-lft-out--`
8×	`add-log-exp`
7×	`fma-def` `add-exp-log`
6×	`associate-+r+` `add-cbrt-cube` `sqrt-prod`
5×	`sum-log`
4×	`expm1-log1p-u` `log1p-expm1-u`
3×	`associate-l`
2×	`flip3-+` `associate-*r/` `associate-+l-` `flip-+`
1×	`distribute-rgt-in` `+-commutative` `associate-+l+` `distribute-lft-in` `sqrt-pow1` `pow1/2` `diff-log` `rem-log-exp` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `fma-udef` `unswap-sqr`

Counts

4 → 103

Calls

4 calls:

2.0ms	(log (sqrt z))
0.0ms	(fma x 0.5 (* y (+ (+ (- 1.0 z) (log (sqrt z))) (log (sqrt z)))))
180.0ms	(+ (+ (- 1.0 z) (log (sqrt z))) (log (sqrt z)))
524.0ms	(* y (+ (+ (- 1.0 z) (log (sqrt z))) (log (sqrt z))))

series431.0ms

Counts

4 → 12

Calls

4 calls:

71.0ms	(log (sqrt z))
124.0ms	(fma x 0.5 (* y (+ (+ (- 1.0 z) (log (sqrt z))) (log (sqrt z)))))
104.0ms	(+ (+ (- 1.0 z) (log (sqrt z))) (log (sqrt z)))
132.0ms	(* y (+ (+ (- 1.0 z) (log (sqrt z))) (log (sqrt z))))

simplify1.6s

Counts

115 → 115

Iterations

Useful iterations: done (1.6s)

Iter	Nodes	Cost
0	165	32702
1	445	29246
2	2043	28161
done	5002	26794

prune626.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize45.0ms

Local error

Found 4 expressions with local error:

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

rewrite830.0ms

Algorithm

rewrite-expression-head

Rules

159×	`*-un-lft-identity`
134×	`distribute-lft-out`
72×	`pow1`
62×	`log-pow`
28×	`associate-r`
22×	`distribute-lft-out--`
20×	`sqrt-prod`
17×	`add-sqr-sqrt`
15×	`add-log-exp`
13×	`sum-log`
11×	`add-cube-cbrt`
10×	`flip3-+` `flip-+`
8×	`sqrt-pow1` `frac-add`
7×	`fma-def`
6×	`add-cbrt-cube` `associate-*r/` `add-exp-log`
4×	`expm1-log1p-u` `rem-sqrt-square` `pow1/2` `log1p-expm1-u`
3×	`associate-l`
2×	`diff-log` `associate-+l-`
1×	`distribute-rgt-in` `+-commutative` `associate-+l+` `associate-+r+` `distribute-lft-in` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 152

Calls

4 calls:

244.0ms	(+ (+ (- 1.0 z) (log (sqrt z))) (+ (log (sqrt (sqrt z))) (log (sqrt (sqrt z)))))
2.0ms	(sqrt (sqrt z))
2.0ms	(sqrt (sqrt z))
571.0ms	(* y (+ (+ (- 1.0 z) (log (sqrt z))) (+ (log (sqrt (sqrt z))) (log (sqrt (sqrt z))))))

series748.0ms

Counts

4 → 12

Calls

4 calls:

140.0ms	(+ (+ (- 1.0 z) (log (sqrt z))) (+ (log (sqrt (sqrt z))) (log (sqrt (sqrt z)))))
171.0ms	(sqrt (sqrt z))
187.0ms	(sqrt (sqrt z))
249.0ms	(* y (+ (+ (- 1.0 z) (log (sqrt z))) (+ (log (sqrt (sqrt z))) (log (sqrt (sqrt z))))))

simplify2.2s

Counts

164 → 164

Iterations

Useful iterations: done (2.2s)

Iter	Nodes	Cost
0	226	57321
1	718	47839
2	3557	33622
done	5000	33301

prune699.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b	(fma x 0.5 (+ (* (- 1.0 z) y) (* (log z) y)))
0.0b	(* (- 1.0 z) y)
0.1b	(+ (* (- 1.0 z) y) (* (log z) y))
0.3b	(* (log z) y)

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt`
10×	`*-un-lft-identity`
9×	`pow1` `associate-l`
8×	`add-cbrt-cube` `add-exp-log` `add-cube-cbrt`
6×	`associate-r` `add-log-exp`
4×	`expm1-log1p-u` `log1p-expm1-u`
2×	`pow-prod-down` `associate-l/` `prod-exp` `-commutative` `cbrt-unprod` `unswap-sqr`
1×	`+-commutative` `sum-log` `fma-def` `flip3-+` `distribute-rgt-out` `flip3--` `log-pow` `flip-+` `fma-udef` `flip--` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 70

Calls

4 calls:

0.0ms	(fma x 0.5 (+ (* (- 1.0 z) y) (* (log z) y)))
21.0ms	(* (- 1.0 z) y)
14.0ms	(+ (* (- 1.0 z) y) (* (log z) y))
11.0ms	(* (log z) y)

series300.0ms

Counts

4 → 12

Calls

4 calls:

73.0ms	(fma x 0.5 (+ (* (- 1.0 z) y) (* (log z) y)))
34.0ms	(* (- 1.0 z) y)
109.0ms	(+ (* (- 1.0 z) y) (* (log z) y))
84.0ms	(* (log z) y)

simplify1.9s

Counts

82 → 82

Iterations

Useful iterations: done (1.9s)

Iter	Nodes	Cost
0	134	19198
1	342	17090
2	1567	16590
done	5000	16385

prune420.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

regimes239.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	290
1	14	290
done	14	290

end0.0ms

sample2.4s

Algorithm

intervals

Results

1.0s	9093×	body	80	nan
798.0ms	9218×	body	80	valid