Details

sample16.0ms

Algorithm

intervals

Results

8.0ms

256×

body

valid

simplify3.9s

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	236	14
10	279	14
11	339	14
12	352	14
13	373	14
14	412	14
15	510	14
16	764	14
17	1002	14
18	1170	14
19	1310	14
20	1395	14
21	1474	14
22	1497	14
23	1519	14
24	1529	14
done	1529	14

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize9.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))

rewrite14.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))

series150.0ms

Counts

3 → 9

Calls

3 calls:

59.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))

simplify869.0ms

Counts

107 → 107

Iterations

Useful iterations: done (864.0ms)

Iter	Nodes	Cost
0	209	4807
1	474	4294
2	1342	3078
done	5001	3062

prune235.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize13.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)))

series192.0ms

Counts

4 → 12

Calls

4 calls:

58.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)
44.0ms	(/ 1 (fma (fma 0.04481 x 0.99229) x 1.0))
64.0ms	(* (fma x 0.27061 2.30753) (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)))

simplify2.4s

Counts

113 → 113

Iterations

Useful iterations: 3 (1.4s)

Iter	Nodes	Cost
0	175	2027
1	392	1768
2	1053	1570
3	3469	1545
done	5001	1545

prune261.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize14.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)))

rewrite87.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:

79.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)))

series580.0ms

Counts

4 → 12

Calls

4 calls:

67.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)))))
171.0ms	(cbrt (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)))
171.0ms	(cbrt (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)))
170.0ms	(cbrt (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)))

simplify1.9s

Counts

114 → 114

Iterations

Useful iterations: 3 (981.0ms)

Iter	Nodes	Cost
0	188	3149
1	432	2955
2	1199	2245
3	4542	1986
done	5000	1986

prune341.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ 1 (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 (fma 0.04481 x 0.99229) x 1.0))))
15.7b	(sqrt (fma x (fma 0.04481 x 0.99229) 1.0))
15.7b	(sqrt (fma (fma 0.04481 x 0.99229) x 1.0))

rewrite273.0ms

Algorithm

rewrite-expression-head

Rules

276×	`times-frac`
183×	`add-sqr-sqrt`
149×	`*-un-lft-identity`
147×	`sqrt-prod`
145×	`add-cube-cbrt`
136×	`associate-r`
23×	`add-exp-log`
15×	`add-cbrt-cube`
11×	`unswap-sqr`
10×	`pow1`
8×	`div-exp` `div-inv`
6×	`associate-/r*`
5×	`prod-exp`
4×	`cbrt-undiv` `expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`pow-flip` `sqrt-pow1` `pow1/2` `associate-l` `cbrt-unprod` `associate-/l*`
2×	`rem-sqrt-square` `rec-exp` `1-exp`
1×	`frac-2neg` `associate-r/` `pow-prod-down` `clear-num` `-commutative` `inv-pow`

Counts

4 → 247

Calls

4 calls:

3.0ms	(/ 1 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))
53.0ms	(* (fma x 0.27061 2.30753) (/ (/ 1 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))))
1.0ms	(sqrt (fma x (fma 0.04481 x 0.99229) 1.0))
1.0ms	(sqrt (fma (fma 0.04481 x 0.99229) x 1.0))

series497.0ms

Counts

4 → 12

Calls

4 calls:

106.0ms	(/ 1 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))
216.0ms	(* (fma x 0.27061 2.30753) (/ (/ 1 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))))
86.0ms	(sqrt (fma x (fma 0.04481 x 0.99229) 1.0))
89.0ms	(sqrt (fma (fma 0.04481 x 0.99229) x 1.0))

simplify1.1s

Counts

259 → 259

Iterations

Useful iterations: done (1.1s)

Iter	Nodes	Cost
0	411	6726
1	1074	5597
2	2616	4942
done	5000	4906

prune644.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

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

sample325.0ms

Algorithm

intervals

Results

233.0ms

8000×

body

valid