Details

sample39.0ms

Algorithm

intervals

Results

17.0ms	256×	body	80	valid
6.0ms	256×	pre	80	true

simplify3.9s

Counts

1 → 1

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	9	15
1	23	14
2	52	14
3	115	14
4	251	14
5	522	14
6	1116	14
7	4574	14
done	5000	14

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 18.6b

localize25.0ms

Local error

Found 3 expressions with local error:

0.0b	(fma y (- y) (* x x))
0.0b	(fma x x (* y y))
18.3b	(/ (fma y (- y) (* x x)) (fma x x (* y y)))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
9×	`times-frac`
5×	`add-cbrt-cube` `add-exp-log`
3×	`expm1-log1p-u` `pow1` `associate-/r` `log1p-expm1-u` `associate-/l` `add-log-exp`
2×	`fma-udef`
1×	`cbrt-undiv` `clear-num` `frac-2neg` `div-exp` `div-inv`

Counts

3 → 49

Calls

3 calls:

0.0ms	(fma y (- y) (* x x))
0.0ms	(fma x x (* y y))
4.0ms	(/ (fma y (- y) (* x x)) (fma x x (* y y)))

series178.0ms

Counts

3 → 9

Calls

3 calls:

54.0ms	(fma y (- y) (* x x))
45.0ms	(fma x x (* y y))
78.0ms	(/ (fma y (- y) (* x x)) (fma x x (* y y)))

simplify1.8s

Counts

58 → 58

Iterations

Useful iterations: 3 (293.0ms)

Iter	Nodes	Cost
0	69	894
1	112	882
2	350	764
3	2246	763
done	5000	763

prune234.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.5b

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b	(fma y (- y) (* x x))
18.3b	(/ (fma y (- y) (* x x)) (fma y y (* x x)))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 39

Calls

2 calls:

0.0ms	(fma y (- y) (* x x))
5.0ms	(/ (fma y (- y) (* x x)) (fma y y (* x x)))

series167.0ms

Counts

2 → 6

Calls

2 calls:

66.0ms	(fma y (- y) (* x x))
101.0ms	(/ (fma y (- y) (* x x)) (fma y y (* x x)))

simplify1.0s

Counts

45 → 45

Iterations

Useful iterations: 3 (246.0ms)

Iter	Nodes	Cost
0	64	786
1	108	777
2	315	679
3	2032	678
done	5001	678

prune226.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.5b

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

prune4.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.5b

localize0.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

prune0.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.5b

regimes94.0ms

Accuracy

73.4% (5.2b remaining)

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

bsearch128.0ms

Steps

Iters	Range	Point
9	1.0539828158360712e-174	4.180108382822779e-169	4.1321470702090296e-169
8	-1.7431458063348651e-140	-8.247834429756668e-144	-2.348476192100428e-141
10	-6.096696810270342e+164	-1.3768668222090048e+153	-1.424347751451892e+153

Iters

Range

Point

1.0539828158360712e-174

4.180108382822779e-169

4.1321470702090296e-169

-1.7431458063348651e-140

-8.247834429756668e-144

-2.348476192100428e-141

-6.096696810270342e+164

-1.3768668222090048e+153

-1.424347751451892e+153

simplify3.0ms

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	18	42
1	23	29
done	23	29

end0.0ms

sample1.1s

Algorithm

intervals

Results

596.0ms	8000×	body	80	valid
195.0ms	8000×	pre	80	true