Details

sample200.0ms

Algorithm

intervals

Results

52.0ms	55×	body	1280	valid
43.0ms	45×	body	10240	exit
25.0ms	47×	body	640	valid
13.0ms	113×	body	80	valid
10.0ms	28×	body	320	valid
8.0ms	93×	body	80	nan
3.0ms	7×	body	640	nan
3.0ms	15×	body	160	valid
1.0ms	4×	body	320	nan
1.0ms	1×	body	1280	nan
0.0ms	3×	body	160	nan

simplify2.9s

Counts

1 → 1

Iterations

Iter	Nodes
done	5001
7	3550
6	735
5	195
4	73
3	48
2	33
1	20
0	12

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 24.7b

localize45.0ms

Local error

Found 4 expressions with local error:

0.0b	(- x (/ (log (+ (- 1.0 y) (* y (exp z)))) t))
0.0b	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
0.7b	(log (+ (- 1.0 y) (* y (exp z))))
1.9b	(+ (- 1.0 y) (* y (exp z)))

rewrite123.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-sqr-sqrt`
16×	`*-un-lft-identity`
14×	`add-cube-cbrt`
13×	`times-frac`
11×	`add-log-exp`
9×	`pow1`
7×	`add-exp-log`
6×	`log-div` `add-cbrt-cube`
5×	`log-pow`
4×	`flip3-+` `div-sub` `flip-+` `associate-/l*`
3×	`log-prod` `associate-/r*`
2×	`associate-+l+` `sum-log` `sub-neg` `diff-log` `associate--r-` `difference-of-squares`
1×	`cbrt-undiv` `+-commutative` `clear-num` `frac-2neg` `flip3--` `div-exp` `rem-log-exp` `associate-+l-` `div-inv` `flip--` `distribute-lft-out--`

Counts

4 → 79

Calls

4 calls:

13.0ms	(- x (/ (log (+ (- 1.0 y) (* y (exp z)))) t))
52.0ms	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
26.0ms	(log (+ (- 1.0 y) (* y (exp z))))
29.0ms	(+ (- 1.0 y) (* y (exp z)))

series610.0ms

Counts

4 → 12

Calls

4 calls:

127.0ms	(- x (/ (log (+ (- 1.0 y) (* y (exp z)))) t))
278.0ms	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
130.0ms	(log (+ (- 1.0 y) (* y (exp z))))
74.0ms	(+ (- 1.0 y) (* y (exp z)))

simplify1.4s

Counts

91 → 91

Iterations

Iter	Nodes
done	5000
2	1859
1	478
0	202

prune704.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 3.1b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b	(- x (/ (log (+ 1.0 (- (* y (exp z)) y))) t))
0.0b	(/ (log (+ 1.0 (- (* y (exp z)) y))) t)
0.7b	(log (+ 1.0 (- (* y (exp z)) y)))
4.0b	(- (* y (exp z)) y)

rewrite105.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-sqr-sqrt`
18×	`*-un-lft-identity`
14×	`add-cube-cbrt`
13×	`times-frac`
9×	`pow1`
8×	`add-log-exp`
7×	`add-exp-log`
6×	`log-div` `add-cbrt-cube`
5×	`log-pow`
4×	`log-prod` `div-sub` `associate-/l*`
3×	`associate-/r*` `flip3-+` `flip-+`
2×	`sub-neg` `flip3--` `diff-log` `flip--` `associate--r-` `difference-of-squares`
1×	`cbrt-undiv` `clear-num` `frac-2neg` `div-exp` `rem-log-exp` `div-inv` `distribute-lft-out` `distribute-lft-out--`

Counts

4 → 77

Calls

4 calls:

10.0ms	(- x (/ (log (+ 1.0 (- (* y (exp z)) y))) t))
56.0ms	(/ (log (+ 1.0 (- (* y (exp z)) y))) t)
27.0ms	(log (+ 1.0 (- (* y (exp z)) y)))
9.0ms	(- (* y (exp z)) y)

series551.0ms

Counts

4 → 12

Calls

4 calls:

128.0ms	(- x (/ (log (+ 1.0 (- (* y (exp z)) y))) t))
255.0ms	(/ (log (+ 1.0 (- (* y (exp z)) y))) t)
109.0ms	(log (+ 1.0 (- (* y (exp z)) y)))
59.0ms	(- (* y (exp z)) y)

simplify1.3s

Counts

89 → 89

Iterations

Iter	Nodes
done	5001
2	1829
1	490
0	211

prune852.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 3.1b

localize67.0ms

Local error

Found 4 expressions with local error:

0.7b	(log (cbrt (+ 1.0 (- (* y (exp z)) y))))
4.0b	(- (* y (exp z)) y)
4.0b	(- (* y (exp z)) y)
4.0b	(- (* y (exp z)) y)

rewrite106.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-log-exp`
8×	`*-un-lft-identity`
7×	`log-prod`
6×	`add-sqr-sqrt` `add-cube-cbrt`
5×	`pow1` `add-exp-log`
4×	`cbrt-prod` `add-cbrt-cube`
3×	`sub-neg` `flip3--` `diff-log` `flip--`
2×	`log-div` `cbrt-div` `log-pow`
1×	`flip3-+` `pow1/3` `rem-log-exp` `flip-+` `distribute-lft-out`

Counts

4 → 55

Calls

4 calls:

39.0ms	(log (cbrt (+ 1.0 (- (* y (exp z)) y))))
27.0ms	(- (* y (exp z)) y)
19.0ms	(- (* y (exp z)) y)
18.0ms	(- (* y (exp z)) y)

series524.0ms

Counts

4 → 12

Calls

4 calls:

313.0ms	(log (cbrt (+ 1.0 (- (* y (exp z)) y))))
78.0ms	(- (* y (exp z)) y)
65.0ms	(- (* y (exp z)) y)
68.0ms	(- (* y (exp z)) y)

simplify1.0s

Counts

67 → 67

Iterations

Iter	Nodes
done	5001
2	1030
1	291
0	128

prune806.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 3.1b

localize80.0ms

Local error

Found 4 expressions with local error:

0.7b	(log (+ 1.0 (- (* y (exp z)) y)))
0.7b	(log (+ 1.0 (- (* y (exp z)) y)))
4.0b	(- (* y (exp z)) y)
4.0b	(- (* y (exp z)) y)

rewrite79.0ms

Algorithm

rewrite-expression-head

Rules

10×	`*-un-lft-identity`
8×	`log-prod` `add-log-exp`
6×	`add-sqr-sqrt` `pow1` `add-exp-log` `add-cube-cbrt`
4×	`log-div` `add-cbrt-cube`
2×	`sub-neg` `flip3-+` `flip3--` `diff-log` `rem-log-exp` `log-pow` `flip-+` `flip--` `distribute-lft-out`

Counts

4 → 54

Calls

4 calls:

18.0ms	(log (+ 1.0 (- (* y (exp z)) y)))
24.0ms	(log (+ 1.0 (- (* y (exp z)) y)))
17.0ms	(- (* y (exp z)) y)
19.0ms	(- (* y (exp z)) y)

series353.0ms

Counts

4 → 12

Calls

4 calls:

128.0ms	(log (+ 1.0 (- (* y (exp z)) y)))
115.0ms	(log (+ 1.0 (- (* y (exp z)) y)))
54.0ms	(- (* y (exp z)) y)
56.0ms	(- (* y (exp z)) y)

simplify947.0ms

Counts

66 → 66

Iterations

Iter	Nodes
done	5001
2	1044
1	259
0	107

prune753.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 3.1b

regimes916.0ms

Accuracy

55% (4.8b remaining)

Error of 8.5b against oracle of 3.7b and baseline of 14.5b

bsearch369.0ms

Steps

Iters	Range		Point
5	8.513500786890878e-160	2.043922704750105e-159	1.6509902756744657e-159
9	-3.509948340908123e-140	-3.394549339077915e-147	-6.320708783077287e-143
9	-180.33670105084897	-0.0001839247968598657	-0.0001910423669767732

simplify15.0ms

Iterations

Iter	Nodes
done	56
1	56
0	41

end0.0ms

sample7.0s

Algorithm

intervals

Results

2.1s	1481×	body	10240	exit
1.3s	1483×	body	1280	valid
1.0s	3526×	body	80	valid
780.0ms	1549×	body	640	valid
453.0ms	908×	body	320	valid
234.0ms	2445×	body	80	nan
148.0ms	79×	body	2560	valid
111.0ms	260×	body	640	nan
92.0ms	484×	body	160	valid
47.0ms	200×	body	320	nan
47.0ms	90×	body	1280	nan
17.0ms	111×	body	160	nan