Details

sample62.0ms

Algorithm

intervals

Results

18.0ms	279×	body	80	nan
16.0ms	282×	body	80	valid

simplify1.9s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	275
1	25	275
2	51	275
3	107	275
4	312	275
5	878	275
6	2185	275
7	3816	275
done	5001	275

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize28.0ms

Local error

Found 3 expressions with local error:

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

rewrite146.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 61

Calls

3 calls:

15.0ms	(+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))
27.0ms	(+ (- 1.0 z) (log z))
101.0ms	(* y (+ (- 1.0 z) (log z)))

series874.0ms

Counts

3 → 9

Calls

3 calls:

479.0ms	(+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))
280.0ms	(+ (- 1.0 z) (log z))
114.0ms	(* y (+ (- 1.0 z) (log z)))

simplify1.6s

Counts

70 → 70

Iterations

Useful iterations: done (1.6s)

Iter	Nodes	Cost
0	126	18780
1	363	17309
2	1672	16798
done	5001	16718

prune358.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize39.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* x 0.5) (* y (+ (+ (- 1.0 z) (log (sqrt z))) (log (sqrt z)))))
0.0b	(+ (- 1.0 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))))

rewrite737.0ms

Algorithm

rewrite-expression-head

Rules

64×	`*-un-lft-identity`
40×	`distribute-lft-out`
26×	`pow1`
20×	`log-pow`
14×	`associate-+r+`
13×	`associate-r` `add-log-exp`
12×	`add-sqr-sqrt` `log-prod`
10×	`add-cube-cbrt` `distribute-lft-out--`
8×	`sum-log`
6×	`add-cbrt-cube` `add-exp-log` `sqrt-prod`
4×	`flip3-+` `flip-+`
3×	`+-commutative` `associate-+l+` `associate-l` `associate-+l-`
2×	`distribute-rgt-in` `distribute-lft-in` `diff-log` `associate-*r/`
1×	`sub-neg` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 101

Calls

4 calls:

121.0ms	(+ (* x 0.5) (* y (+ (+ (- 1.0 z) (log (sqrt z))) (log (sqrt z)))))
51.0ms	(+ (- 1.0 z) (log (sqrt z)))
154.0ms	(+ (+ (- 1.0 z) (log (sqrt z))) (log (sqrt z)))
405.0ms	(* y (+ (+ (- 1.0 z) (log (sqrt z))) (log (sqrt z))))

series455.0ms

Counts

4 → 12

Calls

4 calls:

128.0ms	(+ (* x 0.5) (* y (+ (+ (- 1.0 z) (log (sqrt z))) (log (sqrt z)))))
86.0ms	(+ (- 1.0 z) (log (sqrt z)))
103.0ms	(+ (+ (- 1.0 z) (log (sqrt z))) (log (sqrt z)))
138.0ms	(* y (+ (+ (- 1.0 z) (log (sqrt z))) (log (sqrt z))))

simplify1.9s

Counts

113 → 113

Iterations

Useful iterations: 2 (699.0ms)

Iter	Nodes	Cost
0	180	36130
1	533	33044
2	2582	31476
done	5002	31476

prune492.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

0.6b	(* (cbrt z) (cbrt z))
0.7b	(cbrt z)
0.7b	(cbrt z)
0.7b	(cbrt z)

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`*-un-lft-identity` `add-cube-cbrt`
11×	`pow1`
9×	`pow1/3`
6×	`swap-sqr` `associate-r` `associate-l` `add-exp-log`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 73

Calls

4 calls:

14.0ms	(* (cbrt z) (cbrt z))
1.0ms	(cbrt z)
1.0ms	(cbrt z)
1.0ms	(cbrt z)

series1.0s

Counts

4 → 12

Calls

4 calls:

252.0ms	(* (cbrt z) (cbrt z))
243.0ms	(cbrt z)
230.0ms	(cbrt z)
278.0ms	(cbrt z)

simplify1.3s

Counts

85 → 85

Iterations

Useful iterations: done (1.2s)

Iter	Nodes	Cost
0	61	17134
1	138	14621
2	727	14346
done	5000	13666

prune534.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize33.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* 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)

rewrite68.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 66

Calls

4 calls:

23.0ms	(+ (* x 0.5) (+ (* (- 1.0 z) y) (* (log z) y)))
18.0ms	(* (- 1.0 z) y)
16.0ms	(+ (* (- 1.0 z) y) (* (log z) y))
9.0ms	(* (log z) y)

series284.0ms

Counts

4 → 12

Calls

4 calls:

79.0ms	(+ (* x 0.5) (+ (* (- 1.0 z) y) (* (log z) y)))
38.0ms	(* (- 1.0 z) y)
104.0ms	(+ (* (- 1.0 z) y) (* (log z) y))
62.0ms	(* (log z) y)

simplify1.4s

Counts

78 → 78

Iterations

Useful iterations: done (1.4s)

Iter	Nodes	Cost
0	139	20321
1	393	17872
2	1891	17232
done	5001	17042

prune440.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

regimes381.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	505
1	20	505
done	20	505

end0.0ms

sample2.3s

Algorithm

intervals

Results

1.1s	9218×	body	80	valid
610.0ms	9093×	body	80	nan