Details

sample34.0ms

Algorithm

intervals

Results

17.0ms

256×

body

valid

simplify333.0ms

Counts

1 → 1

Iterations

Useful iterations: 1 (5.0ms)

Iter	Nodes	Cost
0	9	19
1	19	18
2	39	18
3	77	18
4	128	18
5	184	18
6	211	18
7	216	18
done	216	18

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.1b

localize18.0ms

Local error

Found 2 expressions with local error:

4.7b	(- (* x x) (* (* y 4.0) y))
30.6b	(/ (- (* x x) (* (* y 4.0) y)) (fma x x (* (* y 4.0) y)))

rewrite57.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`times-frac`
4×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
3×	`associate-/r` `associate-/l`
2×	`pow1` `expm1-log1p-u` `flip3--` `flip--` `log1p-expm1-u` `associate-/l/`
1×	`cbrt-undiv` `sub-neg` `frac-2neg` `fma-neg` `diff-log` `div-sub` `div-exp` `prod-diff` `clear-num` `div-inv`

Counts

2 → 48

Calls

2 calls:

16.0ms	(- (* x x) (* (* y 4.0) y))
39.0ms	(/ (- (* x x) (* (* y 4.0) y)) (fma x x (* (* y 4.0) y)))

series154.0ms

Counts

2 → 6

Calls

2 calls:

62.0ms	(- (* x x) (* (* y 4.0) y))
91.0ms	(/ (- (* x x) (* (* y 4.0) y)) (fma x x (* (* y 4.0) y)))

simplify2.5s

Counts

54 → 54

Iterations

Useful iterations: done (2.5s)

Iter	Nodes	Cost
0	90	1183
1	220	1154
2	775	1046
3	3057	1044
done	5000	1043

prune231.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.6b

localize1.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify0.0ms

Counts

0 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
done	0	0

prune10.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.6b

localize25.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (/ (* x x) (fma x x (* (* y 4.0) y))) (/ (* (* y 4.0) y) (fma x x (* (* y 4.0) y))))
22.3b	(/ (* x x) (fma x x (* (* y 4.0) y)))
22.6b	(/ (* (* y 4.0) y) (fma x x (* (* y 4.0) y)))

rewrite123.0ms

Algorithm

rewrite-expression-head

Rules

52×	`times-frac`
49×	`prod-diff`
41×	`add-sqr-sqrt`
39×	`*-un-lft-identity`
37×	`add-cube-cbrt`
19×	`div-inv`
17×	`add-exp-log` `add-cbrt-cube`
7×	`fma-neg`
6×	`associate-/r*`
5×	`cbrt-undiv` `div-exp` `add-log-exp`
4×	`prod-exp` `cbrt-unprod`
3×	`pow1` `expm1-log1p-u` `log1p-expm1-u`
2×	`frac-2neg` `clear-num` `associate-/l*` `difference-of-squares`
1×	`sub-neg` `flip3--` `distribute-rgt-out--` `diff-log` `frac-sub` `flip--` `distribute-lft-out--` `sub-div`

Counts

3 → 124

Calls

3 calls:

47.0ms	(- (/ (* x x) (fma x x (* (* y 4.0) y))) (/ (* (* y 4.0) y) (fma x x (* (* y 4.0) y))))
20.0ms	(/ (* x x) (fma x x (* (* y 4.0) y)))
50.0ms	(/ (* (* y 4.0) y) (fma x x (* (* y 4.0) y)))

series264.0ms

Counts

3 → 9

Calls

3 calls:

97.0ms	(- (/ (* x x) (fma x x (* (* y 4.0) y))) (/ (* (* y 4.0) y) (fma x x (* (* y 4.0) y))))
98.0ms	(/ (* x x) (fma x x (* (* y 4.0) y)))
68.0ms	(/ (* (* y 4.0) y) (fma x x (* (* y 4.0) y)))

simplify1.8s

Counts

133 → 133

Iterations

Useful iterations: done (1.8s)

Iter	Nodes	Cost
0	202	7019
1	500	5841
2	1717	4714
done	5000	3980

prune388.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.6b

localize43.0ms

Local error

Found 4 expressions with local error:

22.3b	(/ (* x x) (fma x x (* (* y 4.0) y)))
22.6b	(/ (* (* y 4.0) y) (fma x x (* (* y 4.0) y)))
22.6b	(/ (* (* y 4.0) y) (fma x x (* (* y 4.0) y)))
22.6b	(/ (* (* y 4.0) y) (fma x x (* (* y 4.0) y)))

rewrite146.0ms

Algorithm

rewrite-expression-head

Rules

36×	`add-exp-log` `add-cbrt-cube`
12×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `times-frac` `associate-/r`
11×	`cbrt-undiv` `div-exp`
10×	`prod-exp` `cbrt-unprod`
4×	`pow1` `expm1-log1p-u` `frac-2neg` `clear-num` `log1p-expm1-u` `div-inv` `associate-/l*` `add-log-exp`

Counts

4 → 98

Calls

4 calls:

19.0ms	(/ (* x x) (fma x x (* (* y 4.0) y)))
33.0ms	(/ (* (* y 4.0) y) (fma x x (* (* y 4.0) y)))
48.0ms	(/ (* (* y 4.0) y) (fma x x (* (* y 4.0) y)))
42.0ms	(/ (* (* y 4.0) y) (fma x x (* (* y 4.0) y)))

series327.0ms

Counts

4 → 12

Calls

4 calls:

85.0ms	(/ (* x x) (fma x x (* (* y 4.0) y)))
72.0ms	(/ (* (* y 4.0) y) (fma x x (* (* y 4.0) y)))
78.0ms	(/ (* (* y 4.0) y) (fma x x (* (* y 4.0) y)))
91.0ms	(/ (* (* y 4.0) y) (fma x x (* (* y 4.0) y)))

simplify3.9s

Counts

110 → 110

Iterations

Useful iterations: 2 (145.0ms)

Iter	Nodes	Cost
0	95	2022
1	234	1985
2	907	1577
3	4712	1577
done	5000	1577

prune520.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.6b

regimes170.0ms

Accuracy

61.6% (12.1b remaining)

Error of 12.4b against oracle of 0.4b and baseline of 31.8b

bsearch168.0ms

Steps

Iters	Range		Point
9	8.159449298811563e+284	2.5807847408175677e+291	7.251271519567313e+285
6	5.513526497765108e+28	7.5214253074415e+29	5.630971785438847e+28
10	1730015830381252.2	5.608395996213628e+25	2.5951328951665388e+25
8	1.6369066125026377e-180	2.6572673748491515e-176	1.8839870956276886e-179

simplify8.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	31	151
1	36	151
done	36	151

end0.0ms

sample870.0ms

Algorithm

intervals

Results

572.0ms

8000×

body

valid