Details

sample66.0ms

Algorithm

intervals

Results

19.0ms	126×	body	80	valid
18.0ms	66×	body	1280	valid
8.0ms	37×	body	640	valid
3.0ms	18×	body	320	valid
1.0ms	9×	body	160	valid

simplify3.0s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
12	4085
11	1745
10	535
9	183
8	79
7	58
6	39
5	27
4	21
3	19
2	16
1	12
0	7

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.8b

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ x (+ 1.0 x))
0.0b	(/ (+ 1.0 x) (- x 1.0))
2.9b	(- (/ x (+ 1.0 x)) (/ (+ 1.0 x) (- x 1.0)))

rewrite106.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 104

Calls

3 calls:

9.0ms	(/ x (+ 1.0 x))
19.0ms	(/ (+ 1.0 x) (- x 1.0))
73.0ms	(- (/ x (+ 1.0 x)) (/ (+ 1.0 x) (- x 1.0)))

series302.0ms

Counts

3 → 9

Calls

3 calls:

48.0ms	(/ x (+ 1.0 x))
61.0ms	(/ (+ 1.0 x) (- x 1.0))
193.0ms	(- (/ x (+ 1.0 x)) (/ (+ 1.0 x) (- x 1.0)))

simplify900.0ms

Counts

113 → 113

Iterations

Iter	Nodes
done	5000
2	1826
1	417
0	178

prune451.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (/ 3.0 x) (+ (/ 3.0 (pow x 3)) (/ 1.0 (* x x))))
0.1b	(/ 3.0 (pow x 3))
0.2b	(/ 1.0 (* x x))
6.3b	(+ (/ 3.0 (pow x 3)) (/ 1.0 (* x x)))

rewrite253.0ms

Algorithm

rewrite-expression-head

Rules

41×	`times-frac`
40×	`*-un-lft-identity`
31×	`add-sqr-sqrt` `add-cube-cbrt`
14×	`add-exp-log`
13×	`associate-/r*`
12×	`unpow-prod-down` `cube-prod`
11×	`add-cbrt-cube` `add-log-exp`
6×	`associate-/l*`
5×	`cube-mult` `div-exp` `frac-add` `distribute-lft-out`
4×	`pow1` `sum-log` `unpow3` `sqr-pow`
3×	`cbrt-undiv` `flip3-+` `flip-+`
2×	`+-commutative` `clear-num` `frac-2neg` `div-inv`
1×	`pow-to-exp` `associate-+r+` `pow-exp` `prod-exp` `cbrt-unprod`

Counts

4 → 118

Calls

4 calls:

174.0ms	(+ (/ 3.0 x) (+ (/ 3.0 (pow x 3)) (/ 1.0 (* x x))))
9.0ms	(/ 3.0 (pow x 3))
7.0ms	(/ 1.0 (* x x))
60.0ms	(+ (/ 3.0 (pow x 3)) (/ 1.0 (* x x)))

series321.0ms

Counts

4 → 12

Calls

4 calls:

39.0ms	(+ (/ 3.0 x) (+ (/ 3.0 (pow x 3)) (/ 1.0 (* x x))))
79.0ms	(/ 3.0 (pow x 3))
51.0ms	(/ 1.0 (* x x))
151.0ms	(+ (/ 3.0 (pow x 3)) (/ 1.0 (* x x)))

simplify3.3s

Counts

130 → 130

Iterations

Iter	Nodes
done	5000
2	4184
1	551
0	194

prune465.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize43.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ 3.0 (pow x 3))
0.1b	(/ (/ 1.0 x) x)
1.8b	(log (exp (/ (/ 1.0 x) x)))
7.0b	(+ (/ 3.0 (pow x 3)) (log (exp (/ (/ 1.0 x) x))))

rewrite223.0ms

Algorithm

rewrite-expression-head

Rules

178×	`times-frac`
112×	`*-un-lft-identity`
108×	`add-sqr-sqrt` `add-cube-cbrt`
46×	`log-pow`
44×	`exp-prod`
16×	`associate-/l*`
15×	`associate-/r*`
14×	`add-exp-log`
12×	`unpow-prod-down` `cube-prod`
11×	`add-cbrt-cube` `div-inv`
6×	`pow1` `log-prod` `div-exp`
5×	`cube-mult` `add-log-exp`
4×	`cbrt-undiv` `unpow3` `sqr-pow`
3×	`associate-+r+` `distribute-lft-out`
2×	`clear-num` `frac-2neg`
1×	`pow-to-exp` `+-commutative` `sum-log` `flip3-+` `rem-log-exp` `pow-exp` `flip-+` `associate-/l/`

Counts

4 → 207

Calls

4 calls:

13.0ms	(/ 3.0 (pow x 3))
16.0ms	(/ (/ 1.0 x) x)
29.0ms	(log (exp (/ (/ 1.0 x) x)))
152.0ms	(+ (/ 3.0 (pow x 3)) (log (exp (/ (/ 1.0 x) x))))

series288.0ms

Counts

4 → 12

Calls

4 calls:

51.0ms	(/ 3.0 (pow x 3))
40.0ms	(/ (/ 1.0 x) x)
48.0ms	(log (exp (/ (/ 1.0 x) x)))
149.0ms	(+ (/ 3.0 (pow x 3)) (log (exp (/ (/ 1.0 x) x))))

simplify1.8s

Counts

219 → 219

Iterations

Iter	Nodes
done	5002
2	3696
1	732
0	352

prune1.1s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (+ 1.0 x) x)
0.0b	(/ (+ 1.0 x) (- x 1.0))
0.1b	(/ 1 (/ (+ 1.0 x) x))
2.9b	(- (/ 1 (/ (+ 1.0 x) x)) (/ (+ 1.0 x) (- x 1.0)))

rewrite242.0ms

Algorithm

rewrite-expression-head

Rules

154×	`*-un-lft-identity`
153×	`times-frac`
116×	`add-sqr-sqrt`
73×	`add-cube-cbrt`
24×	`associate-/r*` `distribute-lft-out`
19×	`add-exp-log`
15×	`difference-of-squares`
13×	`add-cbrt-cube` `distribute-lft-out--`
11×	`associate-/l*`
9×	`div-exp`
8×	`div-inv`
6×	`add-log-exp`
5×	`pow1` `cbrt-undiv`
4×	`associate-/l/`
3×	`clear-num` `frac-2neg` `associate-/r/`
2×	`rec-exp` `flip3-+` `flip3--` `1-exp` `flip-+` `flip--`
1×	`sub-neg` `diff-log` `frac-sub` `pow-flip` `inv-pow`

Counts

4 → 195

Calls

4 calls:

29.0ms	(/ (+ 1.0 x) x)
40.0ms	(/ (+ 1.0 x) (- x 1.0))
16.0ms	(/ 1 (/ (+ 1.0 x) x))
141.0ms	(- (/ 1 (/ (+ 1.0 x) x)) (/ (+ 1.0 x) (- x 1.0)))

series354.0ms

Counts

4 → 12

Calls

4 calls:

66.0ms	(/ (+ 1.0 x) x)
42.0ms	(/ (+ 1.0 x) (- x 1.0))
50.0ms	(/ 1 (/ (+ 1.0 x) x))
195.0ms	(- (/ 1 (/ (+ 1.0 x) x)) (/ (+ 1.0 x) (- x 1.0)))

simplify1.5s

Counts

207 → 207

Iterations

Iter	Nodes
done	5001
2	3692
1	720
0	283

prune683.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

regimes69.0ms

Accuracy

99.3% (0.2b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 32.4b

bsearch130.0ms

Steps

Iters	Range		Point
8	5.1212688054922095	257785.57693934403	67933.41155031513
9	-633385646006946.0	-346749.28651926527	-1781634.1039373868

simplify14.0ms

Iterations

Iter	Nodes
done	46
3	46
2	45
1	38
0	27

end0.0ms

sample1.7s

Algorithm

intervals

Results

860.0ms	1675×	body	1280	valid
313.0ms	1281×	body	640	valid
266.0ms	4100×	body	80	valid
85.0ms	633×	body	320	valid
29.0ms	311×	body	160	valid