Details

sample171.0ms

Algorithm

intervals

Results

115.0ms	181×	body	1280	valid
15.0ms	43×	body	640	valid
14.0ms	251×	body	80	valid
4.0ms	17×	body	320	valid
1.0ms	10×	body	160	valid

simplify3.7s

Counts

1 → 1

Iterations

Useful iterations: 3 (18.0ms)

Iter	Nodes	Cost
0	7	262
1	14	262
2	26	262
3	40	193
4	56	193
5	62	193
6	71	193
7	88	193
8	249	193
9	809	193
10	2899	193
done	5000	193

prune18.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 29.9b

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (exp x) 2.0)
0.0b	(/ -1 (exp x))
3.4b	(- (- (exp x) 2.0) (/ -1 (exp x)))

rewrite82.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt` `*-un-lft-identity`
11×	`add-cube-cbrt`
10×	`times-frac` `add-log-exp`
5×	`add-cbrt-cube`
4×	`diff-log` `add-exp-log` `distribute-lft-out--`
3×	`pow1` `associate-/r` `sub-neg` `flip3--` `flip--` `associate-/l` `difference-of-squares`
2×	`associate--l+` `frac-sub`
1×	`associate--l-` `cbrt-undiv` `clear-num` `frac-2neg` `div-exp` `div-inv`

Counts

3 → 63

Calls

3 calls:

8.0ms	(- (exp x) 2.0)
8.0ms	(/ -1 (exp x))
63.0ms	(- (- (exp x) 2.0) (/ -1 (exp x)))

series130.0ms

Counts

3 → 9

Calls

3 calls:

26.0ms	(- (exp x) 2.0)
18.0ms	(/ -1 (exp x))
86.0ms	(- (- (exp x) 2.0) (/ -1 (exp x)))

simplify2.3s

Counts

72 → 72

Iterations

Useful iterations: 3 (1.0s)

Iter	Nodes	Cost
0	129	20024
1	275	17669
2	765	17466
3	3945	17150
done	5000	17150

prune330.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize52.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (* x x) x)
0.1b	(* (* x x) x)
0.1b	(* (* (* x x) (* x x)) 1/12)
0.1b	(* (* x x) (* x x))

rewrite221.0ms

Algorithm

rewrite-expression-head

Rules

171×	`pow1`
48×	`pow-prod-up`
44×	`add-cbrt-cube` `add-exp-log`
42×	`pow-prod-down`
30×	`pow-plus`
27×	`prod-exp` `cbrt-unprod`
26×	`pow-sqr`
17×	`pow2`
10×	`add-sqr-sqrt` `associate-r`
7×	`*-un-lft-identity` `add-cube-cbrt`
4×	`associate-l` `*-commutative` `add-log-exp` `unswap-sqr`
2×	`pow3`
1×	`swap-sqr`

Counts

4 → 147

Calls

4 calls:

19.0ms	(* (* x x) x)
25.0ms	(* (* x x) x)
125.0ms	(* (* (* x x) (* x x)) 1/12)
46.0ms	(* (* x x) (* x x))

series206.0ms

Counts

4 → 12

Calls

4 calls:

46.0ms	(* (* x x) x)
61.0ms	(* (* x x) x)
44.0ms	(* (* (* x x) (* x x)) 1/12)
54.0ms	(* (* x x) (* x x))

simplify4.9s

Counts

159 → 159

Iterations

Useful iterations: 2 (643.0ms)

Iter	Nodes	Cost
0	95	20750
1	308	14603
2	2836	12668
done	5001	12668

prune368.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 2 expressions with local error:

0.0b	(- (exp x) 2.0)
4.4b	(+ (- (exp x) 2.0) (exp (- x)))

rewrite102.0ms

Algorithm

rewrite-expression-head

Rules

9×	`*-un-lft-identity` `add-log-exp`
4×	`add-sqr-sqrt` `frac-add`
3×	`flip3--` `flip--`
2×	`neg-sub0` `exp-neg` `pow1` `associate-+l+` `sum-log` `sub-neg` `add-cbrt-cube` `exp-diff` `diff-log` `add-exp-log` `add-cube-cbrt` `distribute-lft-out` `distribute-lft-out--`
1×	`+-commutative` `flip3-+` `associate-+l-` `flip-+` `difference-of-squares`

Counts

2 → 35

Calls

2 calls:

16.0ms	(- (exp x) 2.0)
84.0ms	(+ (- (exp x) 2.0) (exp (- x)))

series118.0ms

Counts

2 → 6

Calls

2 calls:

14.0ms	(- (exp x) 2.0)
103.0ms	(+ (- (exp x) 2.0) (exp (- x)))

simplify904.0ms

Counts

41 → 41

Iterations

Useful iterations: done (898.0ms)

Iter	Nodes	Cost
0	93	14561
1	215	12099
2	825	11780
done	5001	11584

prune183.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes64.0ms

Accuracy

0% (0.5b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	323
1	17	323
done	17	323

end0.0ms

sample4.8s

Algorithm

intervals

Results

3.3s	5650×	body	1280	valid
561.0ms	1220×	body	640	valid
453.0ms	8188×	body	80	valid
103.0ms	636×	body	320	valid
36.0ms	333×	body	160	valid