Details

sample18.0ms

Algorithm

intervals

Results

9.0ms

256×

body

valid

simplify4.4s

Counts

1 → 1

Iterations

Useful iterations: 2 (6.0ms)

Iter	Nodes	Cost
0	14	17
1	22	17
2	39	14
3	58	14
4	80	14
5	90	14
6	112	14
7	140	14
8	188	14
9	240	14
10	283	14
11	343	14
12	356	14
13	377	14
14	416	14
15	537	14
16	791	14
17	1046	14
18	1260	14
19	1424	14
20	1529	14
21	1575	14
22	1598	14
23	1620	14
24	1630	14
done	1630	14

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b	(- x (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))
0.1b	(fma (fma 0.04481 x 0.99229) x 1.0)
15.8b	(/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

51×	`add-sqr-sqrt`
48×	`*-un-lft-identity`
46×	`add-cube-cbrt`
39×	`prod-diff`
37×	`times-frac`
5×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
4×	`div-inv`
3×	`pow1` `expm1-log1p-u` `fma-neg` `associate-/r` `log1p-expm1-u` `associate-/l`
2×	`difference-of-squares`
1×	`cbrt-undiv` `sub-neg` `flip3--` `frac-2neg` `diff-log` `div-exp` `clear-num` `flip--` `fma-udef` `distribute-lft-out--`

Counts

3 → 98

Calls

3 calls:

8.0ms	(- x (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))
0.0ms	(fma (fma 0.04481 x 0.99229) x 1.0)
2.0ms	(/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))

series153.0ms

Counts

3 → 9

Calls

3 calls:

60.0ms	(- x (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))
26.0ms	(fma (fma 0.04481 x 0.99229) x 1.0)
66.0ms	(/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))

simplify1.0s

Counts

107 → 107

Iterations

Useful iterations: done (1.0s)

Iter	Nodes	Cost
0	209	4807
1	482	4294
2	1360	3186
done	5000	3098

prune246.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(- x (* (fma x 0.27061 2.30753) (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0))))
0.1b	(fma (fma 0.04481 x 0.99229) x 1.0)
0.2b	(/ 1 (fma (fma 0.04481 x 0.99229) x 1.0))
15.7b	(* (fma x 0.27061 2.30753) (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

29×	`add-sqr-sqrt`
23×	`*-un-lft-identity`
22×	`add-cube-cbrt`
20×	`times-frac`
17×	`add-exp-log`
13×	`associate-r`
11×	`add-cbrt-cube`
7×	`pow1`
6×	`add-log-exp`
4×	`expm1-log1p-u` `div-exp` `prod-exp` `log1p-expm1-u`
3×	`fma-neg` `associate-l` `prod-diff` `associate-/r` `associate-/l` `unswap-sqr`
2×	`cbrt-undiv` `rec-exp` `1-exp` `cbrt-unprod` `div-inv`
1×	`sub-neg` `flip3--` `pow-flip` `frac-2neg` `diff-log` `associate-r/` `pow-prod-down` `clear-num` `un-div-inv` `-commutative` `flip--` `fma-udef` `inv-pow`

Counts

4 → 101

Calls

4 calls:

2.0ms	(- x (* (fma x 0.27061 2.30753) (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0))))
0.0ms	(fma (fma 0.04481 x 0.99229) x 1.0)
2.0ms	(/ 1 (fma (fma 0.04481 x 0.99229) x 1.0))
8.0ms	(* (fma x 0.27061 2.30753) (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)))

series198.0ms

Counts

4 → 12

Calls

4 calls:

59.0ms	(- x (* (fma x 0.27061 2.30753) (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0))))
26.0ms	(fma (fma 0.04481 x 0.99229) x 1.0)
48.0ms	(/ 1 (fma (fma 0.04481 x 0.99229) x 1.0))
65.0ms	(* (fma x 0.27061 2.30753) (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)))

simplify2.6s

Counts

113 → 113

Iterations

Useful iterations: 3 (1.3s)

Iter	Nodes	Cost
0	175	2027
1	392	1796
2	1098	1570
3	3500	1545
done	5001	1545

prune276.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize16.0ms

Local error

Found 4 expressions with local error:

15.7b	(* (fma x 0.27061 2.30753) (* (* (cbrt (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0))) (cbrt (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)))) (cbrt (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)))))
16.1b	(cbrt (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)))
16.1b	(cbrt (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)))
16.1b	(cbrt (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)))

rewrite84.0ms

Algorithm

rewrite-expression-head

Rules

39×	`cbrt-prod`
27×	`times-frac`
26×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
15×	`cbrt-div`
13×	`pow1` `add-exp-log`
10×	`associate-*r/`
9×	`add-cbrt-cube`
6×	`pow-prod-down` `prod-exp` `cbrt-unprod`
5×	`frac-times` `associate-*l/`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`pow1/3` `associate-l` `div-inv`
1×	`associate-r` `*-commutative`

Counts

4 → 102

Calls

4 calls:

75.0ms	(* (fma x 0.27061 2.30753) (* (* (cbrt (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0))) (cbrt (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)))) (cbrt (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)))))
2.0ms	(cbrt (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)))
2.0ms	(cbrt (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)))
2.0ms	(cbrt (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)))

series596.0ms

Counts

4 → 12

Calls

4 calls:

71.0ms	(* (fma x 0.27061 2.30753) (* (* (cbrt (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0))) (cbrt (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)))) (cbrt (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)))))
175.0ms	(cbrt (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)))
175.0ms	(cbrt (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)))
174.0ms	(cbrt (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)))

simplify2.2s

Counts

114 → 114

Iterations

Useful iterations: 3 (1.1s)

Iter	Nodes	Cost
0	188	3149
1	434	2986
2	1237	2257
3	4680	1986
done	5000	1986

prune334.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ 1 (* (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))
15.7b	(* (fma x 0.27061 2.30753) (/ 1 (* (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))))
15.7b	(sqrt (fma x (fma 0.04481 x 0.99229) 1.0))
15.7b	(sqrt (fma x (fma 0.04481 x 0.99229) 1.0))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

34×	`add-exp-log`
24×	`pow1`
18×	`add-sqr-sqrt` `add-cbrt-cube`
14×	`pow-flip`
13×	`prod-exp`
12×	`*-un-lft-identity`
11×	`add-cube-cbrt`
10×	`sqrt-pow1` `pow1/2`
8×	`times-frac` `div-exp`
7×	`associate-r`
6×	`sqrt-prod`
5×	`pow-prod-up` `cbrt-unprod`
4×	`cbrt-undiv` `expm1-log1p-u` `rec-exp` `1-exp` `pow-prod-down` `log1p-expm1-u` `add-log-exp`
3×	`associate-l` `pow-sqr` `associate-/l*` `unswap-sqr`
2×	`rem-sqrt-square` `div-inv`
1×	`pow2` `frac-2neg` `pow-plus` `associate-r/` `clear-num` `associate-/r` `un-div-inv` `*-commutative` `inv-pow`

Counts

4 → 108

Calls

4 calls:

9.0ms	(/ 1 (* (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))
31.0ms	(* (fma x 0.27061 2.30753) (/ 1 (* (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))))
1.0ms	(sqrt (fma x (fma 0.04481 x 0.99229) 1.0))
1.0ms	(sqrt (fma x (fma 0.04481 x 0.99229) 1.0))

series302.0ms

Counts

4 → 12

Calls

4 calls:

47.0ms	(/ 1 (* (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))
69.0ms	(* (fma x 0.27061 2.30753) (/ 1 (* (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))))
93.0ms	(sqrt (fma x (fma 0.04481 x 0.99229) 1.0))
92.0ms	(sqrt (fma x (fma 0.04481 x 0.99229) 1.0))

simplify2.2s

Counts

120 → 120

Iterations

Useful iterations: 3 (1.0s)

Iter	Nodes	Cost
0	186	2419
1	442	1551
2	1185	1314
3	3623	1294
done	5000	1294

prune307.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes16.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	16
1	16	16
done	16	16

end0.0ms

sample384.0ms

Algorithm

intervals

Results

281.0ms

8000×

body

valid