Details

sample441.0ms

Algorithm

intervals

Results

188.0ms	1488×	body	80	nan
74.0ms	417×	body	80	valid
7.0ms	17×	body	320	valid
6.0ms	12×	body	640	valid
4.0ms	3×	body	1280	valid
2.0ms	9×	body	160	valid

simplify975.0ms

Counts

1 → 1

Iterations

Useful iterations: 4 (42.0ms)

Iter	Nodes	Cost
0	17	18
1	30	18
2	58	18
3	127	18
4	350	17
5	1256	17
done	5001	17

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.5b

localize39.0ms

Local error

Found 4 expressions with local error:

0.0b	(* a (- (log (- 1.0 z)) b))
0.0b	(* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))))
0.2b	(* y (- (log z) t))
3.8b	(log (- 1.0 z))

rewrite283.0ms

Algorithm

rewrite-expression-head

Rules

31×	`add-sqr-sqrt`
27×	`*-un-lft-identity`
21×	`log-prod`
16×	`associate-r` `associate--l+`
15×	`add-cube-cbrt`
13×	`pow1`
12×	`distribute-rgt-in` `distribute-lft-in`
10×	`add-exp-log` `add-cbrt-cube`
9×	`associate-l`
7×	`distribute-lft-out--`
5×	`difference-of-squares`
4×	`sub-neg` `associate-*r/` `add-log-exp`
3×	`flip3--` `pow-prod-down` `prod-exp` `log-pow` `*-commutative` `flip--` `cbrt-unprod` `unswap-sqr`
2×	`log-div`
1×	`rem-log-exp` `exp-sum`

Counts

4 → 105

Calls

4 calls:

47.0ms	(* a (- (log (- 1.0 z)) b))
179.0ms	(* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))))
44.0ms	(* y (- (log z) t))
6.0ms	(log (- 1.0 z))

series545.0ms

Counts

4 → 12

Calls

4 calls:

111.0ms	(* a (- (log (- 1.0 z)) b))
261.0ms	(* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))))
120.0ms	(* y (- (log z) t))
54.0ms	(log (- 1.0 z))

simplify909.0ms

Counts

117 → 117

Iterations

Useful iterations: done (902.0ms)

Iter	Nodes	Cost
0	263	1536
1	612	1485
2	1977	1317
done	5000	1307

prune552.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize40.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* y (- (log z) t)) (- (* a (- (log 1.0) b)) (* 1.0 (* a z))))
0.0b	(- (log z) t)
0.0b	(* x (exp (+ (* y (- (log z) t)) (- (* a (- (log 1.0) b)) (* 1.0 (* a z))))))
0.2b	(* y (- (log z) t))

rewrite749.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 110

Calls

4 calls:

67.0ms	(+ (* y (- (log z) t)) (- (* a (- (log 1.0) b)) (* 1.0 (* a z))))
14.0ms	(- (log z) t)
637.0ms	(* x (exp (+ (* y (- (log z) t)) (- (* a (- (log 1.0) b)) (* 1.0 (* a z))))))
27.0ms	(* y (- (log z) t))

series652.0ms

Counts

4 → 12

Calls

4 calls:

241.0ms	(+ (* y (- (log z) t)) (- (* a (- (log 1.0) b)) (* 1.0 (* a z))))
73.0ms	(- (log z) t)
233.0ms	(* x (exp (+ (* y (- (log z) t)) (- (* a (- (log 1.0) b)) (* 1.0 (* a z))))))
105.0ms	(* y (- (log z) t))

simplify1.5s

Counts

122 → 122

Iterations

Useful iterations: done (1.5s)

Iter	Nodes	Cost
0	229	2273
1	631	2191
2	2640	2018
done	5000	2000

prune744.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize51.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (log z) t)
0.0b	(* (* x (sqrt (exp (+ (* y (- (log z) t)) (- (* a (- (log 1.0) b)) (* 1.0 (* a z))))))) (sqrt (exp (+ (* y (- (log z) t)) (- (* a (- (log 1.0) b)) (* 1.0 (* a z)))))))
0.2b	(* y (- (log z) t))
0.2b	(* y (- (log z) t))

rewrite2.4s

Algorithm

rewrite-expression-head

Rules

25×	`add-sqr-sqrt`
24×	`*-un-lft-identity`
19×	`associate-r`
16×	`pow1`
15×	`add-cube-cbrt` `log-prod` `associate--l+`
13×	`add-exp-log` `add-cbrt-cube`
10×	`distribute-rgt-in` `distribute-lft-in`
7×	`associate-r/` `associate-l*`
6×	`distribute-lft-out--`
5×	`sub-neg` `pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
4×	`associate-+r-` `exp-diff` `sqrt-div` `sqrt-prod`
3×	`flip3--` `log-pow` `*-commutative` `flip--` `difference-of-squares`
2×	`unswap-sqr`
1×	`frac-times` `diff-log` `exp-sum` `associate-*l/`

Counts

4 → 109

Calls

4 calls:

15.0ms	(- (log z) t)
2.3s	(* (* x (sqrt (exp (+ (* y (- (log z) t)) (- (* a (- (log 1.0) b)) (* 1.0 (* a z))))))) (sqrt (exp (+ (* y (- (log z) t)) (- (* a (- (log 1.0) b)) (* 1.0 (* a z)))))))
53.0ms	(* y (- (log z) t))
37.0ms	(* y (- (log z) t))

series584.0ms

Counts

4 → 12

Calls

4 calls:

90.0ms	(- (log z) t)
248.0ms	(* (* x (sqrt (exp (+ (* y (- (log z) t)) (- (* a (- (log 1.0) b)) (* 1.0 (* a z))))))) (sqrt (exp (+ (* y (- (log z) t)) (- (* a (- (log 1.0) b)) (* 1.0 (* a z)))))))
115.0ms	(* y (- (log z) t))
131.0ms	(* y (- (log z) t))

simplify1.2s

Counts

121 → 121

Iterations

Useful iterations: done (1.2s)

Iter	Nodes	Cost
0	172	2276
1	418	1769
2	1655	1492
done	5000	1407

prune791.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes162.0ms

Accuracy

0% (0.0b remaining)

Error of 0.5b against oracle of 0.5b and baseline of 0.5b

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	21	45
1	28	45
done	28	45

end0.0ms

sample14.2s

Algorithm

intervals

Results

6.6s	41072×	body	80	nan
2.5s	12533×	body	80	valid
338.0ms	386×	body	640	valid
156.0ms	389×	body	320	valid
143.0ms	292×	body	160	valid
69.0ms	61×	body	1280	valid