Details

sample49.0ms

Algorithm

intervals

Results

30.0ms

270×

body

valid

simplify2.6s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
11	4203
10	1582
9	731
8	425
7	258
6	185
5	149
4	115
3	75
2	43
1	24
0	14

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 20.1b

localize33.0ms

Local error

Found 3 expressions with local error:

0.0b	(fma (- b y) z y)
0.3b	(fma z (- t a) (* x y))
20.1b	(/ (fma z (- t a) (* x y)) (fma (- b y) z 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` `insert-posit16` `log1p-expm1-u` `associate-/l` `add-log-exp`
2×	`fma-udef`
1×	`cbrt-undiv` `clear-num` `frac-2neg` `div-exp` `div-inv`

Counts

3 → 52

Calls

3 calls:

0.0ms	(fma (- b y) z y)
0.0ms	(fma z (- t a) (* x y))
4.0ms	(/ (fma z (- t a) (* x y)) (fma (- b y) z y))

series406.0ms

Counts

3 → 9

Calls

3 calls:

47.0ms	(fma (- b y) z y)
66.0ms	(fma z (- t a) (* x y))
293.0ms	(/ (fma z (- t a) (* x y)) (fma (- b y) z y))

simplify1.1s

Counts

61 → 61

Iterations

Iter	Nodes
done	5000
3	1097
2	311
1	137
0	80

prune382.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 16.6b

localize43.0ms

Local error

Found 4 expressions with local error:

0.0b	(fma (- b y) z y)
0.2b	(/ 1 (/ (fma (- b y) z y) (fma z (- t a) (* x y))))
0.3b	(fma z (- t a) (* x y))
20.1b	(/ (fma (- b y) z y) (fma z (- t a) (* x y)))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

84×	`times-frac`
54×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
17×	`add-exp-log`
16×	`associate-/r*`
11×	`add-cbrt-cube`
8×	`div-exp`
6×	`div-inv` `associate-/l*`
5×	`pow1`
4×	`expm1-log1p-u` `cbrt-undiv` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`rec-exp` `clear-num` `frac-2neg` `1-exp` `fma-udef`
1×	`associate-/r/` `pow-flip` `inv-pow`

Counts

4 → 131

Calls

4 calls:

0.0ms	(fma (- b y) z y)
8.0ms	(/ 1 (/ (fma (- b y) z y) (fma z (- t a) (* x y))))
0.0ms	(fma z (- t a) (* x y))
4.0ms	(/ (fma (- b y) z y) (fma z (- t a) (* x y)))

series1.7s

Counts

4 → 12

Calls

4 calls:

40.0ms	(fma (- b y) z y)
1.4s	(/ 1 (/ (fma (- b y) z y) (fma z (- t a) (* x y))))
52.0ms	(fma z (- t a) (* x y))
211.0ms	(/ (fma (- b y) z y) (fma z (- t a) (* x y)))

simplify2.0s

Counts

143 → 143

Iterations

Iter	Nodes
done	5000
3	2966
2	950
1	398
0	182

prune853.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 10.1b

localize41.0ms

Local error

Found 4 expressions with local error:

2.0b	(cbrt (/ 1 (/ (fma (- b y) z y) (fma z (- t a) (* x y)))))
20.1b	(/ (fma (- b y) z y) (fma z (- t a) (* x y)))
20.1b	(/ (fma (- b y) z y) (fma z (- t a) (* x y)))
20.1b	(/ (fma (- b y) z y) (fma z (- t a) (* x y)))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 146

Calls

4 calls:

10.0ms	(cbrt (/ 1 (/ (fma (- b y) z y) (fma z (- t a) (* x y)))))
6.0ms	(/ (fma (- b y) z y) (fma z (- t a) (* x y)))
6.0ms	(/ (fma (- b y) z y) (fma z (- t a) (* x y)))
6.0ms	(/ (fma (- b y) z y) (fma z (- t a) (* x y)))

series26.9s

Counts

4 → 12

Calls

4 calls:

26.3s	(cbrt (/ 1 (/ (fma (- b y) z y) (fma z (- t a) (* x y)))))
213.0ms	(/ (fma (- b y) z y) (fma z (- t a) (* x y)))
229.0ms	(/ (fma (- b y) z y) (fma z (- t a) (* x y)))
179.0ms	(/ (fma (- b y) z y) (fma z (- t a) (* x y)))

simplify2.0s

Counts

158 → 158

Iterations

Iter	Nodes
done	5000
3	3096
2	1055
1	481
0	259

prune1.4s

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 10.1b

localize117.0ms

Local error

Found 4 expressions with local error:

12.4b	(cbrt (fma (- b y) z y))
12.4b	(cbrt (fma (- b y) z y))
20.1b	(/ (fma (- b y) z y) (fma z (- t a) (* x y)))
20.1b	(/ (fma (- b y) z y) (fma z (- t a) (* x y)))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
18×	`times-frac`
8×	`add-cbrt-cube` `add-exp-log`
6×	`cbrt-prod` `associate-/r` `associate-/l`
4×	`expm1-log1p-u` `pow1` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`cbrt-undiv` `clear-num` `frac-2neg` `pow1/3` `div-exp` `div-inv`

Counts

4 → 88

Calls

4 calls:

1.0ms	(cbrt (fma (- b y) z y))
1.0ms	(cbrt (fma (- b y) z y))
8.0ms	(/ (fma (- b y) z y) (fma z (- t a) (* x y)))
9.0ms	(/ (fma (- b y) z y) (fma z (- t a) (* x y)))

series839.0ms

Counts

4 → 12

Calls

4 calls:

217.0ms	(cbrt (fma (- b y) z y))
225.0ms	(cbrt (fma (- b y) z y))
178.0ms	(/ (fma (- b y) z y) (fma z (- t a) (* x y)))
219.0ms	(/ (fma (- b y) z y) (fma z (- t a) (* x y)))

simplify1.6s

Counts

100 → 100

Iterations

Iter	Nodes
done	5002
3	1595
2	489
1	204
0	103

prune1.1s

Pruning

12 alts after pruning (9 fresh and 3 done)

Merged error: 10.1b

regimes1.0s

Accuracy

21.5% (9.0b remaining)

Error of 19.6b against oracle of 10.6b and baseline of 22.1b

bsearch189.0ms

Steps

Iters	Range		Point
10	1.083606830249518e+206	9.510752173198294e+215	1.122440542385563e+206
10	-1.530733730613425e-295	-3.624048073274082e-307	-1.1807804438070255e-295
7	-8.07534813694012e-223	-9.554269064230224e-225	-9.689336201481151e-225
3	-2.1368696347342594e+73	-1.5405045738637924e+73	-2.0995968184298553e+73

simplify4.0ms

Iterations

Iter	Nodes
done	28
1	28
0	27

end0.0ms

sample1.5s

Algorithm

intervals

Results

1.1s

8412×

body

valid